中国剩余定理（CRT）

中国剩余定理（CRT）又称孙子定理，解决特殊的一次同余方程组的问题。

中国剩余定理

现有关于$x$的一次同余方程组：$\stackrel{n}{\underset{i=1}{\mathbb{I}}}\{\begin{array}{c}{x}_i\equiv a_i(mod{m}_i)\end{array}(m_x\perp m_y)$

其中模数两两互质。

中国剩余定理表明，此方程必然有解，并且给出了构造解的方法。

构造答案式

中国剩余定理的过程是：
令$M=\prod m$
令$M_i=M÷m_i$，注意这一步是除法，不是乘法逆元。
令$t_i\equiv M_i^{-1}(mod{m}_i)$，也就是令$t_i$为$M_i$模$m_i$意义下的乘法逆元。

则最终一个合法的$x$就是：$\stackrel{n}{\sum _{i=1}}{M}_i\cdot t_i\cdot a_i$

即：$x\equiv \stackrel{n}{\sum _{i=1}}{a}_i\stackrel{n}{\prod _{j=1}}{m}_i^{[i\ne j]}{\left(\stackrel{n}{\prod _{j=1}}{m}_i^{[i\ne j]}\right)}^{-1(\mathrm{mod}{m}_i)}(\mathrm{mod}M)$

证明很简单：
将$x=\stackrel{n}{\sum _{i=1}}{M}_i\cdot t_i\cdot a_i$带入一个方程$x_k\equiv a_k(mod{m}_k)$：
$\stackrel{n}{\sum _{i=1}}{M}_i\cdot t_i\cdot a_i\stackrel{?}{\equiv }{a}_k$
$M_k\cdot t_k\cdot a_k+\stackrel{n}{\sum _{i=1}}[i\ne k]M_i\cdot t_i\cdot a_i\stackrel{?}{\equiv }{a}_k$

注意到等号左边的右式的每一项的$M_i$都是$m_k$的倍数，因此取模之后和式为0。

$M_k\cdot t_k\cdot a_k\stackrel{?}{\equiv }{a}_k$

注意到$t_k\equiv M_k^{-1}$：
$M_k\cdot M_k^{-1}\cdot a_k\stackrel{?}{\equiv }{a}_k$

显然左右相等：
$a_k\equiv a_k$

QED.

显然通解就是特解$x_0+k\cdot M$。

也就是说，中国剩余定理事实上把$n$个线性同余方程合并为一个同余方程：
$x\equiv x_0(modM)$

时间复杂度O(nlogn)

合并同余方程

这种中国剩余定理的思路是，把两个同余方程合并为一个同余方程，最终只剩下一个同余方程，就很容易解。

假设有$m_1\perp m_2$：$\{\begin{array}{c}x\equiv a_1(\mathrm{mod}{m}_1)\\ x\equiv a_2(\mathrm{mod}{m}_2)\end{array}$

我们构造$m_1\cdot x+m_2\cdot y=1$（这里的$x$不是上面的$x$），解得$x,y$，无解说明方程组无解。（由于互质，不可能无解）
根据互为逆元的理论，$m_1^{-1}\equiv x(\mathrm{mod}{m}_2),m_2^{-1}\equiv y(\mathrm{mod}{m}_1)$

根据构造答案式的过程，显然两个方程被合并为一个新的方程：
$X\equiv a_1{m}_{2}y+a_2{m}_{1}x(\mathrm{mod}{m}_1{m}_2)$

做$n-1$次合并，就达到了和第一种方法一样的效果。解出了线性同余方程组。

时间复杂度O(nlogn)

模板题

后记

于是皆大欢喜。