中国剩余定理互质版
设m1,m2,m3,...,mk是两两互素的正整数,即gcd(mi,mj)=1,i!=j,i,j=1,2,3,...,k.
则同余方程组:
x = a1 (mod n1)
x = a2 (mod n2)
...
x = ak (mod nk)
模[n1,n2,...nk]有唯一解,即在[n1,n2,...,nk]的意义下,存在唯一的x,满足:
x = ai mod [n1,n2,...,nk], i=1,2,3,...,k。
解可以写为这种形式:
x = sigma(ai* mi*mi') mod(N)
其中N=n1*n2*...*nk,mi=N/ni,mi'为mi在模ni乘法下的逆元。
例题 codevs 3990 中国余数定理2
/* 作者:Best 题目:p3990 中国余数定理 2 */ #include<iostream> #include<cstdio> #include<cstring> #define ll long long using namespace std; ll n,l,r,b[11],m[11],M[11],Mi[11],s=1,ans,sum,x,y; void E_gcd(ll a,ll b) {if(!b){x=1;y=0;return;}E_gcd(b,a%b);int tmp=x;x=y;y=tmp-a/b*y; } int main() {cin>>n>>l>>r;for(int i=1;i<=n;i++)cin>>m[i]>>b[i],s*=m[i];for(int i=1;i<=n;i++)M[i]=s/m[i];for(int i=1;i<=n;i++){x=y=0;E_gcd(M[i],m[i]);Mi[i]=(x+m[i])%m[i];}for(int i=1;i<=n;i++)ans=(ans+M[i]*Mi[i]%s*b[i])%s;if(ans<l||ans>r)ans=sum=0;else sum=(r-ans)/s+1;cout<<sum<<endl<<ans;return 0; }
中国剩余定理非互质版
例题 HUD 1573 X问题
#include<iostream> #include<cstdio> #include<cstring> #define ll long long using namespace std; ll T,n,m,a[11],b[11],x,y,gcd; void E_gcd(ll ai,ll bi) {if(!bi){x=1;y=0;gcd=ai;return;}E_gcd(bi,ai%bi);ll tmp=x;x=y;y=tmp-ai/bi*y; } int main() {cin>>T;while(T--){cin>>n>>m;for(int i=1;i<=m;i++)cin>>a[i];for(int i=1;i<=m;i++)cin>>b[i];int falg=0;ll a1=a[1],b1=b[1];for(int i=2;i<=m;i++){ll a2=a[i],b2=b[i];E_gcd(a1,a2);if((b2-b1)%gcd){falg=1;break;}x*=((b2-b1)/gcd);ll t=a2/gcd;x=(x%t+t)%t;b1+=a1*x;a1=(a1*a2/gcd);b1=(b1%a1+a1)%a1;}if(falg||b1>n)cout<<"0"<<endl;else cout<<(n-b1)/a1+1-(!b1?1:0)<<endl;} }