AcWing.877.欧几里得算法
给定
n
n
n 对正整数
a
a
ai,
b
b
bi,对于每对数,求出一组
x
x
xi,
y
y
yi,使其满足
a
a
ai
×
x
×x
×xi
+
b
+b
+bi
×
y
×y
×yi
=
g
c
d
(
a
=gcd(a
=gcd(ai
,
b
,b
,bi
)
)
)。
输入格式
第一行包含整数
n
n
n。
接下来 n n n 行,每行包含两个整数 a a ai, b b bi。
输出格式
输出共
n
n
n 行,对于每组
a
a
ai,
b
b
bi,求出一组满足条件的
x
x
xi,
y
y
yi,每组结果占一行。
本题答案不唯一,输出任意满足条件的 x x xi, y y yi 均可。
数据范围
1
≤
n
≤
105
,
1
≤
a
1≤n≤105,1≤a
1≤n≤105,1≤ai,
b
b
bi
≤
2
×
109
≤2×109
≤2×109
输入样例:
4 6
8 18
输出样例:
-2 1
#include<iostream>
using namespace std;
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; cin >> n;
while (n--) {
int a, b, x, y; cin >> a >> b;
exgcd(a, b, x, y);
cout << x << ' ' << y << endl;
}
return 0;
}
应用:
AcWing.878.线性同余方程
给定
n
n
n 组数据
a
a
ai,
b
b
bi,
m
m
mi,对于每组数求出一个
x
x
xi,使其满足
a
a
ai
×
x
×x
×xi
≡
b
≡b
≡bi
(
m
o
d
m
i
)
(modmi)
(modmi),如果无解则输出
i
m
p
o
s
s
i
b
l
e
impossible
impossible。
输入格式
第一行包含整数
n
n
n。
接下来 n n n 行,每行包含一组数据 a a ai, b b bi, m m mi。
输出格式
输出共
n
n
n 行,每组数据输出一个整数表示一个满足条件的
x
x
xi,如果无解则输出
i
m
p
o
s
s
i
b
l
e
impossible
impossible。
每组数据结果占一行,结果可能不唯一,输出任意一个满足条件的结果均可。
输出答案必须在 i n t int int 范围之内。
数据范围
1
≤
n
≤
105
,
1
≤
a
1≤n≤105,1≤a
1≤n≤105,1≤ai,
b
b
bi
,
m
,m
,mi
≤
2
×
10
≤2×10
≤2×109
输入样例:
2 3 6
4 3 5
输出样例:
-3
如果 a x ≡ b ( m o d m ) ax ≡ b (mod m) ax≡b(modm),那么就有 a x = m y + b ax = my + b ax=my+b,则存在 a x + m y = b ax + my = b ax+my=b,则我们需要存在这样的 x x x和 m m m,则只要 b b b能够整除 a a a和 m m m的最大公约数,就有解
#include<iostream>
using namespace std;
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; cin >> n;
while (n--) {
int a, b, m;
cin >> a >> b >> m;
int x, y;
int d = exgcd(a, m, x, y);
if (b % d) cout << "impossible" << endl;
else printf("%d\n",(long long)x*(b/d)%m);
}
return 0;
}
即如果可以推得需要求出一组 x x xi, y y yi,使其满足 a a ai × x ×x ×xi + b +b +bi × y ×y ×yi = g c d ( a =gcd(a =gcd(ai , b ,b ,bi ) ) )的时候,我们就可以使用扩展欧几里得算法。