JHD的博客

原创 CRT合并

对于两个同余方程组： x mod a1 = b1 (1) x mod a2 = b2 (2) 我们令x = a1 * x0 + b1; 带入(2)式，即(a1* x0 + b1) mod a2 = b2，将b1移项，即： a1 * x0 mod a2 = b2 – b1 (3) 显然，我们可以使用ex_gcd求出它的一个可行解x1，而实际上x0满足通项： x0 = x1 + a2 /