12.4 同余问题

12.4 同余问题*

(1) 同余式

求同余式 ax≡b (mod m)的解。
1. 有解的充要条件是：存在一个整数 n，使得 ax－mn＝b。
2. 求解过程：只需把它转化为 ax－mn＝b。于是，x 和 n 就可以用 exgcd 求出来了。
3. 若 gcd(a,m)=d, b%d==0，则同余式 ax≡b (mod m)恰有 d 个解

(2) 同余式组 

① 已知求 x

 1. 有解的充要条件是：(b 1 -b 2 )%gcd(m 1 ,m 2 )==0

2. 求解过程：设 p，q 为两个整数，则

 通解：x 对模 lcm(m 1 , m 2 )有唯一解，可据此构造通解。

② 已知

 1. 求解过程：可以先解然后构造出一个新的同余式 x≡b^'2 (mod lcm(m 1 ,m 2 ))。
接下来将其与第三个式子联立……

 2. 中间有一步出现无解，则同余式组无解。
否则 x 对模 lcm(m 1 , m 2 , …, m n )有唯一解，可据此构造通解。