逆元相关知识

本文详细介绍了乘法逆元的概念及其应用,包括费马小定理求逆元的方法、使用扩展欧几里德算法求逆元的过程及线性求逆元的技巧。此外还提供了具体的代码实现。

逆元相关知识

乘法逆元(mod 在C++里是%)

定义:
满足a*k≡1 (mod p)的k值就是a关于p的乘法逆元。

为什么要有乘法逆元呢?
当我们要求ab%p\frac{a}{b}\%pba%p的值,且aaabbb都很大,无法直接求得ab\frac{a}{b}ba的值,必须在之前mod时(因为ab%p\frac{a}{b}\%pba%p不等于a%pb%p\frac{a\%p}{b\%p}b%pa%p),我们就要用到乘法逆元。

我们可以通过求bbb关于ppp的乘法逆元kkk,将aaa乘上kkk再模ppp,即a∗k%pa*k\%pak%p。其结果与ab%p\frac{a}{b}\%pba%p等价。
也就是k=b−1(modp)k=b^{-1} (mod p)k=b1(modp)

证:(其实很简单。。。)

  • 根据bk≡1 (mod p)有bk=p*x+1。
  • k=(p*x+1)/b。
  • 把k代入(a*k)%p,得:
  • (a*(p*x+1)/b)%p
  • =((apx)/b+a/b)%p
  • =[((apx)/b)%p +(a/b)]%p
  • =[(p*(a*x)/b)%p +(a/b)]%p
  • //p*[(a*x)/b]%p=0
  • 所以原式等于:(a/b)%p

根据欧几里德算法

代码如下:

void Exgcd(int a,int b,int &x,int &y){if(!b) x=1,y=0;else Exgcd(b,a%b,y,x),y-=a/b*x;}
int main(){
    cin>>a>>b>>p;//(a/b)%p
	Exgcd(b,p,x,y);
	int ni=(x+p)%p;//防止出现负数
	printf("%d就是逆元\n",ni);
	return 0;
}

费马小定理求逆元

ap−1=1(modp)a^{p-1}=1(mod p)ap1=1(modp) (ppp是素数)

那么a/ba/ba/b关于ppp的逆元就是bp−2b^{p-2}bp2(因为bp−2=1bb^{p-2}=\frac{1}{b}bp2=b1)

快速幂求一下就可以了,但是如果p不是素数,只能用exgcd求逆元(或没有逆元)。


线性求逆元

求i的逆元。

可得p%i+(p/i)*i=p

  • 令a=p%i,b=p/i;
  • a+b*i=p
  • a+b*i≡0(mod p)
  • b*i≡-a(mod p)
  • i^-1=-b/a

所以i的逆元:-(p/i)*(p%i)^-1

这样就可以O(n)求出所有逆元了

代码如下:

(因为1^(-1)=1,所以初始化inv[1]=1)
for(inv[1]=1,i=2;i<=n;i++) inv[i]=(p-p/i)*inv[p%i]%p;
所以最后O(1)出答案。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值