前言
此博客是求满足 a x + b y = c ax+by=c ax+by=c 的 x x x 的最小整数解。为什么是最通俗的呢?因为我做这个的时候看网上的题解都看不懂。。。
正文
不妨设存在两个方程使得
a
x
1
+
b
y
1
=
c
ax_1 + by_1 = c
ax1+by1=c,
a
(
x
1
−
n
)
+
b
y
2
=
c
a(x_1-n)+by_2=c
a(x1−n)+by2=c。
则
y
1
=
(
c
−
a
x
1
)
/
b
y_1 = (c - ax_1)/b
y1=(c−ax1)/b,
y
2
=
(
c
−
a
x
1
+
a
n
)
/
b
y_2 = (c - ax_1 + an)/b
y2=(c−ax1+an)/b。
因为
y
1
,
y
2
∈
Z
y_1,y_2\in Z
y1,y2∈Z,所以
b
∣
a
n
b|an
b∣an,所以
b
/
g
c
d
(
a
,
b
)
∣
n
b / gcd(a, b)|n
b/gcd(a,b)∣n。
令
t
=
b
/
g
c
d
(
a
,
b
)
t=b/gcd(a,b)
t=b/gcd(a,b)
若
x
1
>
0
x_1>0
x1>0,易知将
x
1
%
t
x_1 \% t
x1%t 就是最优解了。
若
x
1
<
0
x_1<0
x1<0,则将
(
x
1
%
t
+
t
)
%
t
(x_1 \% t + t) \% t
(x1%t+t)%t,可得最优解。
结语
我认为我已经写的很通俗了,如果你还不懂,不妨自己推一推,毕竟每个人的思维都不同。