【Leetcode】365. Water and Jug Problem（配数学证明）

题目地址：

https://leetcode.com/problems/water-and-jug-problem/

给两个容积为$x$和$y$的水瓶，允许以下操作：
1、将一个瓶灌满水；
2、将一个瓶清空；
3、从一个瓶向另一个瓶灌水，直到第一个瓶空或者第二个瓶满为止。
问是否存在凑出$z$水量的方案。凑出的意思是，要么其中某个瓶里有$z$的水量，要么两个瓶子水量之和是$z$（这两句话其实都可以归结为后一句话，因为如果有一个瓶凑出了$z$，那就将另一个瓶子清空就好了）。

首先如果$x+y<z$，那显然不可能。在$z\le x+y$的情况下做考虑。可以用数学归纳法来证明，任意时刻的各自的水量一定是$mx+ny$这种类型的整数（因此总水量也是）。所以最后凑出$z$的一个必要条件就是存在$m$和$n$使得$$mx+ny=z$$由Bezout定理知道，这等价于$\gcd (x,y)|z$（当然上面的$x+y\ge z$的必要条件也不能少）。

接下来证明充分性，即如果存在$m$和$n$使得$mx+ny=z$，并且$x+y\ge z$，那么一定能把$z$水量凑出来。可以用数学归纳法。显然如果$mn\ge 0$结论成立。不妨设$m>0$而$n<0$，令$n^{\prime }=-n$。假设对所有$m+n^{\prime }\le k$都成立，我们证明对$m+n^{\prime }=k+1$的情形也成立。那么这个情形要么是多加一次$x$，要么是多减一次$y$。如果$(m+1)x+ny\le x+y$，则有$mx+ny\le y$，所以当凑出$mx+ny$的时候，就将其全倒入$y$中，再将$x$灌满即可凑出$(m+1)x+ny$。如果是$mx+(n-1)y\ge 0$，那么有$mx+ny\ge y$，所以当凑出$mx+ny$的时候，就将其全倒入$y$中直到$y$满，再将$y$倒出去即可凑出$mx+(n-1)y$。而$m=n=0$的情形显然可以凑出，由数学归纳法，所有形如$mx+ny$且小于等于$x+y$的$z$都能被凑出来。结论成立。

至于求最大公约数，可以用辗转相除法。不妨设$x\ge y$，做带余除法$x=q_{1}y+r_1$，再做带余除法$y=q_2{r}_1+r_2$，这样一直做下去，由于$r_1>r_2>...$，所以一定会递降到$0$，递降到$0$的时候的那个$q_i$就是最大公约数。代码如下：

public class Solution {
    public boolean canMeasureWater(int x, int y, int z) {
    	// 特判
        if (x + y < z) {
            return false;
        }
        
        // 把y换成较小数，x换成较大数
        if (y > x) {
            int tmp = x;
            x = y;
            y = tmp;
        }
        
        // 辗转相除法求最大公约数
        while (y != 0) {
            int tmp = y;
            y = x % y;
            x = tmp;
        }
        
        return z % x == 0;
    }
}

时间复杂度 O ( log ⁡ min ⁡ { x , y } ) O(\log \min\{x,y\}) O(logmin{x,y})，空间$O(1)$。

时间复杂度的证明可以这样想，我们考虑每次相除的的被除数，这个数最多经过两次相除就要减半。原因是，考虑$x/y$，并且$x>y$，如果$y<\frac{n}{2}$，那么显然经过一次相除$x$就要被赋值为$y$，从而减半；如果$y\ge \frac{n}{2}$，那么显然经过两次相除$x$就要被赋值为余数，而余数是小于$y$的，从而也会减半。所以时间复杂度就等于问$x$和$y$的较大数能减半多少次。其实不用问较大数，因为只要经过一次相除，较大数就变为较小数了，所以可以写成时间复杂度是 O ( log ⁡ min ⁡ { x , y } ) O(\log \min\{x,y\}) O(logmin{x,y})。