扩展中国剩余定理(EXCRT)
中国剩余定理可以解形如下面的一元线性同余方程组:
{ a n s ≡ x 1 ( m o d a 1 ) a n s ≡ x 2 ( m o d a 2 ) a n s ≡ x 3 ( m o d a 3 ) . . . a n s ≡ x n ( m o d a n ) \left\{\begin{matrix} ans\equiv x_1\pmod{a_1} \\ ans\equiv x_2\pmod{a_2} \\ ans\equiv x_3\pmod{a_3}\\ .\\ .\\ .\\ ans\equiv x_n\pmod{a_n} \end{matrix}\right. ⎩⎪⎪⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎪⎪⎧ans≡x1(moda1)ans≡x2(moda2)ans≡x3(moda3)...ans≡xn(modan)
其中a1,a2,a3…an两两互素。
如果a1,a2,a3…an不两两互素时,就不能利用中国剩余定理去解上述方程组了。因为不存在另外n-1个ai的乘积关于剩下一个数的逆元。
我们先考虑将如下方程组合并成一个方程
{ a n s ≡ x 1 ( m o d a 1 ) a n s ≡ x 2 ( m o d a 2 ) \left\{\begin{matrix} ans\equiv x_1\pmod{a_1} \\ ans\equiv x_2\pmod{a_2} \\ \end{matrix}\right. {
ans≡x1(moda1)ans≡x2(moda