首页 > 代码库 > 数论学习之乘法逆元

数论学习之乘法逆元

用法:用于除法取模

思路:扩欧

要求:b、p互质

设k为b的乘法逆元:

则在求解除法取模问题时:

有(a/b)%p =>(a*k)%p

当b很大时,用除法会出现精度问题。。so

 

乘法逆元:

如果b*k ≡ 1 (mod p)

则称k是b关于p的乘法逆元

 

我们可以通过求 b 关于 p 的乘法逆元 k,将 a 乘上 k 再模 p,即 (a * k) mod p。其结果与(a / b) mod p等价。

证: 
因为 b * k ≡ 1 (mod p) 
则有 b * k = p* x+1 
得到 k = (p * x + 1) / b 
将 k 代入(a * k) mod p 
得到: 
(a * (p * x + 1) / b) mod p 
=((a * p * x) / b + a / b) mod p 
=[((a * p * x) / b) mod p +(a / b)] mod p 
=[(p * (a * x) / b) mod p +(a / b)] mod p 
=(0 + (a / b)) mod p 
= (a/b) mod p

 

用欧几里得扩展求逆元要求 gcd(b, p) == 1

求乘法逆元可以用到欧几里得扩展:

void Euild(ll a, ll b, ll &x, ll &y)  // x 是 a 关于 b 的乘法逆元

{

    if(0 == b){

        x = 1, y = 0;

        return ;

    }

    Euild(b, a%b, x, y);

    ll flag = x;

    x = y;

    y = flag - a/b * y;

}

数论学习之乘法逆元