Water and Jug Problem

You are given two jugs with capacities x and y litres. There is an infinite amount of water supply available. You need to determine whether it is possible to measure exactly z litres using these two jugs.

If z liters of water is measurable, you must have z liters of water contained within one or both buckets by the end.

Operations allowed:

• Fill any of the jugs completely with water.
• Empty any of the jugs.
• Pour water from one jug into another till the other jug is completely full or the first jug itself is empty.

Example 1: (From the famous "Die Hard" example)

Input: x = 3, y = 5, z = 4
Output: True

Example 2:

Input: x = 2, y = 6, z = 5
Output: False

思路：

这个问题实质上是求解关于a和b的方程ax+by=z是否有整数解的问题。a和b为正数时表示给一个空壶倒满水，负数时表示把一个水壶倒空。容易得知当且仅当z是x与y的最小公约数的倍数时，该方程有整数解，所以本题的关键是判断z被x和y的最大公约数整除即可，关键的算法是辗转相除法。

目前尚存在争议的一个问题是在最后量取的步骤中水壶能否被多次使用（比如x=1, y=2, z=5的情况，是否可以用1+2+2=5来实现），该问题的讨论区里也在讨论中。目前的test cases好像是认定为最终只能用两个水壶在某一时刻里存有的总水量来衡量，所以z>x+y的情况都判定为false了。

我看了答案，觉得这题考的就是固定算法的固定解法。怎么求最大公约数的解法。

public class Solution {
    public boolean canMeasureWater(int x, int y, int z) {
        if(z<0 || z > x+y){
            return false;
        }
        if(z == 0 && gcd(x,y) == 0) return true;
        if(z % gcd(x,y) == 0) {
            return true;
        } else {
            return false;
        }
    }
    
    public int gcd(int x, int y){
        return y == 0 ? x : gcd(y, x%y);
    }
}