标签：剩余 right 定理 sum 中国 array equiv bmod left
简介
中国剩余定理 (Chinese Remainder Theorem, CRT) 可求解如下形式的一元线性同余方程组（其中\(m_1,m_2,...,m_k\) 互质）
\[\left\{\begin{array}{ccc} {x} & {\equiv} & {a_{1}\left(\bmod \ m_{1}\right)} \\ {x} & {\equiv} & {a_{2}\left(\bmod \ m_{2}\right)} \\ {} & {\vdots} & {} \\ {x} & {\equiv} & {a_{n}\left(\bmod \ m_{k}\right)} \end{array}\right. \]算法
-
设\(M=\prod_{i=1}^{k} m_{i} \ , \ M_{i}=\frac{M}{m_{i}} \ , \ M_{i} t_{i} \equiv 1 \ \left(\bmod m_{i}\right)\) , 其中 $ 1 \leq i \leq k$ ,
-
构造出一通解 \(x=\sum_{i=1}^{k} a_{i} M_{i} t_{i}\) ,
-
得 任意解为 \(x_0 = x+k * M\) ,
-
得 最小整数解 为 \(x_{min} = x_0 \% M\) .
证明
当 \(i \neq j\) 时 ， 有
\[a_{j} M_{j} t_{j} \equiv 0\left(\bmod \ m_{i}\right) \]当 \(i = j\) 时 ， 有
\[a_{i} M_{i} t_{i} \equiv a_{i}\left(\bmod \ m_{i}\right) \]故满足\(\sum_{i=1}^{k} a_{i} M_{i} t_{i} \equiv a_{i}\left(\bmod \ m_{i}\right)\)
标签：剩余,right,定理,sum,中国,array,equiv,bmod,left 来源： https://www.cnblogs.com/skyliyu/p/16132441.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。