量水问题通解

现有两个水杯，容量分别为$m$ ml和 $n$ ml，想要量出 $t$ ml水，该如何称量?

该问题可直接形式化为
找到 $k_1$和 $k_2$($k_1,k_2\in {\mathbb{N}}_{+}$) 使得
$$m\cdot k_1-n\cdot k_2=t$$
显然对于一组特解
$$\{\begin{array}{rlr}{x}_0& =& k_1\\ y_0& =& k_2\end{array}$$
具体操作为不断的装满容量为 $m$ 的水杯，并将其倒入容量为 $n$的水杯，容量为$n$的水杯一旦装满，便将其全部倒掉，当装入到第 $k_1$杯 容量为$m$的水杯时，将其倒入容量为$n$的杯子直至装满，此时容量为 $m$的水杯恰好剩下 $t$ ml水。

此问题要有解，显然必须 $t$是$m,n$的最大公约数的倍数，即 $gcd(m,n)|t$，而方程$$m\cdot x+n\cdot y=gcd(m,n)$$
一定有解。
如果$gcd(n,x)=1$，根据欧拉定理有
$$x^{\phi (n)}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}(n)$$
所以有
$$x^{\phi (n)-1}\cdot x\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}(n)$$
因此$x$模$n$下的乘法逆元$x^{-1}$为
$$x^{-1}=x^{\phi (n)-1}\mathrm{m}\mathrm{o}\mathrm{d}(n)$$
求出逆元后，便可以直接求得$k_1,k_2$。

例子：现有两个水杯分别为5ml和4ml，如何量出3ml？

即求出$k_1,k_2$使得
$$5\cdot k_1-3\cdot k_2=4$$

因为$\phi (3)=2$，所以$5^{-1}\mathrm{m}\mathrm{o}\mathrm{d}(3)=5^{\phi (3)-1}\mathrm{m}\mathrm{o}\mathrm{d}(3)=2$，于是有
$$5\cdot 2-3\cdot 3=1$$
两边乘以$t=4$有
$$5\cdot (2\cdot 4)-3\cdot (3\cdot 4)=4$$
另外可以约掉公共部分 $5\cdot 3\cdot 2$
$$(5\cdot (2\cdot 4)-5\cdot 3\cdot 2)-(3\cdot (3\cdot 4)-5\cdot 3\cdot 2)=4$$
即
$$5\cdot (2\cdot 4-3\cdot 2)-3\cdot (3\cdot 4-5\cdot 2)=4$$
最后化简为
$$5\cdot 2-3\cdot 2=4$$
即每次装满5ml的水杯，并倒入3ml的水杯，3ml一旦装满，便倒掉，当装满第二杯5ml的水杯时，并将3ml装满时，5ml水杯便剩下4ml