逆元
求一个数的逆元,就是说这个数乘以它的逆元恰好等于1。在 \(\mathbb{Z}_p\) 内,设 \(a\),\(b\) 互质,则 \(a\) 的逆元记作 \(a^-1\),定义为 \(b\),使得 \(ab=1\)。
\(p\) 是素数时,逆元唯一存在。
\(p\) 是合数时,逆元可能不存在。
求逆元
扩展欧几里得
适用于 \(p\) 不为素数的情况。
解方程组 \(ax+py=1\),解得的 \(x\) 即为 \(a\) 的逆元。
费马小定理
费马小定理:若 \(p\) 为素数,则对于任意整数 \(a\),有
\[a^{p-1}\equiv 1\pmod p,\]
那么
\[a^{p-2}\equiv a^{-1}\pmod p.\]
递推
inv[i]=(mod-mod/i)*inv[mod%i]%mod
1 |
|
求阶乘的逆元
1 | mul[0]=inv[0]=1; |