中国剩余定理
(设m1,m2,···,mk两两互素)
x == a1(mod m1);(==代表同余)
x == a2(mod m2);
···
x == ak(mod mk);
其在M=m1 * m2 * ··· * mk中有唯一整数解。
记Mi=M/mi;因为(Mi,mi)=1,
故有两整数ei,si满足Mi * ei+mi * si=1,
则Mi * ei=0 (mod mj),j!=i;
Mi * ei=1(mod mj),j=i;
很明显,M1 * e1 * a1+M2 * e2 * a2+···+Mk * ek*ak就是方程的一个解,
加减M倍后就可以得到最小非负整数解了。