- 若 p 为质数,且 (a,p) = 1 ,那么 a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1\pmod p ap−1≡1(modp) ;若 a 是 p 的倍数,那么 a p − 1 ≡ 0 ( m o d p ) a^{p-1}\equiv 0\pmod p ap−1≡0(modp) 将导致出错 。
应用:求逆元 (前提是互质),0 没有逆元 。(要分类讨论)
例子:CF185D Visit of the Great
顺便复习一下 欧拉定理 :
- 若 (a,p) =1 ,那么 a ϕ ( p ) ≡ 1 ( m o d p ) a^{\phi(p)}\equiv 1\pmod p aϕ(p)≡1(modp)
- 一般地,若 a, p 不互质,那么可以用 扩展欧拉定理 求解 (前提是 指数 > ϕ ( p ) \phi(p) ϕ(p))
例子:CF17D Notepad
(鸡贼恶心的分类讨论 233
当然,对于边界的处理也是从简单情形入手,最后再来解决一般情形,不能本末倒置。
关于同余式的构造
考虑 d = gcd ( k 2 x + 1 , k 2 y + 1 ) d=\gcd(k^{2^{x}}+1,k^{2^{y}}+1) d=gcd(k2x+1,k2y+1) (x > y),d = 1 或 2 ?
关于这种高次幂 how to deal ?
考察 k 2 x ≡ k 2 y ≡ − 1 ( m o d d ) k^{2^{x}}\equiv k^{2^{y}}\equiv -1 \pmod d k2x≡k2y≡−1(modd)
( k 2 y ) 2 x − y ≡ ( − 1 ) 2 x − y ≡ 1 ≡ k 2 x ≡ − 1 ( m o d d ) (k^{2^y})^{2^{x-y}}\equiv (-1)^{2^{x-y}}\equiv 1\equiv k^{2^x}\equiv -1\pmod d (k2y)2x−y≡(−1)2x−y≡1≡k2x≡−1(modd) ???
=> d = 1 或 2