[AcWing]878. 线性同余方程（C++实现）扩展欧几里得算法求解线性同余方程

1. 题目

2. 读题（需要重点注意的东西）

思路：

裴蜀定理
对于任意正整数a,b;一定存在非零整数x,y，使得：
ax + by = gcd(a,b)
其中gcd(a,b)指a和b的最大公约数

欧几里得算法
a 和 b 的最大公约数 = b 和 a mod b的最大公约数

扩展欧几里得算法的作用
找出满足裴蜀定理的一组 x 和 y

本题的主要思路

3. 解法

---------------------------------------------------解法---------------------------------------------------

#include <iostream>
#include <algorithm>

using namespace std;

typedef long long LL;


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


int main()
{
    int n;
    scanf("%d", &n);
    while (n -- )
    {
        int a, b, m;
        scanf("%d%d%d", &a, &b, &m);

        int x, y;
        int d = exgcd(a, m, x, y);
        if (b % d) puts("impossible");
        else printf("%d\n", (LL)b / d * x % m);
    }

    return 0;
}

---

可能存在的问题
为什么x不变，y变为y - a / b * x ?

4. 可能有帮助的前置习题

• [AcWing]872. 最大公约数 （C++实现）最大公约数模板题（欧几里得算法）

5. 所用到的数据结构与算法思想

• 欧几里得算法
• 扩展欧几里得算法

6. 总结

扩展欧几里得算法模板题，理解公式并背下代码。