私は、王と二人の騎士が一人の王に対して膠着状態を強制することができると信じています(明らかにチェックメイトではありませんが)...しかし、一人の王に対する王と一人の騎士はどうですか?
行き詰まりを強制することは不可能だと最初に思いました。そこで、King + Knight vs Kingでランダムなポジションを設定し、孤独なKingがボードの端にいたので、それを分析しようとしました。
結果:白は膠着状態を強制することができます!その秘trickは動き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
これは、王と騎士が常に孤独な王に対して膠着状態を強制できることを証明するものではありませんが、少なくとも、King + Knightが膠着状態を強制することが完全に考えられることではないことを示しています。
私は明らかに、それを裏付ける証拠のない「はい/いいえ」の答えを望まない。反論の余地のない証拠か、少なくともいくつかの非常に強力な証拠が欲しいです。
1つのアイデアは、勝敗として膠着状態を考慮したエンドゲームテーブルベースを構築することです。必要なのは、64x63x62 = 249984ポジションだけです。
2つ目のアイデアは、基本的なエンジンを取得してコードを修正し、勝ちとして膠着状態を考慮に入れることです。また、エンジンのコードの大部分を破棄して計算を高速化することもできます。次に、孤独なキングがボードの端から始まるいくつかの位置で、キング+ナイトvsキングを計算します(ただし、コーナーに近すぎません)。しかし、この考えはテーブルベースほど説得力がありません。