[論文レビュー] Algorithms for lattice games

Alan Guo, Ezra Miller|arXiv (Cornell University)|May 26, 2011

Advanced Combinatorial Mathematics参考文献 5被引用数 4

ひとこと要約

本稿では、有理戦略とアフィン的区分化を用いて、短い有理生成関数を活用することで、 impartial lattice games を多項式時間で解くアルゴリズムを提示する。これにより、勝ち・負けの位置を効率的に特定でき、位置間のミゼール合同性も評価可能であり、固定次元における有界な複雑性を持つ組み合わせゲームの計算的枠組みを提供する。

ABSTRACT

This paper provides effective methods for the polyhedral formulation of impartial finite combinatorial games as lattice games. Given a rational strategy for a lattice game, a polynomial time algorithm is presented to decide (i) whether a given position is a winning position, and to find a move to a winning position, if not; and (ii) to decide whether two given positions are congruent, in the sense of misère quotient theory. The methods are based on the theory of short rational generating functions.

研究の動機と目的

• 格子ゲームとして定式化された、 impartial な有限の組み合わせゲームに対して、効果的な計算手法を開発すること。
• 有理戦略を用いて、与えられた位置が勝ちか負けかを多項式時間で決定できるようにすること。
• 格子ゲームにおける位置間のミゼール合同性をテストするための効率的アルゴリズムを提供すること。
• アフィン的区分化が多項式時間で計算可能であることを確立し、戦略計算の複雑性を低減すること。
• 平方自由な格子ゲームがアフィン的区分化を持つという予想を支援し、ダウソンのチェスなどのミゼールプレイの研究を進める。

提案手法

• 勝ちの位置を有理戦略として表現するため、短い有理生成関数を用いることで、計算を効率化する。
• ハダマール積を用いて、生成関数の性質を利用して、勝ちの位置への到達可能性を多項式時間で特定する。
• バフニコフとウーズの短い有理生成関数の理論を応用し、アフィン半群およびその和集合の生成関数を計算する。
• 変換 $ f(S_{\textbf{p}}; \mathbf{t}) = \mathbf{t}^{-\textbf{p}} f((\textbf{p}+C)\cap\mathcal{P}; \mathbf{t}) $ を用いて、ミゼール合同性のテストに適したシフトされた集合を計算する。
• 補題 5.3 を適用し、互いに素なアフィン的区分化の有理生成関数を一つの有理関数に統合する。
• アフィン半群を $ \mathbb{N}^d $ に埋め込む技術を用い、アルゴリズム的取り扱いの可能性を高めた後、逆変換を施す。

実験結果

リサーチクエスチョン

• RQ1 有理戦略を用いて、格子ゲームにおける与えられた位置が勝ちか負けかを多項式時間で決定できるか？
• RQ2 局所的なゲーム構造に基づいて、二つの位置がミゼール合同であるかどうかを効率的にテストするアルゴリズムは存在するか？
• RQ3 固定されたルールセットの複雑性を持つ格子ゲームに対して、アフィン的区分化を多項式時間で計算できるか？
• RQ4 ダウソンのチェスなどの平方自由な格子ゲームは、アフィン的区分化を持つのか？ これにより、ミゼールプレイにおける効率的な戦略計算が可能になるか？
• RQ5 非周期的な P-位置集合が存在する状況下でも、ミゼール商と有理戦略はどの程度有効に機能するか？

主な発見

• 有理戦略が与えられた場合、ある位置が勝ちか負けかを多項式時間で決定でき、必要に応じて勝ちの位置への手を計算できる。
• 二つの位置 $ \mathbf{p} $ と $ \mathbf{q} $ 間のミゼール合同性は、集合 $ S_{\mathbf{p}} = (\mathbf{p}+C)\cap\mathcal{P} - \mathbf{p} $ と $ S_{\mathbf{q}} $ の有理生成関数を比較することで多項式時間でテスト可能であり、等価性が成り立てば合同である。
• 格子ゲームのアフィン的区分化は、ルールセットの複雑性が固定されている限り、多項式時間で有理戦略に変換可能である。
• アフィン的区分化を持つ集合の補集合に対しても、同様にアフィン的区分化が存在する。これは独立に興味深い結果である（定理 4.2）。
• 固定次元かつルールセットの複雑性が有界な場合、有理戦略の計算における時間計算量は、入力サイズに関して多項式的である。
• 本稿では、複雑度 $ \iota $ に対して、アフィン半群の生成関数が $ O(\iota^c) $ 時間で計算可能であることを確立した。ここで $ c $ は定数であり、これにより効率的なアルゴリズム的取り扱いが可能になる。