[論文レビュー] The shortest game of Chinese Checkers and related problems

George I. Bell|ArXiv.org|Mar 8, 2008

Digital Image Processing Techniques参考文献 2被引用数 3

ひとこと要約

本稿は、2人対戦の中国チェッカーで可能な最短ゲームが30手（1人15手）であることを証明し、デイヴィッド・ファビアンの1979年の解法が最適であることを確認した。A*および双方向探索アルゴリズムを用いて、中国チェッカーにおける最小のソロアーミー移動も27手であることが示され、オクターヴ・レーヴェンシュタイルの1971年の解法と一致し、6手ルール下での計算的検証により最適性が裏付けられた。

ABSTRACT

In 1979, David Fabian found a complete game of two-person Chinese Checkers in 30 moves (15 by each player) [Martin Gardner, Penrose Tiles to Trapdoor Ciphers, MAA, 1997]. This solution requires that the two players cooperate to generate a win as quickly as possible for one of them. We show, using computational search techniques, that no shorter game is possible. We also consider a solitaire version of Chinese Checkers where one player attempts to move her pieces across the board in as few moves as possible. In 1971, Octave Levenspiel found a solution in 27 moves [Ibid.]; we demonstrate that no shorter solution exists. To show optimality, we employ a variant of A* search, as well as bidirectional search.

研究の動機と目的

• 協力プレイを想定した2人対戦中国チェッカーで、ゲームを完了するのに必要な最小手数を特定すること。
• 1971年にオクターヴ・レーヴェンシュタイルが提示した10人アーミーのソロ移動解法（27手）が、中国チェッカー盤上で最適であることを検証すること。
• 異なる移動ルール（4手、6手、8手）の下で、アーミー移動問題を解くための計算的探索手法を適用すること。
• アルゴリズム的探索と対称性の議論を用いて、既知の解法の最小性を示し、下界を確立すること。

提案手法

• 重心とターゲットまでの距離に基づくヒューリスティック関数を用いたA*探索を採用し、最適解に至る探索を誘導した。
• 初期状態とゴール状態の両方から同時に展開する双方向探索を適用し、探索空間を縮小した。
• 解が鏡像かつ逆順にできる「パランドローム的解法戦略」を用い、完全性と対称性を保証した。
• 移動ルールを明確に定義した：6手ルール（中国チェッカー）、8手ルール（ハルマ）、4手ルール（チェッカーに類似）を9×9のボード上で想定した。
• 10人アーミーを搭載した9×9ボード上で計算的探索を実装し、最小手数を検証した。
• 重心に基づく下界を用いて理論的最小値を推定し、実際の解がこれと一致することを確認した。

実験結果

リサーチクエスチョン

• RQ1 デイヴィッド・ファビアンの30手の解法は、2人対戦中国チェッカーで可能な最短ゲームか？
• RQ2 中国チェッカーのソロアーミー移動を27手未満で完了できるか？
• RQ3 6手ルール下で9×9ボード上で10人アーミーを移動させるのに必要な最小手数は何か？
• RQ4 異なる移動ルール（4手、6手、8手）は、アーミー移動問題の最小解法長にどのように影響するか？
• RQ5 A*や双方向探索といった計算的探索手法は、組合せゲームパズルにおける最適性の証明に効果的に応用可能か？

主な発見

• 2人対戦中国チェッカーで可能な最短ゲームは30手であり、これより短いゲームは存在しない。これにより、ファビアンの1979年の解法が最適であることが確認された。
• 6手ルール下で9×9ボード上で10人アーミーを移動させる最小のソロ解法は27手であり、これより短い解法は存在しない。これにより、レーヴェンシュタイルの1971年の解法が最適であることが証明された。
• 8手ルール下で9×9ボード上でアーミー移動を行う最小手数は20手であり、この解法が最適である。
• 4手ルール下では、アーミー移動の最小手数は30手であり、この解法が最適である。具体的な手順も提示された。
• 16×16ボード上で19人ハルマアーミーを47手で移動可能であるが、これが最短とは限らない。
• 本稿では「バランスの取れたアーミー」という概念を導入し、高速な解法がしばしばバランスの取れた形であることに着目した。これは今後の研究の方向性を示唆している。