Vì sao đuổi lặp thường khó chứng minh hơn chiếu lặp?
Các câu trả lời này trình bày lại những luật mà engine mã nguồn mở của chúng tôi cài đặt. Engine tuân theo luật đi quân, chiếu bí và cả hai phán quyết thế lặp của Liên đoàn Cờ tướng Thế giới (WXF): bên dùng chiếu lặp hay đuổi lặp để buộc thế lặp thì xử thua, không xử hoà. Phần đuổi lặp chưa được đối chiếu với tuyển tập thế cờ chính thức. Khi một câu trả lời nhắc tới thế cờ cụ thể, thế cờ đó nằm trên trang tham khảo được liên kết và được kiểm chứng trước khi xuất bản.
Trả lời trực tiếp
Vì chiếu là một sự thật, còn đuổi là nhiều phép thử. Một nước có tấn công Tướng hay không là rõ ràng: hoặc nó chiếu, hoặc không. Còn một quân có bị đuổi hay không phụ thuộc vào nhiều câu hỏi về bàn cờ: cùng một quân có bị doạ ở mọi nước không, nó có được bảo vệ không, ăn nó có còn lợi không, và quân doạ có phải Tướng hay Tốt, hai quân không bao giờ bị tính. Câu nào cũng có thể sát nút.
Điều gì khiến chiếu dễ phân xử
Một yêu cầu về chiếu lặp chỉ cần các nước trong chuỗi lặp: có phải một bên đã chiếu ở mọi nước của mình không? Mục đích của các nước đó không quan trọng, chỉ có sự thật trần trụi là mỗi nước đều tấn công Tướng.
Điều gì khiến đuổi thực sự khó hơn
Một yêu cầu về đuổi đòi hỏi phải hỏi: có phải cùng một quân bị doạ ở mọi nước không, quân đó có được bảo vệ không, ăn nó có còn được lợi không, và một nước chiếu ở bất kỳ đâu trong chuỗi có làm thay đổi phán quyết không. Khó nhất là chuyện bảo vệ: một nước đi có thể gỡ bỏ quân bảo vệ, và khi đó quân kia có được tính là được bảo vệ hay không tuỳ vào việc xét ở thời điểm nào. Đó đúng là những trường hợp ranh giới khiến WXF lập một tuyển tập ví dụ có lời giải, thay vì cố viết một điều luật gọn gàng bao quát mọi thứ.
Câu hỏi liên quan
Có phải vì vậy mà một số trường hợp vẫn còn tranh cãi ngay cả giữa các engine mạnh?
Đúng, một vài thế cờ kinh điển trong tuyển tập được biết là bị các engine mạnh khác nhau phán khác nhau, chính vì sự mơ hồ này.
Vậy có phải phán quyết về đuổi lặp thiếu nhất quán?
Không hẳn là thiếu nhất quán, nhưng chúng dựa vào tiền lệ và phán đoán theo cách mà chiếu lặp đơn giản là không cần tới.