同余/逆元/

同余定理

定义

给定一个正整数m，若两个整数a和b满足（a-b）能够被m整除，即（a-b）/m 得到一个整数，那么就称a与b对模m同余，记作a≡b(mod m)。

性质

(a + b) % c = (a % c + b % c) % c
(a * c) % c = (a % c * b % c) % c

逆元

定义

设c是b的逆元，则有b * c ≡ 1 (mod m)

费马小定理

a是不能被质数p整除的正整数，则有a ^ (p - 1) ≡ 1 (mod p)
a 的逆元为 a ^ (p - 2)