[BZOJ4833] 最小公倍佩尔数 题解
在这篇题解中,我会将各个部分的证明分成不同的推导过程,以达到逐一击破的效果。
引理 1:\(f(n)=2f(n-1)+f(n-2)\)
我的证明挺繁琐的,过程如下:
\]
\]
\]
\]
\]
\]
\]
那么递推式有了,如何和 \(\operatorname{lcm}\) 扯上关系呢?
引理 2:\(f(n+m)=f(n+1)f(m)+bf(n)f(m-1)\)
这个引理的完整描述过程如下:
如果 \(f(0)=0,f(1)=1,f(n)=af(n-1)+bf(n-2)\),且 \(\gcd(a,b)=1\),则有 \(\gcd(f(x),f(y))=f(\gcd(x,y))\)。
考虑这个东西长得和个兔子数列似的,于是给他弄个转移矩阵。容易发现有:
\]
这个转移矩阵是不平凡的:
\]
\]
那么就有:
\]
\]
\]
引理 1 得证。
引理 3:\(\gcd(f(x),f(y))=f(\gcd(x,y))\)
显然有:
\]
\]
若 \(\gcd(f(n-1),f(n-2))=1\),则有:
\]
由于 \(\gcd(f(1),f(0))=1\),所以 \(\gcd(f(n),f(n-1))=1\)。
所以 \(\gcd(f(n+m),f(n))=\gcd(f(m),f(n))\)。
我们从辗转相除的角度化简,可以得到:
\]
\]
引理 4:\(\operatorname{lcm}(S)=\prod\limits_{T\subset S}\gcd(T)^{(-1)^{|T|-1}}\)
特殊说明一下,\(S,T\) 为非空集合。
注意力惊人的注意到:
\]
\]
其中 \(cnt_{i,p}\) 表示 \(i\) 中 \(p\) 这个质因子的个数。
想到最值反演。那么有:
\]
\]
\]
\]
\(g(n)\) 的第一推导
设 \(U=\{1,2,\dots,n\}\),则有:
\]
\]
看到 \(\gcd\),想到莫比乌斯反演:
\]
记 \(h(i)=\sum\limits_{T\subseteq U}[\gcd(T)=i](-1)^{|T|-1},H(i)=\sum\limits_{i|d}h(d)\),我们就要开启下一部分了。
引理 5:\(H(i)=1\)
设 \(S_i=\{1,2,\dots,\lfloor\dfrac ni\rfloor\}\)(显然 \(|S|>0\)),\(T\) 仍然是非空集合,则有:
\]
\]
\]
\]
\]
\(g(n)\) 的最终推导
根据莫比乌斯反演,有:
\]
带回 \(g(n)\) 中,得:
\]
\]
很好算。时间复杂度 \(O(\sum n\log n)\)。
#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=1e6+5;
int t,n,p,mu[N],f[N],s[N];
int qpow(int x,int y){
int re=1;
while(y){
if(y&1) re=re*x%p;
x=x*x%p,y>>=1;
}return re;
}signed main(){
ios::sync_with_stdio(0);
cin.tie(0),cout.tie(0);
cin>>t,mu[1]=1;
for(int i=1;i<N;i++)
for(int j=i*2;j<N;j+=i) mu[j]-=mu[i];
while(t--){
cin>>n>>p,f[1]=s[1]=1;
for(int i=2;i<=n;i++)
f[i]=(f[i-1]*2+f[i-2])%p,s[i]=1;
for(int i=1;i<=n;i++){
int x=f[i],y=qpow(x,p-2);
for(int j=i,k=1;j<=n;j+=i,k++)
s[j]=s[j]*(!mu[k]?1:mu[k]>0?x:y)%p;
}int re=0,g=s[1];
for(int i=1;i<=n;)
re=(re+g*i)%p,g=g*s[++i]%p;
cout<<re<<"\n";
}return 0;
}
[BZOJ4833] 最小公倍佩尔数 题解的更多相关文章
- 【BZOJ4833】最小公倍佩尔数(min-max容斥)
[BZOJ4833]最小公倍佩尔数(min-max容斥) 题面 BZOJ 题解 首先考虑怎么求\(f(n)\),考虑递推这个东西 \((1+\sqrt 2)(e(n-1)+f(n-1)\sqrt 2) ...
- BZOJ4833: [Lydsy1704月赛]最小公倍佩尔数(min-max容斥&莫比乌斯反演)(线性多项式多个数求LCM)
4833: [Lydsy1704月赛]最小公倍佩尔数 Time Limit: 8 Sec Memory Limit: 128 MBSubmit: 240 Solved: 118[Submit][S ...
- [Lydsy1704月赛] 最小公倍佩尔数
4833: [Lydsy1704月赛]最小公倍佩尔数 Time Limit: 8 Sec Memory Limit: 128 MBSubmit: 202 Solved: 99[Submit][St ...
- BZOJ4833: [Lydsy1704月赛]最小公倍佩尔数
Problem 传送门 Sol 容易得到 \[f_n=e_{n-1}+f_{n-1},e_{n-1}=f_{n-1}+e_{n-1},f_1=e_1=1\] 那么 \[f_n=2\times \sum ...
- BZOJ 4833: [Lydsy1704月赛]最小公倍佩尔数(数论 + 最值反演)
题面 令 \({(1+\sqrt 2)}^n=e(n)+f(n)*\sqrt2\) ,其中 \(e(n),f(n)\) 都是整数,显然有 \({(1-\sqrt 2)}^n=e(n)-f(n)*\sq ...
- 【bzoj 4833】[Lydsy1704月赛]最小公倍佩尔数
Description 令 $(1+\sqrt 2)^n=e(n)+\sqrt 2\cdot f(n)$ ,其中 $e(n),f(n)$ 都是整数,显然有 $(1-\sqrt 2)^n=e(n)-\s ...
- [bzoj 4833]最小公倍佩尔数
传送门 Description Let \((1+\sqrt2)^n=e(n)+f(n)\cdot\sqrt2\) , both \(e(n)\) and \(f(n)\) are integer ...
- C#版 - Leetcode 504. 七进制数 - 题解
C#版 - Leetcode 504. 七进制数 - 题解 Leetcode 504. Base 7 在线提交: https://leetcode.com/problems/base-7/ 题目描述 ...
- C#版 - Leetcode 306. 累加数 - 题解
版权声明: 本文为博主Bravo Yeung(知乎UserName同名)的原创文章,欲转载请先私信获博主允许,转载时请附上网址 http://blog.csdn.net/lzuacm. C#版 - L ...
- C#版(打败97.89%的提交) - Leetcode 202. 快乐数 - 题解
版权声明: 本文为博主Bravo Yeung(知乎UserName同名)的原创文章,欲转载请先私信获博主允许,转载时请附上网址 http://blog.csdn.net/lzuacm. C#版 - L ...
随机推荐
- 启动Node.js前端项目
跟前端同事联调的时候,有时前端同事要跟其他后端同事联调,心想就自己启个前端项目,这样前端同事跟其他后端同事联调的时候,我可以先自己调来试试. 安装Node.js,NPM,NVM等,一气呵成.将前端项目 ...
- openEuler欧拉使用sshpass不输入密码远程登录其他服务器
ssh登陆不能在命令行中指定密码,sshpass 的出现则解决了这一问题.用 -p 参数指定明文密码,然后直接登录远程服务器,它支持密码从命令行.文件.环境变量中读取. 操作步骤: 一.关闭防火墙 ...
- openEuler欧拉修改SSH端口
修改SSH端口的主要原因是提高服务器的安全性.默认情况下,SSH服务运行在端口22上,因此攻击者和自动化脚本通常会针对此端口发起暴力破解攻击.密码猜测和其他恶意活动. vim /etc/ssh/ssh ...
- solon 集成 activemq-client (sdk)
原始状态的 activemq-client sdk 集成非常方便,也更适合定制.就是有些同学,可能对原始接口会比较陌生,会希望有个具体的示例. <dependency> <group ...
- 部署docker-registry +ui , 使用ansible部署docker实例
#部署docker-registry +ui , 使用ansible部署docker实例 docker registry 配置域名证书, 用户密码认证, 轻量UI shell部署docker-regi ...
- server.error.include-message
使用的thymeleaf模板引擎,默认前端无法获取message和exception 想要在前端获取到message和exception,配置一下配置 server.error.include-exc ...
- Qt开发经验小技巧171-175
在Qt编程中经常会遇到编码的问题,由于跨平台的考虑兼容各种系统,而windows系统默认是gbk或者gb2312编码,当然后期可能msvc编译器都支持utf8编码,所以在部分程序中传入中文目录文件名称 ...
- Object.freeze冻结属性和v-if结合requestAnimationFrame分帧渲染解决白屏
计算100W条数据的长度造成2s延迟 <template> <div> <h1>数据总长度{{ arrList.length }}</h1> </ ...
- JVM实战—7.如何模拟GC场景并阅读GC日志
大纲 1.动手模拟出频繁Young GC的场景 2.JVM的Young GC日志应该怎么看 3.代码模拟动态年龄判定规则进入老年代 4.代码模拟S区放不下部分进入老年代 5.JVM的Full GC日志 ...
- C Primer Plus 第6版 第四章 编程练习参考答案
编译环境VS Code+WSL GCC 源码请到文末下载 /*第1题*************************/ #include<stdio.h> int main() { ch ...