何百年もの間、世界中の愛好家や数学者たちは盤上を見つめながら、ある根源的な問いを抱き続けてきました。64マスの盤上でふたりの達人が一切のミスを犯さずに指し進めたとき、先手に必然の勝ち筋が存在するのか、後手は不利を背負い続けるのか、それとも完璧な応酬の果てに完全な均衡へと至るのか。
2007年7月、世界的な権威を持つ学術誌『Science』に掲載された論文が、この長年の謎に決定的な終止符を打ちました[1]。カナダのアルバータ大学のコンピューター科学者ジョナサン・シェーファー教授が率いる研究チームは、8×8盤で行われる英語圏の標準チェッカー（イングリッシュ・ドラフツ）が数学的に解決されたと公式に発表しました。1989年に始まった18年間に及ぶ計算の旅の末、研究陣が開発したプログラム「Chinook（チヌーク）」は、双方が完璧にプレイした場合、古典的なチェッカーは必然的に引き分けになるという事実を証明したのです。
この画期的な成果は、ゲームの面白さを奪うものではありませんでした。ゲーム理論が定義する「解決」という概念を正しく理解することで、なぜ現代においてもオンラインや盤上でチェッカーを楽しむ魅力が失われないのかが明確になります。
ゲーム理論における3つの解決水準
日常会話において「問題を解く」といえば、答えを見つけて作業を終えることを意味します。しかし数学や人工知能の分野における「解決」には、1994年に研究者ヴィクター・アリスが定式化した3つの厳密な水準が存在します[2]。
- 超弱解決（Ultra-weakly solved）。 初期配置からの理論的な勝敗結果（先手勝ち、後手勝ち、または引き分け）のみが数学的に証明されており、その結果を達成するための具体的な手順やアルゴリズムは提示されていない状態を指します。代表例はヘックスというゲームで、ゲーム理論により先手必勝が証明されていますが、大きな盤面で勝つための具体的手順は計算されていません。
- 弱解決（Weakly solved）。 初期の配置から、相手のいかなる着手に対しても少なくとも引き分けまたは勝利を保証する具体的なアルゴリズムや証明木が確立されている状態です。でたらめな悪手によって生じる突飛な局面の評価値はすべて保持していないかもしれませんが、初期配置からスタートする限り、コンピューターは絶対に敗北しません。チェッカーはこの水準に該当します[1]。
- 強解決（Strongly solved）。 ルール上到達できるあらゆる局面について、過去にどれほど酷いミスがあったとしても、その局面からの正確な評価値と最善手を即座に計算できる状態を指します。コネクトフォー（四目並べ）は1988年に強解決され、先手が正確に指せばどのような局面からでも勝ちを導くことができます[2]。
チェッカーが強解決ではなく弱解決として証明されたのは、ありとあらゆる乱雑な悪手局面まですべて記録しようとすれば、莫大な記憶容量が必要になるためです。シェーファー教授の研究チームは、公式の初期配置から生じる本筋の証明に資源を集中させました。対局は32マスの濃色マスに12個の黒駒と12個の白駒、合計24個の駒を並べて開始されます[3]。
18年間の軌跡：Chinookはどのようにチェッカーを解き明かしたか
チェッカーの状態空間は、ルールの簡潔さからは想像もつかないほど広大です。標準的な8×8盤における合法局面の総数は、およそ5 × 10^20通りに達します[1]。これは天文学的な数です。通常のコンピューター1台で1局面ずつ調べていけば、計算を終えるまでに何千年もの歳月が必要になります。
この広大な探索空間を攻略するため、研究チームは計算手法をふたつに分割しました。終盤から過去に向かって逆算する「逆行解析」と、初手から未来に向かって進む「前方探索」の組み合わせです。
逆行解析と39兆局面の終盤データベース
証明の強固な基盤となったのが、終盤データベースの構築です。第1手から闇雲に先を読むのではなく、盤上の駒がごくわずかになった終局段階から逆向きに計算を開始しました。キング駒が1個ずつ残った局面は一目で引き分けと分かります。また、2個のキングが角に1個の敵駒を追い詰めた局面は必勝です。
Chinookは、空の盤面に駒を少しずつ増やしながら、合法的な配置の価値を判定していきました。ある手がすでに登録済みの勝ち局面に至るなら、その局面も勝ちと判定されます。すべての合法手が負け局面に至るなら負けと判定され、最善手が均衡を保つなら引き分けとして記録されます。
1989年から2007年までの研究により、盤上の駒が10個以下となるすべての局面が網羅されました[1]。この巨大な終盤データベースには、39兆通りもの独立した局面が蓄積されています。盤上の駒が10個以下になった瞬間、Chinookは思考を行いません。完全な真実をハードディスクから瞬時に読み出すだけです。
序盤から終盤データベースへの架橋
10個以下の終盤データベースが完成したことで、残された課題は、24個の駒が並ぶ初期配置からこの10個の境界線へと至る確実な橋を架けることでした[1]。
研究チームは、証明数探索と呼ばれる高度なアルゴリズムと、伝統的なアルファベータ枝刈りを組み合わせました。アルゴリズムは、強制的な駒の取り合いやデータベースへと収束する有力な手順を重点的に探索し、悪手が明白に論破される無駄な枝を迅速に刈り取りました。
何百台もの並列計算機が何年にもわたって稼働を続けました。何十億もの無関係な変化が削ぎ落とされ、何千万もの重要局面からなる検証済みの証明木が組み上げられました。初期配置から伸びるすべての本筋は、崩せない防御陣地に行き着くか、39兆局面のデータベース内の引き分け局面に直結していました。2007年、証明は完成しました。チェッカーは数学的な引き分けです[1]。
人間対機械：マリオン・ティンズリーの直観
コンピューターが計算力によってゲームを解明するよりずっと前に、純粋な知性と洞察力によってこの完全性に驚くほど近づいたひとりの天才が存在しました。フロリダの数学教授であったマリオン・ティンズリー博士は、チェッカー史上最も傑出したプレイヤーとして知られています。
ティンズリーの戦績は常識を超越していました。45年間にわたる現役生活の中で、ティンズリーが公式戦で喫した敗北は、数千局のうちわずか9局に過ぎませんでした[1]。彼は何十年にもわたり世界王座に君臨し、タイトルを手放したのは挑戦への関心が薄れたときだけでした。Chinookの実力を人間最高峰の頭脳と突き合わせるため、シェーファー教授は1992年にティンズリーとの公式世界選手権マッチを実現させました。
1992年の対決は、人間の直観と機械の計算速度が激突した歴史的な戦いとなりました。39局に及ぶ過酷な対局の末、ティンズリーは見事な盤面把握を見せ、4勝2敗33引き分けでChinookを破りました[1]。古典的なボードゲームにおいて、コンピューターが公認の世界選手権の舞台で現役の世界王者とタイトルを争ったのは、これが史上初めてのことでした。
在るべき道筋を完全に把握していたティンズリーは、局面の急所を的確に見抜いていました。1994年、期待を集めた再戦が行われました。6局連続の引き分けの後、ティンズリーは重い病のために途中棄権を余儀なくされ、1995年に惜しまれつつ世を去りました[1]。Chinookは人間対機械の世界チャンピオンに認定されました。後に研究陣がティンズリーの指し手を詳細に検証したところ、彼の着手はChinookの終盤データベースの最適解とほとんど完璧に一致していました。彼は直観のみによってゲームの奥底にある幾何学を把握していたのです。
ゲームの複雑性：コネクトフォーからチェスまで
チェッカーの解決という成果を適切に位置づけるため、他の代表的なゲームとの規模の違いを比較してみましょう。
1950年、情報科学の父クロード・シャノンは、コンピューターによるゲームプレイに関する歴史的な論文の中でチェスの計算複雑性を分析しました[4]。シャノンは、チェスの合法局面数がおよそ10^44通りであり、起こりうるゲーム展開の分岐数が少なくとも10^120通りに達すると推計しました。これは現在「シャノン数」と呼ばれています[4]。
これらゲームの規模の違いを整理します：
- コネクトフォー： 1988年に強解決されました[2]。数兆通りの状態空間を持ち、現代のノートパソコンであれば数秒で解くことができます。
- 8×8チェッカー： 2007年に約5 × 10^20局面の状態空間において弱解決されました[1]。18年間の分散計算と39兆局面の終盤データベースを必要としました。
- チェス： 完全な未解決です。10^44の局面と10^120の分岐を持ち[4]、現代の計算力でも全容解明にはほど遠い状態です。現在のチェスの終盤データベースは7枚駒までしか計算できていません。8枚駒への拡張には莫大な記憶容量が必要であり、32枚の駒による完全なゲームの解決は従来の計算機では不可能です。
- 10×10国際ドラフツ： 未解決です。100マスの盤面に各20個の駒を用いるため、状態空間はおよそ10^30局面と見積もられています。長距離を跳ぶキングや最多捕獲義務のルールがゲーム木を著しく増大させています。
なぜ数学的解決がチェッカーの魅力を損なわないのか
2007年に研究成果が報道された際、一部からは「チェッカーという競技は終わった」という短絡的な声が上がりました。双方が引き分けになると分かっているなら、なぜ人間がわざわざ盤に向かう必要があるのか、という疑問です。
しかし、そうした見方は対人競技の本質を見落としています。数学的な解決とは、全知全能の存在が数十手にわたり一度のミスもなく指し続けた場合の結果を示したものにすぎません。生身の人間は無謬の計算機ではありません。39兆の局面を丸暗記したり、何千万手もの変化を頭の中に展開したりできる人間は存在しないのです。
実際の対局において、チェッカーは今も極めて鋭い戦術的駆け引きの場です。ゲームの根幹をなすのが「強制捕獲」のルールです。駒を取れる配置があれば、必ず取らなければなりません。このルールにより、自らの駒をあえて犠牲にして相手を危険な斜面へ誘い込み、強烈な連続飛び越しを決めるダイナミックな戦術が頻繁に生まれます。
実際の対局では、主に3つの要素が勝敗を分けます：
- 序盤の正確性。 最善手をたどれば互角ですが、本筋を外れた変化には致命的な罠が潜んでいます。序盤のわずかな緩手ひとつで、数手のうちに敗勢へ転落することがあります。
- 中盤の位置的駆け引き。 中央の制圧、最後列の維持、相手の駒の動きの制限には深い構想力が求められます。チェッカーの戦略を体系的に学んだプレイヤーは、単なる浅い読みの相手を確実に圧倒します。
- 終盤の技量。 駒数が減った局面では「オポジション（対抗）」の概念が勝敗を直結させます。ひとつの踏み間違いが勝ちゲームを引き分けにしてしまう過程は、当サイトのチェッカーの終盤解説でも詳しく解説しています。
現代のトーナメント大会では、定跡の丸暗記を避けるために序盤の数手を抽選で決める方式が採用され、常に未開拓の局面での実力勝負が演出されています。チェッカーは死んでいません。数学的証明は、このゲームがいかに美しく均衡を保っているかを証明したにすぎないのです。
基本となるチェッカーのルールを学ぶ方にとっても、世界の多様なチェッカーのバリエーションを探求する方にとっても、あるいは世界中の愛好家とチェッカーをオンラインでプレイしたい方にとっても、盤上は今なお自由な創造の舞台です。コンピューターが最終到達点を示したとしても、黒と白のマス目を進む冒険の主役は、いつの時代もプレイヤー自身なのです。
よくある質問
チェッカーはあらゆる出鱈目な悪手局面まで解決されたのか？
いいえ、チェッカーは強解決ではなく弱解決です。証明されたのは、32マスの濃色マスに24個の駒を並べた公式初期配置から最善を尽くした場合の引き分けです[1]。また10個以下の局面については39兆局面のデータベースで網羅されています。しかし、多くの駒が残った状態で双方が悪手を重ねたような乱雑な局面すべてが解読されているわけではありません。
現代の人間がChinookに勝つことはできるか？
序盤定跡と10枚駒の終盤データベースを完備した完全なChinookに人間が勝つことは不可能です。理論上の引き分けが証明されているため、最善手順を選択するプログラムが負けることはありません。人間が完全無欠に指せば引き分けとなり、わずかでも隙を見せればプログラムがその誤りを逃さず勝ちに持ち込みます。
英語圏チェッカーで先手の黒に有利はあるか？
英語圏チェッカーでは黒が先手となります。先手番は中央を素早く確保する先制攻撃の機会を持ちますが、シェーファー教授の証明により、その利点は正しい防御を前にして勝ちを強制できるほど大きくはないことが判明しました[1]。双方が最善を尽くせば先手のアドバンテージは徐々に相殺され、必ず引き分けへと至ります。
出典
- Schaeffer, J., Burch, N., Björnsson, Y., Kishimoto, A., Müller, M., Lake, R., Lu, P., & Sutphen, S. (2007). Checkers Is Solved. Science, 317(5844), 1518–1522.
- Allis, L. V. (1994). Searching for Solutions in Games and Artificial Intelligence. Ph.D. thesis, University of Limburg, Maastricht.
- Boardgammon. “Checkers Rules: How to Play, Movement, and Captures.”
- Shannon, C. E. (1950). Programming a Computer for Playing Chess. Philosophical Magazine, Ser. 7, 41(314), 256–275.
- Boardgammon. “Checkers Crown: Play Online Checkers and Regional Draughts Variants.”
- Boardgammon. “Play Checkers Online: Free Browser and Mobile Draughts.”
- Boardgammon. “Checkers Variants: The Kinds of Draughts Played Around the World.”
誤りや不自然な表現を見つけましたか？ メールで知らせる
