Chiếu lặp và đuổi lặp được phân xử thế nào?

Mọi thế cờ, nước đi và nhận định về tính hợp lệ trên trang này đều được kiểm chứng tự động bằng engine luật mã nguồn mở của chúng tôi khi dựng trang. Engine áp dụng luật của Liên đoàn Cờ tướng Thế giới (WXF) về cách đi, chiếu bí và cả hai phán quyết về thế lặp: bên ép thế lặp bằng chiếu lặp hoặc đuổi lặp thì bị xử thua chứ 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.

Lặp thế cờ không phải là hoà

Trong cờ vua, lặp lại thế cờ ba lần là hoà và chiếu mãi là cách kinh điển để cứu một ván thua. Cờ tướng thì ngược lại: thế lặp được phân xử. Bên tạo ra thế lặp bằng cách làm trái tinh thần luật sẽ bị phạt, và hình phạt là thua ván.

Luật của Liên đoàn Cờ tướng Thế giới (WXF) và luật quốc gia Trung Quốc quy định những hành động lặp nào bị cấm. Rút gọn lại:

Thế nào thì bị coi là đuổi

Chiếu lặp thì dễ nhận ra. Đuổi lặp mới là chỗ khó, và các ngoại lệ mới là phần quan trọng. Một đòn tấn công lặp lại vào một quân chỉ bị coi là đuổi bị cấm khi thoả điều kiện — và mỗi ngoại lệ dưới đây đều có thật:

• Đuổi bằng Tướng hoặc bằng Tốt thì được phép. Hai quân này được miễn.
• Đuổi một quân đang được bảo vệ đầy đủ thường không phải là đuổi bị cấm, vì thực tế không ăn được quân nào.
• Một nước đuổi đồng thời tạo ra đe doạ khác có thể được phán khác đi, tuỳ đe doạ kia là gì.

Quân bị đuổi có “có gốc” hay không — tức có thực sự được bảo vệ hay không — được quyết định theo từng thế cờ, chứ không phải bằng cách đếm số quân bảo vệ. Tuyển tập chính thức phải dùng tới 110 thế cờ minh hoạ để phân xử những trường hợp này, vì luật này thực sự không thể gói gọn trong một câu. Đó là lý do gần như mọi chương trình cờ tướng hoặc bỏ qua việc phân xử đuổi lặp, hoặc phân xử sai.

Engine của chúng tôi phán xử thế nào

Xin nói thẳng: cả hai luật đều được áp dụng, và một trong hai chưa được kiểm chứng. Engine luật mã nguồn mở của chúng tôi xử lý nước đi, chiếu, chiếu bí và hết nước đi theo chuẩn WXF; trong ván đấu với người, bên ép thế lặp bằng chiếu lặp hoặc đuổi lặp sẽ bị xử thua chứ không phải hoà, còn thế lặp mà cả hai bên cùng chiếu, hoặc không bên nào chiếu, thì hoà. Các phán quyết này cũng áp dụng trong ván đấu với máy. Đuổi lặp được theo dõi theo danh tính cố định của từng quân, vì quân bị đuổi sẽ chạy, và chỉ được tính khi chính quân vừa đi tạo lại mối đe doạ: các thế đuổi mở (mối đe doạ xuất hiện do một quân khác dời đi) được cố ý bỏ qua, vì một phán quyết sai sẽ lấy mất ván cờ của người đáng được hoà. Tuyển tập chính thức chưa được chép lại và chưa có gì được kiểm thử đối chiếu với nó, nên phần đuổi lặp chưa được kiểm chứng với tuyển tập chính thức, và chúng tôi không khẳng định nó đúng hay khớp với mọi thế cờ trong đó.

Điều này quan trọng vì đây không phải một góc khuất hiếm gặp. Thế lặp xuất hiện thường xuyên trong các ván cờ bình thường, và một chương trình gọi đó là hoà tức là đang tặng cho một bên nửa điểm mà họ không xứng đáng. Đó là khoảng trống chúng tôi đã lấp, và cũng là lý do trang này nói rõ khoảng trống còn lại nằm ở đâu — việc kiểm chứng — thay vì ngầm bảo rằng không còn gì. Theo những gì chúng tôi tìm hiểu được — và chúng tôi thực sự mong được đính chính nếu sai — chưa có thư viện nào khác trong hệ sinh thái JavaScript, TypeScript, Rust hay Python phân xử đuổi lặp cả; còn engine của chúng tôi phân xử có đúng hay không thì phải chờ tuyển tập chính thức trả lời.

Lỗi thường gặp

Câu hỏi liên quan