扩展欧几里得求逆元

[牛客网]A Number Theoretical Problem

题目链接:https://ac.nowcoder.com/acm/problem/207599

这貌似是一道求逆元的模板题,但是。。。

逆元是什么啊!!!扩展欧几里得是什么啊!!!

于是我今天花了一下去看别人的博客,一脸懵逼的进去,一脸懵逼的出来。

其实有很多地方我都搞不明白,但也管不了那么多啦,把我搞明白的讲出来就可以了

首先我们都知道欧几里得算法(也叫辗转相除法)能求出两个数a,b的最大公约数,即gcd(a,b)=gcd(b,a%b)。

复杂度是o(ln n)

代码实现如下:

#include <iostream>
using namespace std;
int gcd(int a,int b);
int main(){
	int a,b;	
	scanf("%d %d",&a,&b);
	printf("%d %d\n",a,b);
	printf("gcd=%d\n",gcd(a,b));
} 
int gcd(int a,int b){
	if(b==0) return a;
	int ans=gcd(b,a%b);
	return ans;
}

再次基础上的扩展欧几里能快速求ax+by=gcd(a,b)一个二元一次方程的一个特解

当欧几里得算法递归到最后一层,即b==0时,那么gcd=a,这就很容易得到一个特解 x=1,y=0,即a*x+b*y=a*1+b*0=a=gcd

得到特解x=1,y=0,在通过递归的返回,再来一层一层推出原本 ax+by=gck,的一组特解

关于如何推出上一层的特解在这里我们把上一层的解x,y。当前层已知的解为x1,y1

在这里的一个结论是 a%b=a-(a/b)*  (这里的 “/” 指的是整除,例如 5/2=2 , 1/3=0

由于上一层的gcd(a,b)等于当前层的gcd(b,a%b)

即gcd(b,a%b)=b*x1+(a%b)*y1

         =b*x1+(a-(a/b)*b)*y1

         =b*x1+  a*y1-(a/b)*b*y1

        =a*(y1)+b*(x1-(a/b)*y1)

又因为gcd(a,b)=a*x+b*y,即这两式子相等,通过比较得   x=y1,y=x1-(a/b)*y1。

int gcd(int a,int b,int &x,int &y){
	if(b==0){
		x=1,y=0;  \\  一组特解
		return a;
	}
	int ans=gcd(b,a%b,x,y);
	int t=x;        \\由最后一层的一组特解向上推
	x=y;    
	y=t-(a/b)*y;
	return ans;
}

如果只能扩展欧几里快速求ax+by=gcd(a,b)一个二元一次方程的一个特解,可能会说:“ 就这???”

这里我们就要知道扩展欧几里快速乘法逆元

然后就是逆元的定义

什么叫乘法逆元? 

a*x≡1(mod n)  (≡为同余符号,即(a*x)mod n==1 mod n)

这里,我们称 x 是 a 关于 n 的乘法逆元

判断逆元是否存在为gcd(a,n)是否等于1,等于即存在,否则不存在。

我们可以把他写成一个表达式为:a*x+b*y=1(这里设b=n)

于是求逆元就要求这个二元一次方程组,则通过上面所说的扩展欧几里得

但是有无数解,但一般会让你求最小解x0,其实x0mod n就是最小解(这我真搞不明白)

考虑到x0可能是为负数,那我们先对其取模,x0mod n ,但x0还是负数,我们再加上其n,最后再取模。即 x0=(x0%n+n)%n

于是对于牛客上那道求逆元的模板题我们就迎刃而解了

代码如下:

#include <iostream>
typedef long long LL;
using namespace std;
LL exgcd(LL a,LL b,LL &x,LL &y);
int t;
LL y,p;
int main(){
	scanf("%d",&t);
	while(t--){
		scanf("%lld %lld",&y,&p);
		LL x=0,k=0;
		LL ok=exgcd(y,p,x,k);
		if(ok==1) printf("%lld\n",(x%p+p)%p);
		else printf("-1\n");
	}
} 
LL exgcd(LL a,LL b,LL &x,LL &y){
	if(b==0){
		x=1,y=0;
		return a;
	}
	int ans=exgcd(b,a%b,x,y);
	LL t=x;
	x=y;
	y=t-(a/b)*y;
	return ans;
}
原文地址:https://www.cnblogs.com/kksk/p/13069795.html