มีถังสองใบ ความจุ x และ y ลิตร น้ำไม่จำกัด ต้องการทราบว่า วัดน้ำได้ z ลิตรพอดีหรือไม่ (น้ำอาจอยู่ในถังใดถังหนึ่งหรือทั้งสอง) 操作ที่อนุญาต: เติมน้ำเต็มถัง, เทน้ำทิ้ง, เทน้ำระหว่างถังจนเต็มหรือว่าง ตัวอย่าง: x=3, y=5, z=4 → true ขั้นตอนการแก้ปัญหา (Bézouts Identity / GCD) ถ้า x + y < z → false (น้ำรวม