Number Duel 数学

マルバツゲームが常に引き分けになる理由（証明付き）

マルバツゲームは両者が最善を尽くせば引き分けになる、と誰もが知っています。でもなぜでしょうか？証明は驚くほど優雅で、組合せゲーム理論の一般原理を教えてくれます。ゲームが完全に分析できるほど小さいとき、結果は決定済みなのです。

数字で見る

マルバツゲームの3×3グリッドには9個のマスがあります。可能なゲームの総数は：

これくらいの数なら、コンピュータですべての局面を検証できます。結果は明確です。最善のプレイでは常に引き分けになります。

証明は初手によって何が起きるかを分析します。対称性を除くと、初手には3つの異なる位置しかありません。

後手には角か辺の2つの選択があります。

後手が角を選んだ場合：先手は対角を選びます。その後は双方がブロックし合い、すべての展開が引き分けに導きます。

後手が辺を選んだ場合：先手は隣接する角を選び、フォーク（二重の脅威）を作ります。しかし後手が即座に脅威をブロックすれば、引き分けに持ち込めます。

最善の応手は中央です。先手（角）→ 後手（中央）の後、先手は通常対角を選びます。これはフォークの潜在的な脅威を生みますが、後手は辺（角ではなく！）でブロックすることでフォークを防げます。

これは最弱の初手です。後手が中央を取ると、先手は苦しい立場になります。後手は常に引き分けを強制でき、先手のミスがあれば後手が勝つことすらあります。

核心的な概念はフォークです。一方のプレイヤーが同時に2つのラインを完成させる脅威を作り出し、相手は片方しか防げない状況です。マルバツゲームではフォークが成立すれば勝ちです。

マルバツゲームが常に引き分けになる理由は、後手が常に先手のフォークを防ぎ、その逆も成り立つからです。グリッドが小さすぎて、強制的なフォークを形成する余地がないのです。

現代のコンピュータを使えば、証明を完全に検証できます。ミニマックス法がすべての可能な局面を評価します。

空の盤面からミニマックスを実行すると、戻り値は0（引き分け）です。

ここからが Number Duel のプレイヤーにとって興味深い部分です。上記の証明はFifteen Duelにもそのまま適用できます。なぜなら Fifteen Duel は数学的にマルバツゲームと同一だからです。

1〜9を魔方陣に配置すると、すべてのラインの合計は15になります。

1〜9から3つの異なる数字を選んで合計が15になる組み合わせはちょうど8通りあり、マルバツゲームの8つの勝利ラインと正確に1対1で対応します。

つまりマルバツゲームのすべての戦略がそのまま適用できます。「中央を取る」は「5を取る」になり、「フォークをブロックする」は「相手が同時に2つの15合計脅威を作るのを防ぐ数字を取る」になります。

マルバツゲームの証明は、数学と計算機科学におけるより深いアイデアの入門例です。ゲームの完全解析による解決です。チェスは約10^120の可能な局面がありすぎますが、コネクトフォー（先手必勝が証明済み）やチェッカー（引き分けが証明済み）などでは同じアプローチが機能します。