码迷,mamicode.com
首页 > 其他好文 > 详细

扩展欧几里得

时间:2018-02-02 00:46:30      阅读:184      评论:0      收藏:0      [点我收藏+]

标签:数学   long   一个   扩展   需要   等价   4行   man   推导   

1、GCD

   辗转相除法:

  

1 int gcd(int a,int b){
2     if(b==0){
3         return a;
4     }else{
5         return gcd(b,a%b);
6     }
7 }

2、扩展欧几里得算法

  由贝祖等式可知ax+by=gcd(a,b) 。(由此可推一般式: ax+by=d)

  如果要解x , y 。由数学推导可知:

  1、当b=0 时可知x=1,y=0。

  2、当b!=0时,a*x1+b*y1=gcd(a,b),  b*x2+(a%b)*y2=gcd(b,a%b)。易知gcd(a,b)==gcd(b,a%b)。故a*x1+b*y1== b*x2+(a%b)*y2。同样 a%b 可化为 a-(a/b)*b 。故带入后,由恒等可知 x1=y2  ; y1= x2-(a/b)*y2 。

所以扩展欧几里得算法代码可以写为

 

 1 long long extgcd(long long a, long long b, long long &x, long long &y)
 2 {
 3     long long gcd, t;
 4     if (b == 0) {
 5          x = 1;
 6          y = 0;
 7          return a;
 8     }
 9     gcd = extgcd(b, a % b, x, y);
10     t = x - a/b*y; 
11     x = y; 
12     y = t;
13     return gcd;
14 }        

 

 

扩展欧几里得算法的题目有时候会由于欧几里得算法解的无穷性而变得难以嵌入。(本次是以poj1061(青蛙的约会)为样例讨论  )

ax + by = c其实就等价于ax ≡ c (mod b),当存在一个特解x*使得ax*+by*=c。那么x*加上若干倍b还是这个方程的解,即x=x*+k*b仍为方程的解。

因而方程在[0, b-1]上一定有整数解(假如小于0,你加上若干倍b啊,就可以让它保持在0~b-1中;如果大于b-1,你减去若干倍b啊,它也保持0~b-1)。

那么怎样求最小的非负整数x呢?

1、若gcd(a, b) == 1,则方程ax ≡ c (mod b)在[0, b-1]上有唯一解。

证明如下:设有两个方程 a*x1+b*y1=c   ,   a*x2+b*y2=c 。两式相减得  a*(x1-x2)=b*(y2-y1) 。因为 gcd(a,b) ==1 。故x1,x2 在 [0, b-1] 区间内当且仅当 x1== x2 。原命题得证。

2、若gcd(a, b) ==d,则方程ax ≡ c (mod b)在[0, b/d - 1]上有唯一解。

 

证明:ax + by = c,如果有解,两边同除以d,就有a/d * x + b/d * y = c/d,即a/d * x ≡ c/d (mod b/d),显然gcd(a/d, b/d) = 1,所以由定理二知道x在[0, b/d - 1]上有唯一解。

故可知poj1061题 在判断c%gcd ==0 后我们需要讨论:x 是否为正整数的最小解!

由上述两个结论我们可以知道只需要将所解的 x 拖回 [0,b/gcd-1] 当中就可以求得最小正整数值。即下面代码中的第40~44行。

(思路来源:https://www.cnblogs.com/comeon4mydream/archive/2011/07/18/2109060.html)

 

 1 #include <iostream>
 2 #include <iomanip>
 3 #include <stdio.h>
 4 #include <stdlib.h>
 5 #include <algorithm>
 6 #define ll long long int
 7 using namespace std;
 8 long long exgcd(ll a,ll b,ll &x,ll &y)
 9 {
10     if(b==0)
11     {
12         x=1;
13         y=0;
14         return a;
15     }
16     ll r=exgcd(b,a%b,y,x);
17     y-=x*(a/b);
18     return r;
19 }
20 int main()
21 {
22     ll x,y,m,n,L;
23     ll a,b,c,gcd;
24     while(scanf("%lld%lld%lld%lld%lld",&x,&y,&m,&n,&L)!=EOF)
25     {
26         a=m-n;
27         b=L;
28         c=y-x;
29         if(a<0)
30         {
31             a=-a;
32             c=-c;
33         }
34         gcd=exgcd(a,b,x,y);
35         if(c%gcd!=0)
36             printf("Impossible");
37         else
38         {
39             x=x*c/gcd;
40             int t=b/gcd;
41             if(x>=0)
42                 x=x%t;
43             else
44                 x=x%t+t;
45             printf("%lld\n",x);
46         }
47     }
48     return 0;
49 }

 

扩展欧几里得

标签:数学   long   一个   扩展   需要   等价   4行   man   推导   

原文地址:https://www.cnblogs.com/ISGuXing/p/8379483.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!