扩展中国剩余定理(EXCRT)
中国剩余定理可以解形如下面的一元线性同余方程组:
{
ans≡x1(moda1)ans≡x2(moda2)ans≡x3(moda3)...ans≡xn(modan) \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的乘积关于剩下一个数的逆元。
我们先考虑将如下方程组合并成一个方程
{
ans≡x1(moda1)ans≡x2(moda2)\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(moda2)
该方程存在唯一解ans,使得ans=m1a1+x1=m2a2+x2ans=m_1a_1+x_1=m_2a_2+x_2ans=m