中国剩余定理

已知一个非负整数x满足对于给出的所有$m_i,k_i$有$x\equiv k_i(\mod m_i)$
求x的最小值

首先有$0\leq x\lt LCM(m_1,m_2,\cdots,m_n)$，且在此范围内有且仅有唯一解
记$M=LCM(m_1,m_2,\cdots,m_n)$
设$W_i=\prod_{j\not=i}m_j$
$W'_i=W_i^{-1}(\mod m_i)$
类似拉格朗日插值法的构造方法
$x=(\sum_{i=1}^n W'_i*W_i*k_i)\mod M$

首先有$x\mod k=(x\mod kv)\mod k$

$\because W'_i=W_i^{-1}(\mod m_i) \therefore$ 可能$W'_i*W_i^{-1}\not=1(\mod M)$
但$(W'_i*W_i)\mod M\equiv 1(\mod m_i)$
足以证明x的答案正确