pub fn linear_indeterminate_equation(
a: i64,
b: i64,
c: i64,
) -> Option<(i64, i64, i64, i64)>Expand description
一次不定方程式$ax + by = c (a, b \neq 0)$を解く。
方程式が解を持たないとき、Noneを返す。
解を持つとき、Some((x0, y0, s, t))を返す。
$
\begin{cases}
x &= x_0 + s \times k \\
y &= y_0 + t \times k
\end{cases}
(k \in \mathbb{Z})$は方程式の一般解である。
$x_0, y_0$は解のうち$x$が非負で最小のものである。