传送门

题意

现有如下方程:$ x \oplus 3x = 2x $

其中 $ \oplus $ 表示按位异或。

共 $ T $ 组数据,每组数据给定正整数 $ n $,任务如下:

  1. 求出小于等于 $ n $ 的正整数中,有多少个数是该方程的解
  2. 求出小于等于 $ 2^n $ 的正整数中,有多少个数是该方程的解,输出 $ mod $ $ 10^9+7 $ 的值。

$ (n \leq 10^{18}, T \leq 1000) $

题解

第一问

方程 $ x \oplus 3x = 2x $ 等价于 $ x \oplus 2x = 3x $ 。

由于 $ x + 2x = 3x $ ,并且“按位异或”相当于“不进位加法“

所以我们可以知道,一个数 $ x $ 是该方程的解的充要条件为:$ x $ 在二进制表示下,没有两个相邻的 $ 1 $ 。

$ f[i][0/1] $ 表示所有二进制下长度为 $ i $,且最右边一位为 $ 0/1 $ 的数中,满足没有两个相邻的 $ 1 $ 的数的个数。

所以有:

\[f[i][0] = f[i-1][0] + f[i-1][1]
\]

\[f[i][1] = f[i-1][0]
\]

边界条件为:$ f[0][0] = 1 $

然后按位统计,算出小于等于 $ n $ 的答案:

  • 先让 $ n = n + 1 $ (因为最后算出的是小于某个数的答案,而这里要求小于等于)
  • 从高到低枚举 $ n $ 的每一个二进制位 $ a[i] $
  • 如果 $ a[i] = 1 $ ,那么 $ ans = ans + f[i][0] $ 。(此时累加的是第 $ i-1 $ 及之前位和原数匹配时的答案)
  • 如果 $ a[i] = 1 $ 且 $ a[i+1] = 1 $ ,退出循环。因为此时的前缀已经有两个 $ 1 $ 相邻,之后的答案都是不合法的。

注意最终答案为 $ ans - 1 $ ,因为不包含 $ 0 $ 这个答案。

复杂度 $ O(logn) $

第二问

$ g[i] $ 表示二进制下长度为 $ i $ ,满足没有两个相邻的 $ 1 $ 的数的个数。

由于题目要求区间 $ [1, 2^i] $ 的答案,$ g[i] $ 表示区间 $ [0, 2^i-1] $ 的答案

而 $ 0 $ 和 $ 2^i $ 一定都满足条件,所以相互抵消掉了。

所以题目所求 $ ans = g[n] $

然后考虑如何求 $ g[i] $ (分两种情况):

  • $ g[i] $ 中以 $ 0 $ 结尾的所有数,相当于在 $ g[i-1] $ 中的所有数末尾添了一个 $ 0 $
  • $ g[i] $ 中以 $ 1 $ 结尾的所有数,相当于在 $ g[i-2] $ 中的所有数末尾添了一个 $ 01 $

所以有:

\[g[i] = g[i-1] + g[i-2]
\]

边界条件为:$ g[1] = 2, g[2] = 3 $

然后用矩阵快速幂加速转移即可:

\[\begin{bmatrix} g[i] & g[i+1] \end{bmatrix} \times \begin{bmatrix} 0 & 1 \\ 1 & 1 \end{bmatrix} = \begin{bmatrix} g[i+1] & g[i+2] \end{bmatrix}
\]

\[\begin{bmatrix} g[1] & g[2] \end{bmatrix} \times \begin{bmatrix} 0 & 1 \\ 1 & 1 \end{bmatrix}^{n-1} = \begin{bmatrix} g[n] & g[n+1] \end{bmatrix}
\]

AC Code

#include <iostream>
#include <stdio.h>
#include <string.h>
#define MAX_L 5
#define MAX_B 70
#define MOD 1000000007
#define int long long using namespace std; struct Mat
{
int n,m;
int v[MAX_L][MAX_L];
Mat(int _n,int _m) { n=_n,m=_m,memset(v,0,sizeof(v)); }
Mat() { memset(v,0,sizeof(v)); }
}; int n,t;
int a[MAX_B];
int dp[MAX_B][2]; Mat get_unit(int x)
{
Mat a(x,x);
for(int i=0;i<x;i++) a.v[i][i]=1;
return a;
} Mat mul(const Mat &a,const Mat &b)
{
Mat c(a.n,b.m);
for(int i=0;i<a.n;i++)
{
for(int j=0;j<b.m;j++)
{
for(int k=0;k<a.m;k++)
{
c.v[i][j]+=a.v[i][k]*b.v[k][j];
c.v[i][j]%=MOD;
}
}
}
return c;
} Mat pow(Mat a,int k)
{
Mat ans=get_unit(a.n);
while(k>0)
{
if(k&1) ans=mul(ans,a);
a=mul(a,a),k>>=1;
}
return ans;
} int cal1()
{
int t=n+1,len=0,ans=0;
while(t) a[++len]=(t&1),t>>=1;
a[len+1]=0,dp[0][0]=1;
for(int i=1;i<=len;i++)
{
dp[i][0]=dp[i-1][0]+dp[i-1][1];
dp[i][1]=dp[i-1][0];
}
for(int i=len;i>=1;i--)
{
if(a[i]) ans+=dp[i][0];
if(a[i+1] && a[i]) break;
}
return ans-1;
} int cal2()
{
Mat a(1,2),b(2,2);
a.v[0][0]=2,a.v[0][1]=3;
b.v[0][1]=b.v[1][0]=b.v[1][1]=1;
return mul(a,pow(b,n-1)).v[0][0];
} signed main()
{
scanf("%lld",&t);
while(t--)
{
scanf("%lld",&n);
printf("%lld\n",cal1());
printf("%lld\n",cal2());
}
}

