扩展欧几里得算法

给定n对正整数ai,bi，对于每对数，求出一组xi,yi，使其满足ai∗xi+bi∗yi=gcd(ai,bi)。

输入格式
第一行包含整数n。

接下来n行，每行包含两个整数ai,bi。

输出格式
输出共n行，对于每组ai,bi，求出一组满足条件的xi,yi，每组结果占一行。

本题答案不唯一，输出任意满足条件的xi,yi均可。

数据范围
1≤n≤105,
1≤ai,bi≤2∗109
输入样例：
2
4 6
8 18
输出样例：
-1 1
-2 1

由欧几里得算法知:gcd(a,b)=gcd(b,a%b)
由裴蜀定理知,有任意正整数a与b,存在x和y,使得ax+by=gcd(a,b)
exgcd(a,b,x,y)=xa+yb=gcd(a,b)
exgcd(b,a%b,y,x)=by+(a-[a/b]b)x=xa+(y-[a/b]x)b
执行exgcd(b,a%b,y,x)后会回调到exgcd(a,b,x,y)
∴x=x,y=(y-[a/b]*x) -> y-=a/b * x

#include <iostream>
#include <algorithm>

using namespace std;

int exgcd(int a, int b, int &x, int &y)
{
    if (!b)
    {
        x = 1, y = 0;
        return a;
    }
    else{
    exgcd(b, a % b, y, x);
    x=x;
    y-=a/b*x;
  }
}

int main()
{
    int n;
    scanf("%d", &n);

    while (n -- )
    {
        int a, b;
        scanf("%d%d", &a, &b);
        int x, y;
        exgcd(a, b, x, y);
        printf("%d %d\n", x, y);
    }

    return 0;
}