[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. 可能有帮助的前置习题
5. 所用到的数据结构与算法思想
- 欧几里得算法
- 扩展欧几里得算法
6. 总结
扩展欧几里得算法模板题,理解公式并背下代码。