[論文レビュー] Triangular Peg Solitaire Unlimited

George I. Bell|ArXiv.org|Nov 5, 2007

Surgical Sutures and Adhesives参考文献 2被引用数 5

ひとこと要約

この論文は、大きな三角形盤上で最大スウィープ（1本のペグが1回の手で残りすべてのペグを取る）を達成することに注目し、三角形ペグソリタリーを調査している。6および8の辺長の盤では、このような最終スウィープが幾何学的に可能であることを証明し、より大きな盤では、任意に長いスウィープで終わる解を構成している。主な貢献は、漸近的に、解が1手あたりほぼ4回の捕獲を達成できることを示したことである。これは理論的限界に近い。

ABSTRACT

Triangular peg solitaire is a well-known one-person game or puzzle. When one peg captures many pegs consecutively, this is called a sweep. We investigate whether the game can end in a dramatic fashion, with one peg sweeping all remaining pegs off the board. For triangular boards of side 6 and 8 (with 21 and 36 holes, respectively) the geometrically longest sweep can occur as the final move in a game. On larger triangular boards, we demonstrate how to construct solutions that finish with arbitrarily long sweeps. We also consider the problem of finding solutions that minimize the total number of moves (where a move is one or more consecutive jumps by the same peg).

研究の動機と目的

• 三角形ペグソリタリーが、1本のペグが残りすべてのペグを盤上からすべて取り除く1回のスウィープで終わるかどうかを特定すること。
• 大きな三角形盤上で、任意に長いスウィープを達成する解を構成すること。
• 三角形盤上のペグソリタリー問題を解くために必要な手数を最小限に抑えること。
• Merson領域を用いて、最短解の長さに関する理論的限界を確立すること。
• 最適解における、特に1手あたりの捕獲ペグ数という移動の平均的効率を分析すること。

提案手法

• 論文は、ある盤面位置が解に現えるかどうかを、前向きおよび後向きの可解性を確認することで判断するための『前向き／後向き定理』を用いている。
• 解の長さの下界を導くために、互いに素な盤領域（それぞれが少なくとも1回の手を要する）であるMerson領域の概念を適用している。
• 大きな盤では、内部を7つの穴を持つ六角形領域でタイル張りすることで、最小手数の推定値を得ている。
• 奇数サイズの盤上ですべての穴を走破する幾何学的スウィープパターンを用いて、明示的な解を構成している。その妥当性はグラフ理論（Euler路）を用いて証明されている。
• 小さな盤（例：Triangle(8)）に対して、総当りのコンピュータ探索を用いて、最小手数および解の一意性を検証している。
• 理論的上界は、Triangle(12i)サイズの盤上で長いスウィープ解を構成することで導出されており、漸近的に1手あたり4回の捕獲率に近づくことが示されている。

実験結果

リサーチクエスチョン

• RQ1 三角形ペグソリタリーのゲームは、1本のペグが残りすべてのペグを盤上から取り除く1回のスウィープで終わることができるか？
• RQ2 サイズnの三角形盤上で、幾何学的に達成可能な最長のスウィープはどのくらいか？
• RQ3 三角形盤上のペグソリタリー問題を解くために必要な最小手数は何か？
• RQ4 1手あたりの捕獲ペグ数の平均は、盤のサイズに応じてどのように変化するか？
• RQ5 大きな三角形盤上で、任意に長い最終スウィープを達成する解を構成できるか？

主な発見

• Triangle(6)およびTriangle(8)では、残りすべてのペグを捕獲する最大スウィープで終わることが可能である。
• より大きな三角形盤では、論文は任意に長いスウィープで終わる解を構成しており、このような構成が達成可能であることを証明している。
• Triangle(8)におけるa7補完問題の最小解法長は13手であり、この解はそのジャンプの集合に関して一意である。
• Merson領域から導かれた理論的下界は、Triangle(8)では12手未満の解は存在しえないことを示しているが、実際にそのような解は存在しない。
• 非常に大きな三角形盤では、最短解は1手あたり4〜7個のペグを捕獲する平均値を示さなければならないが、構成された解は1手あたり4個の捕獲に近づいている。
• Triangle(8)における総当り探索により、解ける問題の半数以上が9手で解けることが判明しており、これはより小さな盤よりも高い効率性を示している。