[关闭]
@Acqua 2019-05-11T02:46:17.000000Z 字数 1496 阅读 834

数论(11 Mai, 2019)

算法

扩展gcd

通过辗转相除求出的不定方程特解。
,则。由于

,所以
,两式联立得
。设,则
,所以
。在辗转相除的过程中,按照这样的过程一层层向上返回,最终得到一组特解。显然有
,所以通解为。通过枚举可以得到目标解。

线性同余方程


对于任意满足方程,可以转化为可以用扩展求解的情况。

可以发现

。用扩展求解的特解,则。显然有
,通解推法与扩展中相同,可以理解为从直线变成,截距变化,但是斜率不会因常数的变化而变化。

乘法逆元

,则关于的乘法逆元。
存在乘法逆元的充要条件是
求证:若,则
证明:由可知,则,代入得


求法很显然是解的同余方程。根据同余方程调根法,相邻整数根间距为。由于当时不存在乘法逆元,所以相邻整数根的间距为。所以当时,通过,调到最小正整数。

添加新批注
在作者公开此批注前,只有你和作者可见。
回复批注