本文章内,若无特殊说明,数字指的是整数,除法指的是整除。
什么是逆元
我们称(a)是(b)在模(p)情况下的逆元,则有(a imes b equiv 1 ( mod\,\,p))。
所以呢,我们其实可以将逆元看成一个数的相反数。所以在除以一个数的时候,就相当于乘上它的相反数。
如何求逆元
我们先来看看什么情况下有逆元。
当且仅当(gcd(b,p)=1)时,(b)在模(p)情况下有逆元。
这个结论可由裴蜀定理显然推得,下面一段来自百度百科,若读者对证明有兴趣,可以自行了解。
裴蜀定理(或贝祖定理,Bézout's identity)得名于法国数学家艾蒂安·裴蜀,说明了对任何整数(a)、(b)和它们的最大公约数(d),关于未知数(x)和(y)的线性不定方程(称为裴蜀等式):若(a),(b)是整数,且((a,b)=d),那么对于任意的整数(x),(y),(ax+by)都一定是(d)的倍数,特别地,一定存在整数(x),(y),使(ax+by=d)成立。
拓展欧几里得求逆元
下面介绍如何用拓展欧几里得求逆元。
我们求(b)在模(g)意义下的逆元,根据(a imes b equiv 1 ( mod\,\,p)),得到(a imes b + k imes p = 1)。
我们知道,(gcd(b,p)=gcd(p,b \% p)),所以(a' imes p+k' imes (b \% p)=1)同样有解。而由于(gcd(b,p)=1),辗转相除法时,总有(a'' imes 1 + k'' imes 0 = 1)。
此时我们不妨令(a''=1,k''=0)。
现在我们考虑怎么推回去。
与(a imes b + k imes p = 1)对照,得到(a=k',\,\,\,k=a'- left lfloor frac{b}{p}
ight
floor imes k')。那么这样,我们就得到了(a imes b + k imes p = 1)的一组解,同时,(a)就是(b)在模(p)下的逆元。
附C++程序
#include <bits/stdc++.h>
using namespace std;
void ExPower( int b, int p, int & a, int & k ) {
if( p == 0 ) {
a = 1; k = 0;
return;
}
ExPower( p, b % p, k, a );
k -= b / p * a;
return;
}
int main() {
int b, p;
cin >> b >> p;
int a, k;
ExPower( b, p, a, k );
if( a < 0 ) a += p;
cout << a << endl;
return 0;
}
费马小定理求逆元
我们知道,当(p)为素数,并且(gcd(a,p)=1)时,我们有(a^{p-1} equiv 1 (mod\,\,p))。那么我们就有(a^{p-2} imes a equiv 1(mod \,\, p))。所以逆元就是(a^{p-2})了。
阶乘逆元
如果我们需要求(0!)到(n!)的逆元,对于每个元素都求一遍,就显得有点慢。(虽然(exPower)的时间快到可以认为是小常数。)
前面我们说了,逆元就可一看做是求倒数。那么不就有(frac{1}{(n+1)!} imes (n+1)=frac{1}{n!})。
附C++程序:
int inv( int b, int p ) {
int a, k;
exPower( b, p, a, k );
if( a < 0 ) a += p;
return a;
}
void init( int n ) {
Fact[ 0 ] = 1;
for( int i = 1; i <= n; ++i ) Fact[ i ] = Fact[ i - 1 ] * i % Mod;
INV[ n ] = inv( Fact[ n ], Mod );
for( int i = n - 1; i >= 0; --i ) INV[ i ] = INV[ i + 1 ] * ( i + 1 ) % Mod;
return;
}
线性求逆元
按照上面的方法,如果我们要求(1)到(p-1)关于(p)的逆元,而(p)较大时,时间复杂度有点吃不消。而我们有一种更强的做法,可以在(O(p))的时间内解决。
对于当前的(i),我们设(p=k imes i+r)。于是:
所以代码就大致如下:
Inv[ 1 ] = 1;
for( int i = 2; i <= n; i++ )
Inv[ i ] = ( p - p / i ) * Inv[ p % i ] % p;