中国剩余定理与扩展 Lucas定理与扩展 学习笔记
来源:互联网 发布:ch341a编程器1.3破解 编辑:程序博客网 时间:2024/06/05 19:40
中国剩余定理
问题
求同余方程组
其中满足
x的最小正(非负)整数解
结论
令
则
证明
a.在模M意义下x只有唯一解 (有多解那还了得)
b.令
c.根据上面的式子容易得出
d.由于
e.可以发现我们已经将其化简成扩展欧几里得的基本形式
代码
codevs 3990
#include<algorithm>#include<iostream>#include<cstring>#include<cstdio>#include<cmath>using namespace std;#define LL long longLL k,l,r,n,M,x,y,Min,ans,m[15],c[15];void exgcd(LL a,LL b,LL &x,LL &y){ if (!b) x=1,y=0; else exgcd(b,a%b,y,x),y-=a/b*x;}int main(){ scanf("%d%lld%lld",&k,&l,&r); M=1LL; for (int i=1;i<=k;++i) { scanf("%lld%lld",&m[i],&c[i]); M*=m[i]; } for (int i=1;i<=k;++i) { LL a=M/m[i],b=m[i]; exgcd(a,b,x,y); x=(x%b+b)%b; if (!x) x+=b; n+=c[i]*a*x; } n%=M; if (!n) n+=M; if (r>=n) ans=(r-n)/M+1; if (l>=n) ans=ans-((l-n)/M+1); if ((l-n)%M==0) ++ans; if (ans) { if (l<=n) Min=n; else Min=n+((l-n)/M+1)*M; } printf("%lld\n%lld\n",ans,Min);}
扩展中国剩余定理
问题
求同余方程组
x的最小正(非负)整数解
结论
对于两个方程
将其合并成一个方程,有解条件为
最终得出一个式子
证明
a.将两个方程写成
b.根据贝祖定理,以上等式有解充要条件为
c.将等式两边同除
d.将其回代
e.至此我们又将其化简成了
代码
pku 2891
#include<algorithm>#include<iostream>#include<cstring>#include<cstdio>#include<cmath>using namespace std;#define LL long long#define N 1005int k;LL c[N],m[N],c1,c2,m1,m2,t;bool flag;LL gcd(LL a,LL b){ if (!b) return a; else return gcd(b,a%b);}void exgcd(LL a,LL b,LL &x,LL &y){ if (!b) x=1LL,y=0LL; else exgcd(b,a%b,y,x),y-=a/b*x;}LL inv(LL a,LL b){ LL x=0LL,y=0LL; exgcd(a,b,x,y); x=(x%b+b)%b; if (!x) x+=b; return x;}int main(){ while (~scanf("%d",&k)) { flag=true; for (int i=1;i<=k;++i) scanf("%I64d%I64d",&m[i],&c[i]); for (int i=2;i<=k;++i) { m1=m[i-1],m2=m[i],c1=c[i-1],c2=c[i]; t=gcd(m1,m2); if ((c2-c1)%t!=0) {flag=false;break;} m[i]=m1*m2/t; c[i]=inv(m1/t,m2/t)*((c2-c1)/t)%(m2/t)*m1+c1; c[i]=(c[i]%m[i]+m[i])%m[i]; } if (!flag) puts("-1"); else printf("%I64d\n",c[k]); }}
Lucas定理
问题
求
结论
令
则
证明
去问卢卡斯
听说要用二项式定理什么的
我怎么可能会这种东西 记住就行了
代码
zoj 3557
#include<algorithm>#include<iostream>#include<cstring>#include<cstdio>#include<cmath>using namespace std;#define LL long longLL n,m,Mod;LL fast_pow(LL a,LL p){ LL ans=1LL; for (;p;p>>=1,a=a*a%Mod) if (p&1) ans=ans*a%Mod; return ans;}LL inv(LL x){ return fast_pow(x,Mod-2);}LL C(LL n,LL m){ if (m>n) return 0LL; LL up=1LL,down=1LL; for (LL i=n-m+1;i<=n;++i) up=up*i%Mod; for (LL i=1;i<=m;++i) down=down*i%Mod; return up*inv(down)%Mod;}LL lucas(LL n,LL m){ if (m>n) return 0LL; LL ans=1; for (;m;n/=Mod,m/=Mod) ans=ans*C(n%Mod,m%Mod)%Mod; return ans;}int main(){ while (~scanf("%lld%lld%lld",&n,&m,&Mod)) printf("%lld\n",lucas(n-m+1,m));}
扩展Lucas定理
问题
求
结论
令
列出同余方程组
其中
然后根据中国剩余定理合并
可见
对于如何求
证明
a.由于同于方程组在模
b.由于
c.对于如何求
根据
d.对于如何求
我们以
根据这个例子发现,求解n!可以分为3部分:第一部分是
考虑第三部分如何求解
发现第三部分在模
e.最后一个问题是对于求出的
所以要将
计算n!中质因子p的个数x的公式为
递推式也可以写为
代码
codeforces2015ICL,Finals,Div.1#J
#include<algorithm>#include<iostream>#include<cstring>#include<cstdio>#include<cmath>using namespace std;#define LL long longLL n,m,MOD,ans;LL fast_pow(LL a,LL p,LL Mod){ LL ans=1LL; for (;p;p>>=1,a=a*a%Mod) if (p&1) ans=ans*a%Mod; return ans;}void exgcd(LL a,LL b,LL &x,LL &y){ if (!b) x=1LL,y=0LL; else exgcd(b,a%b,y,x),y-=a/b*x;}LL inv(LL A,LL Mod){ if (!A) return 0LL; LL a=A,b=Mod,x=0LL,y=0LL; exgcd(a,b,x,y); x=((x%b)+b)%b; if (!x) x+=b; return x;}LL Mul(LL n,LL pi,LL pk){ if (!n) return 1LL; LL ans=1LL; if (n/pk) { for (LL i=2;i<=pk;++i) if (i%pi) ans=ans*i%pk; ans=fast_pow(ans,n/pk,pk); } for (LL i=2;i<=n%pk;++i) if (i%pi) ans=ans*i%pk; return ans*Mul(n/pi,pi,pk)%pk;}LL C(LL n,LL m,LL Mod,LL pi,LL pk){ if (m>n) return 0LL; LL a=Mul(n,pi,pk),b=Mul(m,pi,pk),c=Mul(n-m,pi,pk); LL k=0LL,ans; for (LL i=n;i;i/=pi) k+=i/pi; for (LL i=m;i;i/=pi) k-=i/pi; for (LL i=n-m;i;i/=pi) k-=i/pi; ans=a*inv(b,pk)%pk*inv(c,pk)%pk*fast_pow(pi,k,pk)%pk; return ans*(Mod/pk)%Mod*inv(Mod/pk,pk)%Mod;}int main(){ scanf("%I64d%I64d%I64d",&n,&m,&MOD); for (LL x=MOD,i=2;i<=MOD;++i) if (x%i==0) { LL pk=1LL; while (x%i==0) pk*=i,x/=i; ans=(ans+C(n,m,MOD,i,pk))%MOD; } printf("%I64d\n",ans);}
- 中国剩余定理与扩展 Lucas定理与扩展 学习笔记
- 中国剩余定理与扩展
- 扩展欧几里德与中国剩余定理学习笔记&&模版
- Lucas定理与扩展Lucas
- [BZOJ2142]-扩展Lucas+中国剩余定理
- [BZOJ2142]礼物(扩展Lucas定理+中国剩余定理)
- [BZOJ2142]礼物-扩展lucas定理-中国剩余定理
- 中国剩余定理+扩展
- 【BZOJ2445】最大团【推公式】【中国剩余定理】【扩展Lucas】
- 【SDOI2010】古代猪文 扩展Lucas+中国剩余定理
- 中国剩余定理及其扩展——学习(复习)笔记
- 再说中国剩余定理、扩展欧几里德与同余方程组
- 欧几里德算法与扩展(中国剩余定理)
- [BZOJ 1951] 古代猪文【Lucas定理/费马小定理/中国剩余定理/扩展欧几里得】
- [BZOJ 1951][Sdoi2010]古代猪文:Lucas定理|中国剩余定理|费马小定理|扩展欧几里得
- [BZOJ2142] 礼物 - Lucas定理及扩展 - 中国剩余定理 - 扩展欧几里得算法
- 中国剩余定理的扩展
- 扩展中国剩余定理模板
- Eclipse配置Struts2问题:ClassNotFoundException: org...dispatcher.ng.filter.StrutsPrepareAndExecuteFilter
- linux下I/O多路复用技术基础知识
- 2017新年计划
- Linux文件管理常用命令
- ibatis多对多示例
- 中国剩余定理与扩展 Lucas定理与扩展 学习笔记
- 2016总结
- java零基础入门知识2.1——封装(面向对象的特征之一)
- 用python3+PyQt5改写Python Qt GUI快速编程的第七章实例Find Dialog
- android 开机自启动应用 (详细)
- 详解Linux进程及作业管理
- 学表单的第二天
- 微信小程序api调起微信提供的功能-网络、媒体、文件、数据存储、位置、设备、界面、开发接口
- Markdown常用语法