365. 水壶问题(详解)

题目链接如下:

365. 水壶问题 - 力扣(LeetCode)

有两个水壶,容量分别为 x 和 y 升。水的供应是无限的。确定是否有可能使用这两个壶准确得到 target 升。

你可以:

装满任意一个水壶

清空任意一个水壶

将水从一个水壶倒入另一个水壶,直到接水壶已满,或倒水壶已空。

示例 1:

输入: x = 3,y = 5,target = 4

输出: true

解释:

按照以下步骤操作,以达到总共 4 升水:

  1. 装满 5 升的水壶(0, 5)。

  2. 把 5 升的水壶倒进 3 升的水壶,留下 2 升(3, 2)。

  3. 倒空 3 升的水壶(0, 2)。

  4. 把 2 升水从 5 升的水壶转移到 3 升的水壶(2, 0)。

  5. 再次加满 5 升的水壶(2, 5)。

  6. 从 5 升的水壶向 3 升的水壶倒水直到 3 升的水壶倒满。5 升的水壶里留下了 4 升水(3, 4)。

  7. 倒空 3 升的水壶。现在,5 升的水壶里正好有 4 升水(0, 4)。

参考:来自著名的 "Die Hard"

示例 2:

输入: x = 2, y = 6, target = 5

输出: false

示例 3:

输入: x = 1, y = 2, target = 3

输出: true

解释:同时倒满两个水壶。现在两个水壶中水的总量等于 3。

提示:

1 <= x, y, target <= 10^3

cpp 复制代码
两个水壶, 容量分别是x,y => 能否通过下面的操作得到target升水

操作:
1. 装满任意一个水壶
2. 清空任意一个水壶
3. 将水从一个水壶倒入另一个水壶,直到接水壶已满,或倒水壶已空。

注:可以两个水壶同时处于满的状态

观察用例1:
输入: x = 3,y = 5,target = 4
输出: true

如果target>x+y, 直接 return false
对于用例1的具体操作如下:
(0,5) -> (3,2) -> (0,2) -> (2,0) -> (2,5) -> (3,4) -> (0,4)
过程中, 每次操作完一次之后,操作的结果是两个桶至少有一个桶是空的或者满的

//ax+by=m (a,b,m 都是整数)
//该方程有整数解的充要条件是:m是a,b最大公约数的倍数

因此, 只要target是x,y最大公约数的倍数, 操作就有效


我的疑问是方程怎么和上述操作产生关系的, 有啥突破点吗?或者突破点就是找规律吗
重复执行把x壶装满后倒到y中, 如果y满了就把y倒掉
若x=3, y=5, target=2
(3,0) => (0,3) => (3,3) => (1,5) => (1,0) => (0,1) => (3,1) => (0,4) => (3,4) => (2,5) -> (2,0)
记录B壶在每轮开始时刻的水量:0 3 1 4 2 0....
在这个循环里, y中的水量会依次变成:
(0, 3, 6≡1, 9≡4, 12≡2 mod 5)
0,  x mod y,  2x mod y,  3x mod y, ... => n*x mod y
也就等价于集合 {0, gcd(x, y), 2gcd(x, y), ...}
gcd(3,5)=1,2 3 4 
这些恰好是模5下所有1的倍数 - 也就是所有余数0到4
所以每轮B的可达水量就是gcd(x,y)的倍数

因此, 任何时刻两壶中任意一壶或总水量,都是 gcd(x,y) 的倍数;同时总水量当然不会超过 x+y。因此出现 target > x+y 必不可能;target 不是 gcd(x,y) 的倍数也必不可能。
代码实现上只需要判断target是否是gcd(x,y)的倍数即可

代码:
class Solution {
public:
    bool canMeasureWater(int x, int y, int target) {
        if(x+y<target){
            return false;
        }
        return target%gcd(x,y)==0;
    }
};

JAVA:

java 复制代码
class Solution {
    private int gcd(int x,int y){
        if(y==0) return x;
        return gcd(y,x%y);
    }
    public boolean canMeasureWater(int x, int y, int target) {
        if(x+y<target){
            return false;
        }
        return target%gcd(x,y)==0;
    }
}

JS:

javascript 复制代码
/**
 * @param {number} x
 * @param {number} y
 * @param {number} target
 * @return {boolean}
 */
var canMeasureWater = function(x, y, target) {
    if(x+y<target){
        return false;
    }
    return target%gcd(x,y)==0;
};
const gcd=(x,y)=>y==0?x:gcd(y,x%y);

欢迎指出证明中的问题

感谢大家的点赞和关注,你们的支持是我创作的动力!

相关推荐
午彦琳6 小时前
力扣404 代码随想录Day15 第三题
算法·leetcode·职场和发展
Dream it possible!6 小时前
LeetCode 面试经典 150_滑动窗口_串联所有单词的子串(32_30_C++_困难)(滑动窗口:控制起点和滑动距离)
c++·leetcode·面试·滑动窗口
一只喵喵豚6 小时前
【Spark Core】(二)RDD编程入门
javascript·spark·npm
轴测君6 小时前
4 用pytorch实现线性回归
人工智能·pytorch·线性回归
Q741_1477 小时前
C++ 面试高频考点 力扣 35. 搜索插入位置 二分查找 左右端点查找 题解 每日一题
c++·算法·leetcode·面试·二分查找
萌萌哒草头将军7 小时前
VoidZero 公司 8 月动态回顾 🚀🚀🚀
javascript·vue.js·vite
趙卋傑7 小时前
Spring原理
java·后端·spring
v_cxsj8137 小时前
基于大数据的京东手机销售数据 可视化分析设计与开发03446原创的定制程序,java、PHP、python、C#小程序、文案全套、毕设程序定制、成品等
java·大数据·智能手机