... [x,y]&y<3 → [x,3] - Làm rỗng bình lớn: [x,y]&x>0 → [0,y] - Làm rỗng bình nhỏ: [x,y]&y>0 → [x,0] - Làm đầy bình lớn từ bình nhỏ: [x,y]&y>4-x → [4,x+y-4] - Làm đầy bình nhỏ ... [x,y]&x>3-y → [x+y-3,3] - Rót hết nước từ bình nhỏ sang bình lớn: [x,y]&y>0&y ≤ 4 - x→ [0,x+y] - Rót hết nước từ bình lớn sang bình nhỏ: [x,y]&y>0&y ≤ 3 - y→ [0,x+y] ... Đối với các bài toán chơi cờ, số không gian trạng thái được tạo ra từ một nước đi là rất lớn, vì vậy, ta không thể lưu toàn bộ không gian này vào bộ nhớ. Trong các chương trình chơi cờ, người...