他首先尝试排成m1行,发现最后多出来a1个同学;接着他尝试排成m2行,发现最后多出来a2个同学,……,他们尝试了n种排队方案,但每次都不能让同学们正好排成mi行。于是小刘寻求同事小明的帮助,以便给同学们排好队型。但小刘来去太匆忙,忘记告诉小明他们班有多少人了。没办法,现在只能根据上述信息求个满足要求的最小的数字来作为人数了。
这个题就是中国剩余定理了,这里介绍一种用扩展gcd的方法(本质上二者没有区别)
我们来考虑两个同余方程 X=A(MOD M1) 和 X=B(MOD M2)
我们可以将其变形成为求一个方程 M1x+M2y=(B-A)是否有解,这里用扩展gcd即可
如果没有显然直接退出,如果有,那么令A'=x*M1+A,M'=M1*M2/gcd(M1,M2)
那么我们就将这两个方程X=A(MOD M1) 和 X=B(MOD M2)合并成了一个方程 X=A'(MOD M')
为什么这样是对的呢?
M1x+M2y=(B-A)可以等价于M1x=(B-A)(MOD M2),那么自然,M1x+A=B(MOD M2)
而M'又是M2的倍数,所以显然X=A'(MOD M')包含了X=B(MOD M2)
而因为A'=x*M1+A=A(MOD M1),所以成立
我们将所有的方程合并成一个,最后的A显然就是答案
#include<stdio.h> #define L long long L gcd(L a,L b){ for(L c;b;a=b,b=c) c=a%b; return a; } L extgcd(L a,L b,L& x,L& y){ if(b){ L r=extgcd(b,a%b,y,x); y-=x*(a/b); return r; } else { x=1;y=0; return a; } } int main(){ int n; scanf("%d",&n); L a,m,M,A,x,y,z,r; scanf("%lld%lld",&m,&a); for(int i=1;i<n;++i){ scanf("%lld%lld",&M,&A); r=extgcd(m,M,x,y); if((A-a)%r) return 0&puts("-1"); x*=(A-a)/r; x=(x%M+M)%M; a=x*m+a; m=m/r*M; a=a%m; } printf("%lld\n",a); }