线性同余方程组学习笔记

版权声明：本文是蒟蒻写出来的，神犇转载也要说一声哦！ https://blog.csdn.net/AH_ljq/article/details/82393563

1 扩展欧几里德算法

1.1 $\gcd (a,b)=\gcd (b,a\%b)$

记 $a=k\cdot b+r$ ，满足 $a,b,k,r\ge 0，r<b$ ，$r=a-k\cdot b$ 。

设 $\gcd (a,b)=d$ ，则有 $(k\cdot b)|d，a|d\Rightarrow r|d\Rightarrow \gcd (a,b)=\gcd (b,a\%b)$ 。

1.2 $ax+by=c$ 的整数解

1.2.1 裴蜀定理

裴蜀定理: 若 $a,b$ 是整数,且 $\gcd (a,b)=d$ ，那么对于任意的整数 $x,y$ ，$ax+by$ 都一定是 $d$ 的倍数。特别地，一定存在整数 $x,y$ ，使 $ax+by=d$ 成立。

当 $c\%\gcd (a,b)̸=0$ ，方程无解，否则方程有无穷多组解。

假设我们求得 $x0,y0$ 满足 $a\cdot x0+b\cdot y0=\gcd (a,b)\Rightarrow a\cdot \frac{c\cdot x0}{\gcd (a,b)}+b\cdot \frac{c\cdot y0}{\gcd (a,b)}=c$ ，我们可以通过如下方法构造方程通解:
$$x=\frac{c\cdot x0}{\gcd (a,b)}+\frac{b}{\gcd (a,b)}\cdot k,y=\frac{c\cdot y0}{\gcd (a,b)}-\frac{a}{\gcd (a,b)}\cdot k,k\in Z$$
接下来我们考虑如何求得满足上述条件的 $x0,y0$ 。

1.2.1 扩展欧几里德算法

$a\cdot x0+b\cdot y0=\gcd (a,b)$
$b\cdot x{0}^{\prime }+(a-\lfloor \frac{a}{b}\rfloor \cdot b)\cdot y{0}^{\prime }=\gcd (b,a\%b)$
$\gcd (a,b)=\gcd (b,a\%b)$
$\Rightarrow b\cdot x{0}^{\prime }+a\cdot y{0}^{\prime }-\lfloor \frac{a}{b}\rfloor \cdot b\cdot y{0}^{\prime }=\gcd (b,a\%b)$
$\Rightarrow b\cdot (x{0}^{\prime }-\lfloor \frac{a}{b}\rfloor \cdot y{0}^{\prime })+a\cdot y{0}^{\prime }=\gcd (b$