0x00 前置芝士

数位dp考试里出现的小神题??

显然考场会选择打表找规律。

数位dp + 矩阵快速幂


0x01 题目描述

给定正整数 \(n\),现有如下方程 \(x \bigoplus 3x = 2x\),其中 \(\bigoplus\) 表示按位异或。

任务如下:

  1. 求出小于等于 \(n\) 的正整数中,有多少个数是该方程的解
  2. 求出小于等于 \(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的更多相关文章

  1. Solution -「校内题」矩阵求和

    Description 共 \(T\) 组数据.对于每组数据,给定 \(a, b, n\),求 \(\sum_{i = 1}^{n} \sum_{j = 1}^{n} \gcd(a^i - b^i, ...

  2. Solution -「ARC 104E」Random LIS

    \(\mathcal{Description}\)   Link.   给定整数序列 \(\{a_n\}\),对于整数序列 \(\{b_n\}\),\(b_i\) 在 \([1,a_i]\) 中等概率 ...

  3. Solution -「ARC 101D」「AT4353」Robots and Exits

    \(\mathcal{Description}\)   Link.   有 \(n\) 个小球,坐标为 \(x_{1..n}\):还有 \(m\) 个洞,坐标为 \(y_{1..m}\),保证上述坐标 ...

  4. Solution -「国家集训队」「洛谷 P2619」Tree I

    \(\mathcal{Description}\)   Link.   给一个 \(n\) 个点 \(m\) 条边的带权无向图,边有权值和黑白颜色,求恰选出 \(K\) 条白边构成的最小生成树.    ...

  5. Solution -「ARC 104C」Fair Elevator

    \(\mathcal{Description}\)   Link.   数轴从 \(1\sim 2n\) 的整点上有 \(n\) 个闭区间.你只知道每个区间的部分信息(可能不知道左或右端点,或者都不知 ...

  6. Solution -「基环树」做题记录

    写的大多只是思路,比较简单的细节和证明过程就不放了,有需者自取. 基环树简介 简单说一说基环树吧.由名字扩展可得这是一类以环为基础的树(当然显然它不是树. 通常的表现形式是一棵树再加一条非树边,把图画 ...

  7. Solution -「CF 1342E」Placing Rooks

    \(\mathcal{Description}\)   Link.   在一个 \(n\times n\) 的国际象棋棋盘上摆 \(n\) 个车,求满足: 所有格子都可以被攻击到. 恰好存在 \(k\ ...

  8. Solution -「CTS 2019」「洛谷 P5404」氪金手游

    \(\mathcal{Description}\)   Link.   有 \(n\) 张卡牌,第 \(i\) 张的权值 \(w_i\in\{1,2,3\}\),且取值为 \(k\) 的概率正比于 \ ...

  9. Solution -「BZOJ 3812」主旋律

    \(\mathcal{Description}\)   Link.   给定含 \(n\) 个点 \(m\) 条边的简单有向图 \(G=(V,E)\),求 \(H=(V,E'\subseteq E)\ ...

随机推荐

  1. tuandui last

    组长博客链接### 组长博客 参考邹欣老师的问题模板进行总结思考### 设想和目标(2分)#### 1.我们的软件要解决什么问题?是否定义得很清楚?是否对典型用户和典型场景有清晰的描述? 解决的问题 ...

  2. 关于5G技术,这是我见过最通俗易懂的讲解了

    公众号关注 「开源Linux」 回复「学习」,有我为您特别筛选的学习资料~ 1 一个简单且神奇的公式 今天的故事,从一个公式开始讲起. 这是一个既简单又神奇的公式.说它简单,是因为它一共只有 3 个字 ...

  3. Intel CPU平台和架构介绍

    点击上方"开源Linux",选择"设为星标" 回复"学习"获取独家整理的学习资料! 服务器主板上数据传输流依次为CPU .内存.硬盘和网卡, ...

  4. ceph日常运维管理

    点击关注上方"开源Linux", 后台回复"读书",有我为您特别筛选书籍资料~ 相关阅读: ceph分布式存储简介 常见问题 nearfull osd(s) o ...

  5. MySQL用户管理与字符集

    用户管理与字符集 一.用户管理 用户名的概念 用户名是由两部分组成的 user和host 1.1 创建用户 create user 'yysue'@'192.168.5.38' identified ...

  6. 【产品】如何写好APP描述

    你有没有想过越是需要花钱购买的 App,用户会更认真阅读你的 App描述?本文列举了15个 app 描述,看看哪些是我们以前忽略了的,哪些是我们也犯过的错误.图中有红色背景的文字是需要强调的地方,这些 ...

  7. v86.01 鸿蒙内核源码分析 (静态分配篇) | 很简单的一位小朋友 | 百篇博客分析 OpenHarmony 源码

    本篇关键词:池头.池体.节头.节块 内存管理相关篇为: v31.02 鸿蒙内核源码分析(内存规则) | 内存管理到底在管什么 v32.04 鸿蒙内核源码分析(物理内存) | 真实的可不一定精彩 v33 ...

  8. JetBrains IDE全新UI预览版来了,要做简洁与强大兼顾的IDE

    5月23日,JetBrains发布了一篇博文,透露他们正在实现一套全新的界面界面. 他们认为目前行业中的用户界面趋势已经发生了演变,很多新用户认为JetBrains IDE的界面过于笨重,而且过时.所 ...

  9. 拭目以待!JNPF .NET将更新.NET 6技术,同时上线 3.4.1 版本

    2022年5月30日,福建引迈即将上线JNPF开发平台的.NET 6版本,在产品性能上做了深度优化,且极大的提升了工作效率,加强了对云服务的改进升级,全面提升用户的使用体验. JNPF是一个以PaaS ...

  10. 33个非常实用的JavaScript一行代码

    33个非常实用的JavaScript一行代码 一.日期处理 1. 检察日期是否有效 该方法用于检测给出的日期是否有效: const isDateValid = (...val) => !Numb ...