[Luogu3951] [NOIP2017] 小凯的疑惑 [ExGCD / 同余类]

[$\mathfrak{L}\mathfrak{i}\mathfrak{n}\mathfrak{k}$]

---

两种证明
1.考虑exgcd，考虑通解，在取值范围限制内取最大值
2.因为互质，利用同余类，$xb$ 中 $x=0,1,\cdots ,a-1$ 那么 $xb(\mathrm{m}\mathrm{o}\mathrm{d}a)$ 各不相同，并且它们分别是所在同余类中最小的非负整数。所以最大一个不能被表示出来的就是 $(a-1)b-a$

---

记录一下而已，具体的参考这里
代码就不再写一次了。。（