Ví dụ kiểm tra cưỡng bức nơi động cơ thất bại

Bạn có biết ví dụ nơi các động cơ cờ gần đây (Houdini, Rybka, Komodo, ...) không tìm thấy một người kiểm tra bắt buộc.

Tôi đoán rằng họ phải tìm bạn đời trong 1 hoặc 2 mọi lúc nhưng có lẽ họ không thể sáng tạo như con người một số lần.

Đặt câu trả lời này bên cạnh các câu trả lời / nhận xét về bảng và kết thúc với bạn tình bị ép buộc dài một cách lố bịch.

Trắng để di chuyển và giành chiến thắng (thật không may, tôi không biết tác giả của nghiên cứu này). Các động cơ sẽ có xu hướng thất bại về vấn đề này và tương tự. Theo như tôi đã thử, tất cả đều khuyên nên di chuyển hxg8 = Q. Một số hiển thị 0,00 và ngay sau đó đưa màu đen vào bế tắc; Một số cho thấy một chút lợi thế cho màu trắng và đang cố gắng chơi trò chơi bằng cách để màu đen kích hoạt các quân cờ của mình. Giải thích thêm (và gợi ý cho giải pháp) được đưa ra trong khối spoiler bên dưới sơ đồ.

Spoiler giải thích:

Người bạn đời bị ép buộc không được tìm thấy bởi vì các động cơ sử dụng cắt tỉa heuristic. Nó loại bỏ một số nhánh nhất định khỏi cây tìm kiếm, sau khi coi chúng là không liên quan đến kết quả tìm kiếm (xem: http://chessprogramming.wikispaces.com/Pruning ). Trong trường hợp của câu đố này, giải pháp bao gồm nhiều sự hy sinh tiếp theo và chi nhánh của nó có xu hướng bị loại bỏ khi tìm kiếm. Lưu ý: Có thể, với các tham số được điều chỉnh và tìm kiếm heuristic khi số lần di chuyển chính xác được yêu cầu, họ có thể tìm ra giải pháp, nhưng tôi chưa thử.

Giải pháp spoiler:

Tùy thuộc vào lựa chọn di chuyển của người da đen, một vài giải pháp tồn tại (ý tưởng luôn luôn giống nhau, mặc dù và cho đến khi di chuyển 12, dòng luôn luôn giống nhau). Dưới đây là một ví dụ: 1. hxg8 = N d5 2. Bf3 d4 + 3. Kb4 d3 4. Nh6 gxh6 5. g7 h5 6. g8 = N h4 7. Nf6 exf6 8. e7 f5 9. e8 = N f4 10. Nd6 cxd6 11. c7 d5 12. c8 = N dxc4 13. Nb6 c3 14. dxc3 d2 15. Kb3 d1 = Q 16. Rxd1 axb6 17. a7 b5 18. a8 = Q b4 19. Be2 bxc3 20. Bf1 c2 21. Rc1 f3 22. Qxf3 Bf2 23. Bxg2 + #

Có một số vị trí khó khăn, trong đó có vẻ như không có giải pháp, nhưng sau đó hóa ra màu trắng phải có khả năng để vượt qua. Ở những vị trí này, động cơ có thể bỏ qua người bạn đời, bởi vì họ không có thông tin về nước đi màu đen cuối cùng, trong khi con người có thể suy ra thông tin này bằng cách phân tích ngược.

Ở vị trí này, không thể xác định biến thể nào dẫn đến giao phối thành hai. Chỉ có thể chỉ ra rằng phải có một người bạn đời trong hai biến thể. Hoặc là màu đen di chuyển con tốt trong lần di chuyển cuối cùng của anh ta - sau đó lấy en dẫn đến giao phối. Hoặc anh ta chuyển vua hoặc tân binh của mình - sau đó vua e6 dẫn đến giao phối, vì không còn có thể ném đá nữa.

Chỉnh sửa: Một câu trả lời khác, điều đó không liên quan cho tất cả các mục đích thực tế: Như chúng ta đều biết nhờ vào bảng, có một số lượng lớn người kiểm tra bắt buộc ngoài kia, vượt xa chân trời tính toán của bất kỳ động cơ nào. Tất nhiên chúng ta có thể sử dụng các bảng để phát hiện những người bạn đó, nhưng nó không mất trí tưởng tượng, để thừa nhận sự tồn tại của những người kiểm tra cưỡng bức qua hàng ngàn di chuyển, hiện tại không có khả năng sẽ không được lưu trữ trong một bảng cơ sở .