Saya percaya bahwa seorang Raja dan dua Ksatria mampu memaksa kebuntuan melawan Raja yang sendirian (meskipun jelas bukan skakmat) ... tapi bagaimana dengan Raja dan satu Ksatria melawan Raja yang sendirian?
Saya pertama kali berpikir bahwa memaksakan kebuntuan tidak mungkin. Jadi saya mengatur posisi acak dengan King + Knight vs King di mana King sendirian berada di ujung papan, dan saya mencoba menganalisisnya.
Hasilnya: Putih bisa memaksakan kebuntuan! Triknya adalah langkah 3. Kd2 !!
( 2 ... Kb1 3. Kd2 Ka1 ( 3 ... Ka2 4. Kc2 Ka1 5. Na3 Ka2 6. Nb1 Ka1 7. Nc3 ) 4. Kc1 Ka2 5. Kc2 Ka1 6. Na3 Ka2 7. Nb1 Ka1 8. Nc3 )
3. Kd2 Kb1
( 3 ... Ka2 4. Kc2 Ka1 5. Na3 Ka2 6. Nb1 Ka1 7. Nc3 )
4. Kd1 Ka1
( 4 ... Ka2 5. Kc2 Ka1 6. Na3 Ka2 7. Nb1 Ka1 8. Nc3 )
5. Kc1 Ka2 6. Kc2 Ka1 7. Na3 Ka2 8. Nb1 Ka1 9. Nc3
Ini tidak membuktikan bahwa Raja dan Ksatria selalu dapat memaksa kebuntuan melawan Raja yang sendirian, tetapi setidaknya menunjukkan bahwa itu tidak sepenuhnya tidak terbayangkan bahwa Raja + Ksatria dapat memaksa kebuntuan.
Saya jelas tidak ingin jawaban "ya / tidak" tanpa bukti untuk mendukungnya. Saya ingin bukti yang tidak terbantahkan atau setidaknya beberapa bukti yang sangat kuat.
Satu ide adalah membangun tabgase endgame yang memperhitungkan kebuntuan sebagai kemenangan, yang setara dengan mengatakan bahwa White menang ketika dia menangkap Black's King. Hanya perlu 64x63x62 = 249984 posisi.
Gagasan kedua adalah mendapatkan mesin dasar dan memodifikasi kodenya sehingga memperhitungkan jalan buntu sebagai kemenangan, dan Anda mungkin juga dapat membuang sebagian besar kode mesin untuk membuatnya menghitung lebih cepat. Kemudian buatlah itu menghitung King + Knight vs King di beberapa posisi di mana King sendirian dimulai di tepi papan (tapi tidak terlalu dekat dengan sudut). Tetapi ide ini akan kurang meyakinkan dibandingkan dengan tablebase.