第3天（扩展欧几里德算法【c++ 与python实现】）

问题介绍：

若a和b为正整数，则存在整数x,y使得gcd(a,b)=ax+by，求出其中一个满足条件的x,y值。

思路：

 

代码（c++） ：

#include<iostream>
using namespace std;
int exgcd(int a, int b, int &x, int &y) {  //注意这里是对x,y的引用，相当于可以在函数作用域里修改x,y的值，非常方便（故，不用赋初值的）。这一点我不得不吐槽一下python，要是他也有引用就好了，不过即便如此，我还是更是喜欢python一些）
    //递归出口自然是要首当其冲
    if (b == 0)
    {
        x = 1;
        y = 0;
        return a;//这里是为了求最大公约数，同时也是为了凑一个返回值，不需要求的时候也可以返回0；
    }
    int gcd = exgcd(b, a % b, x, y);
    int temp = y;
    y = x - (a / b) * y;
    x = temp;
    return gcd;
}

int main() {
    int a, b;
    int x, y;
    int gcd;
    scanf_s("%d%d", &a, &b);  //visual studio 不让使用scanf,得加上 _s,算法竞赛中还是用scanf比较好，因为它比cin快！
    gcd = exgcd(a, b, x, y);
    cout << x << " " << y << " "<<gcd << endl;
    return 0;
}

代码（python） ：

//虽然python里没有引用，但是我可以不用定义x,y形参，直接当成返回值，这种方法确实巧妙，我当时还为此愁眉苦恼，不知道为啥，全局变量不可以做这道题！
def ex_gcd(a, b):
    if b == 0:
        return 1, 0, a  # 递归中止条件
    else:
        x, y, gcd = ex_gcd(b, a % b)  
        x, y = y, (x - (a // b) * y)
        return x, y, gcd


a, b = map(int, input().split())
print(ex_gcd(a,b))