贝祖定理

对任何整数$a$、$b$和$m$，关于未知数$x$和$y$的线性丢番图方程
$$ax+by=m$$
有整数解时当且仅当$m$是$a$及$b$的最大公约数$d$的倍数。
$$m\%gcd(x,y)=0$$
特别来说，方程 $ax+by=1$有整数解当且仅当整数$a$和$b$互素。

应用

365. 水壶问题
有两个容量分别为 x升 和 y升 的水壶以及无限多的水。请判断能否通过使用这两个水壶，从而可以得到恰好 z升 的水？

如果可以，最后请用以上水壶中的一或两个来盛放取得的 z升 水。

你允许：

装满任意一个水壶
清空任意一个水壶
从一个水壶向另外一个水壶倒水，直到装满或者倒空
示例 1: (From the famous “Die Hard” example)

输入: x = 3, y = 5, z = 4
输出: True
示例 2:

输入: x = 2, y = 6, z = 5
输出: False

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