Contoh skakmatika yang dipaksakan ketika mesin rusak

Apakah Anda tahu contoh di mana mesin catur terbaru (Houdini, Rybka, Komodo, ...) gagal menemukan skakmat yang dipaksakan.

Saya kira mereka harus menemukan jodoh dalam 1 atau 2 sepanjang waktu, tetapi mungkin mereka gagal menjadi kreatif seperti manusia beberapa kali.

Menempatkan jawaban ini sebagai tambahan atas jawaban / komentar pada tablebase dan endgame dengan pasangan yang sangat panjang dan memaksa.

Putih untuk bergerak dan menang (sayangnya, saya tidak tahu penulis studi ini). Mesin akan cenderung gagal dalam masalah ini dan masalah serupa. Sejauh yang saya coba, semua merekomendasikan untuk memindahkan hxg8 = Q. Beberapa menunjukkan 0,00 dan segera menempatkan hitam di jalan buntu; beberapa menunjukkan sedikit keuntungan untuk putih dan mencoba untuk memainkan permainan dengan membiarkan hitam mengaktifkan potongannya. Penjelasan lebih lanjut (dan isyarat untuk solusi) yang diberikan dalam blok spoiler di bawah diagram.

Penjelasan spoiler:

Pasangan yang dipaksa tidak ditemukan karena mesin menggunakan pemangkasan heuristik. Ini menghapus cabang-cabang tertentu dari pohon pencarian, setelah menganggapnya sebagai tidak relevan dengan hasil pencarian (lihat: http://chessprogramming.wikispaces.com/Pruning ). Dalam hal teka-teki ini, solusinya terdiri dari banyak pengorbanan berikutnya dan cabangnya cenderung dibuang ketika mencari. Catatan: Mungkin, dengan parameter tweak dan heuristik pencarian pasangan saat jumlah gerakan yang dibutuhkan benar-benar disediakan, mereka dapat menemukan solusinya, tetapi saya belum mencobanya.

Solusi spoiler:

Tergantung pada pilihan langkah hitam, ada beberapa solusi (idenya selalu sama, meskipun dan sampai langkah 12 garis selalu sama juga). Berikut ini sebuah contoh: 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 + #

Ada beberapa posisi rumit, di mana sepertinya tidak ada solusi, tapi kemudian ternyata putih harus bisa mengambil en passant. Dalam posisi ini mesin mungkin mengabaikan pasangannya, karena mereka tidak memiliki informasi tentang gerakan hitam terakhir, sedangkan manusia dapat menyimpulkan informasi ini dengan analisis retrograde.

Dalam posisi ini tidak mungkin untuk menentukan variasi mana yang mengarah ke pasangan dalam dua. Hanya mungkin untuk menunjukkan bahwa harus ada pasangan dalam dua variasi. Entah yang hitam memindahkan pion pada langkah terakhirnya - lalu membawa calon pejalan kaki yang lewat. Atau dia memindahkan raja atau bentengnya - kemudian raja e6 mengarah ke jodoh, karena tidak ada lagi yang mungkin terjadi.

Sunting: Jawaban lain, yang sama tidak relevannya untuk semua tujuan praktis: Seperti yang kita semua tahu berkat tablebase, ada sejumlah besar skakmat paksa di luar sana, yang jauh di luar batas perhitungan mesin apa pun. Tentu saja kita dapat menggunakan tablebase untuk mendeteksi pasangan itu, tetapi tidak memerlukan imajinasi apa pun, untuk mengakui keberadaan sekakmat paksa atas ribuan gerakan, yang tidak sekarang, dan kemungkinan tidak akan pernah disimpan dalam tablebase .