必勝法の証明と戦略の見つけ方

たくさん勝った経験と、どの相手にも成立する必勝法の証明は違います。終了条件からの後退解析、相手へ渡す集合の不変性、左右対称の応答などを使うと、勝ちが続く理由を説明できます。戦略の存在だけを示す証明にも限界があります。

負け局面の集合を証明する

候補の集合Pを見つけたら、まず終局がPに含まれることを確かめます。次にPからPへは一手で移れないこと、P以外からは必ずPへ移れることを示します。対局が有限回で終わる通常形なら、この三条件によりPが負け局面の集合と分かります。1～3個取りの4の倍数や、ニムのXORが0という条件は、この同じ証明の形で整理できます。

対称性には合法な応答が必要

左右が似ているだけでは、相手の手をまねる戦略は成立しません。中央に共有する場所があれば、相手がそこを取った後には同じ手を返せないことがあります。ケイルズで先に中央を取り、互いにまたげない穴を作るのはこの問題を避けるためです。相手の手の鏡像が必ず残り、規則に反せず、応答後に元の関係へ戻ることを一つずつ確認します。

チョンプの存在証明を考える

長方形のチョンプでは左下を毒とし、選んだマスとその右上側の長方形を取り除き、毒を取ると負けます。毒だけの1×1を除く長方形から、先手が右上隅だけを取る手を考えます。それで勝てるなら十分です。勝てないなら、後手に勝てる応答があるはずです。しかしその応答は初期盤から先手が直接指すこともでき、右上隅も同時に除くため、同じ盤面を作れます。

存在と具体的な初手を分ける

先ほどの二場合のどちらでも先手に勝つ手があるので、長方形のチョンプの先手必勝性が分かります。これが戦略盗用と呼ばれる論法です。ただし右上隅だけを取る手が常に勝ちとは結論できず、後手の勝つ応答が具体的にどのマスかも、この議論だけでは決まりません。「勝つ手が存在する」と「その手を効率よく求められる」は、異なる段階の主張です。

計算と証明を相互に確かめる

有限範囲の全局面を後退解析すれば、その範囲での必勝手を確定できます。見つけた式と全探索を照合すると、境界や規則の取り違えも発見できます。ただし小さな盤で一致しても、任意の大きさへの証明の代わりにはなりません。逆に一般の証明があっても、実際の計算が誤れば正しい手を出せません。ルール、定理、具体例、計算結果を対応させて確認します。

関連項目