题解 洛谷P5656 【【模板】二元一次不定方程(exgcd)】

题目传送门

当$\gcd (a,b)\nmid c$时，显然等式不可能成立，输出-1。

否则，可以将$a,b,c$都除以$\gcd (a,b)$，只要这个等式成立，原等式一定成立，这样也就使得$\gcd (a,b)=1$了。

然后用$\mathrm{exgcd}$求出使得$a\times x+b\times y=1$成立的$x$和$y$，再将$x$和$y$都乘$c$，这样就满足$a\times x+b\times y=c$了。$\mathrm{exgcd}$怎么用看这里。

然后考虑是否有正整数解。显然当$x$越小时$y$越大，那就让$x$取最小正整数，如果这时$y>0$，则有正整数解，否则没有。

那$x$如何取最小正整数呢？我们已知一组整数解了，设为$x_1$和 y 1