【NOIP 2012 Day2 T1】同余方程（扩展欧几里得）

题目描述 Description
求关于 x 同余方程 ax ≡ 1 (mod b)的最小正整数解。

输入描述 Input Description
输入只有一行，包含两个正整数 a, b，用 一个 空格隔开。

输出描述 Output Description
输出只有一行包含一个正整数x0，即最小正整数解，输入数据保证一定有解。

样例输入 Sample Input
3 10

样例输出 Sample Output
7

数据范围及提示 Data Size & Hint
【数据范围】
对于 40% 的数据， 2 ≤b≤ 1,000 ；
对于 60% 的数据， 2 ≤b≤ 50,000,000
对于 100% 的数据， 2 ≤a, b≤ 2,000,000,000

题解：对于求ax ≡ 1 (mod b)的最小整数解，等同于求ax+by=1的最小整数解。这个方程我们可以用扩展欧几里得求解。

代码如下：

#include<cstdio>
#include<cstring>
#include<iostream>
using namespace std;
int a,b,x,y;
void exgcd(int a,int b,int &x,int &y)//扩展欧几里得算法
{
    if(b==0)
    {
        x=1,y=0;
        return ;
    }
    exgcd(b,a%b,x,y);
    int t=x;
    x=y,y=t-a/b*y;
}
int main()
{
    scanf("%d%d",&a,&b);
    exgcd(a,b,x,y);
    x=(x%b+b)%b;
    printf("%d\n",x);
    return 0;
}