Solution -「校内题」Xorequ
0x00 前置芝士
数位dp考试里出现的小神题??
显然考场会选择打表找规律。
数位dp + 矩阵快速幂
0x01 题目描述
给定正整数 \(n\),现有如下方程 \(x \bigoplus 3x = 2x\),其中 \(\bigoplus\) 表示按位异或。
任务如下:
- 求出小于等于 \(n\) 的正整数中,有多少个数是该方程的解
- 求出小于等于 \(2^n\) 的正整数中,有多少个数是该方程的解,答案对 \(10^9 + 7\) 取模
0x02 分析
第一问
试证明满足 \(x \bigoplus 2 \times x = 3 \times x\) 的 \(x\),二进制拆分数列里没有相邻的 \(1\)。
条件可化为 \(x \bigoplus 2 \times x = x + 2 \times x\)。
若有相邻的 \(1\),二倍后即错位相加,定会产生多余进位,得不到右边的答案,故矛盾。故原命题成立。
例:
0 0 1 1
0 1 1 0
推论: 设 \(f(a, b)(b \in \{0, 1\})\) 表示第 \(a - 1\) 一位为 \(b\) 的数中共有多少个满足条件的数。
则 \(f(a, 0) = f(a - 1, 1) + f(a - 2, 0)\),\(f(a, 1) = f(a - 1, 0)\)。证明显然。
第二问
试证明小于 \(2 ^ n\) 的满足 \(x \bigoplus 2 \times x = 3 \times x\) 的 \(x\) 的个数为斐波那契数列第 \(n\) 项。
记 \(g(a) = f(a, 0) + f(a, 1)\)。利用第一问结论推论,推导如下。
\(g(a) = f(a, 0) + f(a, 1)\)
\(g(a) = f(a - 1, 1) + f(a - 1, 0) + f(a - 1, 0)\)
\(g(a) = g(a - 1) + f(a - 2, 1) + f(a - 2, 0)\)
\(g(a) = g(a - 1) + g(a - 2)\)
0x04 具体实现
#include <cstdio>
#include <cstring>
using namespace std;
typedef long long LL;
const int MAXL = 105;
const int MAXN = 4;
const int mod = 1e9 + 7;
int flag[MAXL], a[MAXL];
LL dp[MAXL][MAXL][2][2];
struct Matrix {
int n, m;
LL mp[MAXN][MAXN];
Matrix() { memset(mp, 0, sizeof mp); }
Matrix operator * (const Matrix &x) const {
Matrix ans;
ans.n = n;
ans.m = x.m;
for (int i = 1; i <= ans.n; i++)
for (int j = 1; j <= ans.m; j++)
for (int k = 1; k <= m; k++)
ans.mp[i][j] = (ans.mp[i][j] + (mp[i][k] * x.mp[k][j]) % mod) % mod;
return ans;
}
};
Matrix Quick_pow(Matrix a, LL x) {
Matrix ans;
ans.n = 2;
ans.m = 2;
ans.mp[2][2] = 1;
ans.mp[1][1] = 1;
ans.mp[1][2] = 0;
ans.mp[2][1] = 0;
while (x) {
if (x & 1)
ans = ans * a;
a = a * a;
x >>= 1;
}
return ans;
}
LL dfs(int p, int last, bool k, bool limit, bool t) {
if(p <= 0)
return !t && k;
if(!limit && dp[p][last][t][k] != -1)
return dp[p][last][t][k];
int up = limit ? flag[p] : 1;
LL ans = 0;
for(int i = 0; i <= up; i++)
ans = (ans + dfs(p - 1, i, t || last == -1 || (k && i == 1 && last == 0)
|| (k && i == 0 && last == 0) || (k && i == 0 && last == 1), limit && (i == up), (t && !i)));
if(!limit)
dp[p][last][t][k] = ans;
return ans;
}
LL Query(LL x) {
int len = 0;
while(x) {
flag[++len] = (x & 1);
x >>= 1;
}
return dfs(len, -1, true, true, true);
}
int main() {
memset(dp, -1, sizeof dp);
int T;
scanf ("%d", &T);
while(T--) {
LL n;
scanf ("%lld", &n);
printf("%lld\n", Query(n));
Matrix A, cur, ans;
A.n = 2, A.m = 2;
A.mp[1][1] = 0;
A.mp[1][2] = 1;
A.mp[2][1] = 1;
A.mp[2][2] = 1;
ans = Quick_pow(A, n);
cur.n = 1, cur.m = 2;
cur.mp[1][1] = 1;
cur.mp[1][2] = 1;
ans = cur * ans;
printf("%lld\n", ans.mp[1][2] % mod);
}
return 0;
}
Solution -「校内题」Xorequ的更多相关文章
- Solution -「校内题」矩阵求和
Description 共 \(T\) 组数据.对于每组数据,给定 \(a, b, n\),求 \(\sum_{i = 1}^{n} \sum_{j = 1}^{n} \gcd(a^i - b^i, ...
- Solution -「ARC 104E」Random LIS
\(\mathcal{Description}\) Link. 给定整数序列 \(\{a_n\}\),对于整数序列 \(\{b_n\}\),\(b_i\) 在 \([1,a_i]\) 中等概率 ...
- Solution -「ARC 101D」「AT4353」Robots and Exits
\(\mathcal{Description}\) Link. 有 \(n\) 个小球,坐标为 \(x_{1..n}\):还有 \(m\) 个洞,坐标为 \(y_{1..m}\),保证上述坐标 ...
- Solution -「国家集训队」「洛谷 P2619」Tree I
\(\mathcal{Description}\) Link. 给一个 \(n\) 个点 \(m\) 条边的带权无向图,边有权值和黑白颜色,求恰选出 \(K\) 条白边构成的最小生成树. ...
- Solution -「ARC 104C」Fair Elevator
\(\mathcal{Description}\) Link. 数轴从 \(1\sim 2n\) 的整点上有 \(n\) 个闭区间.你只知道每个区间的部分信息(可能不知道左或右端点,或者都不知 ...
- Solution -「基环树」做题记录
写的大多只是思路,比较简单的细节和证明过程就不放了,有需者自取. 基环树简介 简单说一说基环树吧.由名字扩展可得这是一类以环为基础的树(当然显然它不是树. 通常的表现形式是一棵树再加一条非树边,把图画 ...
- Solution -「CF 1342E」Placing Rooks
\(\mathcal{Description}\) Link. 在一个 \(n\times n\) 的国际象棋棋盘上摆 \(n\) 个车,求满足: 所有格子都可以被攻击到. 恰好存在 \(k\ ...
- Solution -「CTS 2019」「洛谷 P5404」氪金手游
\(\mathcal{Description}\) Link. 有 \(n\) 张卡牌,第 \(i\) 张的权值 \(w_i\in\{1,2,3\}\),且取值为 \(k\) 的概率正比于 \ ...
- Solution -「BZOJ 3812」主旋律
\(\mathcal{Description}\) Link. 给定含 \(n\) 个点 \(m\) 条边的简单有向图 \(G=(V,E)\),求 \(H=(V,E'\subseteq E)\ ...
随机推荐
- [操作系统]LINUX进程状态说明
R(task_running) : 可执行状态 只有在该状态的进程才可能在CPU上运行.而同一时刻可能有多个进程 处于可执行状态,这些进程的task_struct结构(进程控制块)被放入对应CPU的 ...
- python 本地配置文件库 Dynaconf 简介
[前言] 在项目中经常会遇到以下几种需要用到配置文件的场景: 相同的配置参数用在不同的代码中,如果需要调整,则需要手动将各个使用到的地方都相应调整. 密码等信息不想硬编码在项目文件中. 配置文件的格式 ...
- ELF文件结构
ELF文件结构 ELF文件的全称是Executable and Linkable Format,直译为"可执行可链接格式",包括目标文件(.o).可执行文件(可以直接运行).静态链 ...
- c++ :STL
基础知识 容器 容器就是一些模板类的集合,不同之处就是容器中封装的是数据结构 1.序列容器 主要有vector向量容器.list列表容器.deque双端队列容器 元素在容器中是无序的 2.排序容器 包 ...
- 前后端分离,SpringBoot如何实现验证码操作
验证码的功能是防止非法用户恶意去访问登录接口而设置的一个功能,今天我们就来看看在前后端分离的项目中,SpringBoot是如何提供服务的. SpringBoot版本 本文基于的Spring Boot的 ...
- 抽象数据类型(ADT)
抽象数据类型(Abstract Data Type,ADT)是指一个数学模型以及定义在这个模型上的一组操作.抽象数据类型的定义仅仅取决于它的一组逻辑特性,而与它在计算机中的表示和实现无关. 例如,in ...
- Unity中通过深度优先算法和广度优先算法打印游戏物体名
前言:又是一个月没写博客了,每次下班都懒得写,觉得浪费时间.... 深度优先搜索和广度优先搜索的定义,网络上已经说的很清楚了,我也是看了网上的才懂的,所以就不在这里赘述了.今天讲解的实例,主要是通过自 ...
- ES6 - promise(3)
上一篇熟悉了promise的具体过程: promise的过程: 启动异步任务 => 返回promise对象 =>给promise对象绑定回调函数(甚至可以在异步任务结束后指定多个). 从p ...
- CF908D New Year and Arbitrary Arrangement 题解
\(0.\) 前言 有一天 \(Au\) 爷讲期望都见到了此题,通过写题解来加深理解. \(1.\) 题意 将初始为空的序列的末尾给定概率添加 \(a\) 或 \(b\),当至少有 \(k\) 对 \ ...
- 【抬杠C#】如何实现接口的base调用
背景 在三年前发布的C#8.0中有一项重要的改进叫做接口默认实现,从此以后,接口中定义的方法可以包含方法体了,即默认实现.不过对于接口的默认实现,其实现类或者子接口在重写这个方法的时候不能对其进行ba ...