BZOJ 3329 Xorequ:数位dp + 矩阵快速幂的更多相关文章

  1. BZOJ 3329: Xorequ [数位DP 矩阵乘法]

    3329: Xorequ 题意:\(\le n \le 10^18\)和\(\le 2^n\)中满足\(x\oplus 3x = 2x\)的解的个数,第二问模1e9+7 \(x\oplus 2x = ...

  2. BZOJ3329 Xorequ(数位dp+矩阵快速幂)

    显然当x中没有相邻的1时该式成立,看起来这也是必要的. 于是对于第一问,数位dp即可.第二问写出dp式子后发现就是斐波拉契数列,矩阵快速幂即可. #include<iostream> #i ...

  3. hdu5564--Clarke and digits(数位dp+矩阵快速幂)

    Clarke and digits 问题描述 克拉克是一名人格分裂患者.某一天,克拉克变成了一个研究人员,在研究数字. 他想知道在所有长度在[l,r]之间的能被7整除且相邻数位之和不为k的正整数有多少 ...

  4. HUST 1569(Burnside定理+容斥+数位dp+矩阵快速幂)

    传送门:Gift 题意:由n(n<=1e9)个珍珠构成的项链,珍珠包含幸运数字(有且仅由4或7组成),取区间[L,R]内的数字,相邻的数字不能相同,且旋转得到的相同的数列为一种,为最终能构成多少 ...

  5. BZOJ 3329 - Xorequ - 数位DP, 矩乘

    Solution 发现 $x \ xor \  2x = 3x$ 仅当 $x$ 的二进制中没有相邻的 $1$ 对于第一个问题就可以进行数位DP 了. 但是对于第二个问题, 我们只能通过递推 打表 来算 ...

  6. BZOJ 3329 Xorequ (数位DP、矩阵乘法)

    手动博客搬家: 本文发表于20181105 23:18:54, 原地址https://blog.csdn.net/suncongbo/article/details/83758728 题目链接 htt ...

  7. BZOJ3329: Xorequ(二进制数位dp 矩阵快速幂)

    题意 题目链接 Sol 挺套路的一道题 首先把式子移一下项 \(x \oplus 2x = 3x\) 有一件显然的事情:\(a \oplus b \leqslant c\) 又因为\(a \oplus ...

  8. 2018.09.27 hdu5564Clarke and digits(数位dp+矩阵快速幂)

    传送门 好题啊. 我只会写l,rl,rl,r都很小的情况(然而题上并没有这种数据范围). 但这个dp转移式子可以借鉴. 我们用f[i][j][k]f[i][j][k]f[i][j][k]表示当前在第i ...

  9. BZOJ 3329 Xorequ 数字DP+矩阵乘法

    标题效果:特定n,乞讨[1,n]内[1,2^n]差多少x满足x^3x=2x x^3x=2x相当于x^2x = 3x 和3x=x+2x 和2x=x<<1 因此x满足条件IFFx&(x ...

随机推荐

  1. SQL-修改: 将日期修改为空NULL、修改为空的记录

    1.将日期修改为空NULL update 表 set 字段=null where 字段='' 如果设置为‘’,会默认1900-01-01 2.修改为空的记录 update [dbo].[pub_ite ...

  2. Spoken English Practice( Nobody have the guts to tell Paul what a mistake he was taking.(call,come,gut,fortune,when it comes to))

    音标复习 绿色:连读:                  红色:略读:               蓝色:浊化:               橙色:弱读 口语蜕变(2017/6/24) If your ...

  3. AutoArchive settings explained

    AutoArchive settings explained Applies To: Outlook 2010 More... Less AutoArchive helps manage the sp ...

  4. xshell 没有反应---Xshell按ctrl+s界面无反应的解决办法

    在用Xshell管理远程服务器,特别是在用vi编辑配置文件时,总是习惯的用ctrl+s想要保存文件,然后就悲剧了.xsell就再也没有返应只能关了重新打开.但原来修改的文件算是报废了. 在网上搜索了一 ...

  5. 在容器最前面添加DOM元素 parent.insertBefore(new, parent.children[0])

    //判断容器当前有没有子级元素,如果没有直接appendChild就行了; if (p.children[0]) { p.insertBefore(span, p.children[0]); } el ...

  6. Python 模块之Logging——常用handlers的使用

    一.StreamHandler 流handler——包含在logging模块中的三个handler之一. 能够将日志信息输出到sys.stdout, sys.stderr 或者类文件对象(更确切点,就 ...

  7. Notepad++ 更换主题

    到Textmate Theme Directory下载主题: 用文本编辑器把它打开,复制所有代码,贴到theme converter page里,然后“Download”: 保存: 在Notepad+ ...

  8. mysql进阶(二)之细谈索引、分页与慢日志

    索引 1.数据库索引 数据库索引是一种数据结构,可以以额外的写入和存储空间为代价来提高数据库表上的数据检索操作的速度,以维护索引数据结构.索引用于快速定位数据,而无需在每次访问数据库表时搜索数据库表中 ...

  9. python 多进程使用Queue通信的例子

    import time from multiprocessing import Process,Queue MSG_QUEUE = Queue(5) def startA(msgQueue): whi ...

  10. go——接口

    Go语言提供了另外一种数据类型,即接口,它把所有具有共性的方法定义在一起,任何其它类型只要实现了这些方法就是实现了这个接口. 接口代表一种调用契约,是多个方法声明的集合.在某些动态语言里,接口(int ...