二人ゼロ和ゲームの決定可能性

ゲームには必ず「答え」がある

チェスを完全に解けるコンピュータが理論的に作れるとすれば、その根拠は何か。フォン・ノイマンが1928年に証明した「ミニマックス定理」は、この問いへの原理的な答えを与える。二人ゼロ和ゲーム（一方の利得が他方の損失に等しく、総和がつねにゼロのゲーム）において、完全情報と有限の手の数があるならば、両プレイヤーが最適に行動したとき達成される値（ゲームの値）が一意に存在する。決定可能性とは、どちらのプレイヤーが最善を尽くせば「勝てる」（あるいは少なくとも引き分けられる）かが、原理的に決定されているという性質だ。この定理の意味は、「答えはある」という保証にある。見つけられるかどうかは別問題だとしても。

ミニマックス定理の構造

「ミニマックス」とは、自分の最悪結果を最小化（minimax）する戦略と、相手の最悪結果を最小化する（等価的に自分の最良結果を最大化する）戦略が、完全情報の二人ゼロ和ゲームでは一致するという定理だ。フォン・ノイマンとモルゲンシュテルンがゲームの理論と経済行動でこれを基礎に据えたのは、「戦略的状況での合理的行動とは何か」という問いに数学的答えを与えるためだった。混合戦略（確率的に戦略を選ぶ）を許せば、情報が完全でないゲームにも、いずれかのプレイヤーが保証できる期待利得の均衡が存在することが示された。合理性を公理から導くという試みの、最初の大きな成果だ。

計算可能性の現実的な壁

理論的に解が存在することと、現実的に解を見つけることは別問題だ。チェスの局面数は10の120乗オーダーとされ、完全解析は人類の計算資源では不可能だ。決定可能性（理論的に解がある）と計算可能性（現実的に解を求められる）の違いは、ゲーム理論から計算機科学へと問いが移行する境界を示す。しっぺ返し戦略のような繰り返しゲームでは、各回の最適戦略は相手の過去の行動履歴に依存し、単純なミニマックスでは扱えない複雑さがある。決定可能なゲームでも、解を「計算する」ことのコストは、問い方そのものを変えてしまう。

非ゼロ和世界への架橋

二人ゼロ和ゲームの決定可能性は厳密に証明された基盤だが、現実のほとんどの戦略的状況は非ゼロ和だ。外交交渉・経済協力・気候変動対策——これらは相互利益が存在し、「片方の利得は片方の損失」という単純な構造を持たない。Win-Winの考え方が示すように、非ゼロ和ゲームでは協力による余剰が生まれる可能性がある。進化的に安定な戦略の概念も、ゼロ和ではなく協力と競争が混在する文脈で発展した。決定可能なゼロ和世界の数学が、より複雑な非ゼロ和世界を理解するための出発点として機能している。「ゲームが決まっている」という厳密な領域から出発して、「ゲームが複雑に絡み合う」現実の世界へとゲーム理論は歩みを進めた。

決定可能性という概念は、ゲーム理論の外にも重要な文脈を持つ。チューリングが提示した「停止問題」——任意のプログラムが停止するかどうかを決定するアルゴリズムが存在するか——の答えは「存在しない」だった。数学的証明の決定可能性（任意の数学的命題が証明可能か決定できるか）も否定的だ。ゲームの決定可能性は、計算可能性の問いの中で「決定できる領域」の一角を照らし出す。

決定可能性の概念は、「正しい答えが存在するかどうか」という問いを厳密に問う枠組みを与える。それは数学・計算理論・哲学にまたがる問いであり、知識の境界を測る根本的な道具でもある。