[論文レビュー] Tetris Hypergraphs and Combinations of Impartial Games

Endre Boros, Vladimir Gurvich+3 more|arXiv (Cornell University)|Jan 11, 2017

Artificial Intelligence in Games参考文献 4被引用数 6

ひとこと要約

本稿は、ハイパーグラフを用いて、非偏見的ゲームの $χ$-結合を導入し、標準的な和を越えたスプラグ-グリーン理論の一般化を行う。$NIM_{\mathcal{H}}$ を単一のピル・ニムゲームの $χ$-結合として定義し、$NIM_{\mathcal{H}}$ が SG 低下であるようなテトリスハイパーグラフを導入する。主な貢献は、テトリスハイパーグラフの特徴付けと、交差するハイパーグラフでさえも、そのゲームのスプラグ-グリーン関数を計算することが NP 困難であることを証明することである。

ABSTRACT

The Sprague-Grundy (SG) theory reduces the sum of impartial games to the classical game of $NIM$. We generalize the concept of sum and introduce $\cH$-combinations of impartial games for any hypergraph $\cH$. In particular, we introduce the game $NIM_\cH$ which is the $\cH$-combination of single pile $NIM$ games. An impartial game is called SG decreasing if its SG value is decreased by every move. Extending the SG theory, we reduce the $\cH$-combination of SG decreasing games to $NIM_\cH$. We call $\cH$ a Tetris hypergraph if $NIM_\cH$ is SG decreasing. We provide some necessary and some sufficient conditions for a hypergraph to be Tetris.

研究の動機と目的

• 非偏見的ゲームの古典的和をハイパーグラフを用いて一般化し、標準的な選別和を超える新しいゲームの組み合わせを可能にする。
• 単一ピル・ニムゲームの $\mathcal{H}$-結合として $NIM_{\mathcal{H}}$ を定義し、そのスプラグ-グリーン関数を研究する。
• テトリスハイパーグラフを導入し、特徴づける——$NIM_{\mathcal{H}}$ が SG 低下であるようなハイパーグラフで、古典的ニムの性質を一般化する。
• $NIM_{\mathcal{H}}$ のスプラグ-グリーン関数を計算する計算量の上限を確立し、強い構造的制約下でも NP 困難であることを示す。

提案手法

• ハイパーグラフ $\mathcal{H}$ における非偏見的ゲームの $\mathcal{H}$-結合を定義し、移動は $H \in \mathcal{H}$ のハイパーエッジを選択し、$i \in H$ でインデックスが付いたすべてのゲームで移動することを含む。
• $NIM_{\mathcal{H}}$ のスプラグ-グリーン関数の一般化として、テトリス関数 $\mathcal{T}_{\mathcal{H}}(x)$ を導入し、最適戦略下でのゲームの結果を捉える。
• $\mathcal{H}$ が交差するハイパーグラフ（すべてのハイパーエッジが互いに交差する）である場合に $\mathcal{G}_{\mathcal{H}}(x) = \mathcal{T}_{\mathcal{H}}(x)$ が成り立つ条件を確立する。
• $\mathcal{T}_{\mathcal{H}}(x)$ の計算が、交差するハイパーグラフおよび次元が 3 以下のハイパーグラフにおいて NP 困難であることを証明するが、次元 ≤ 2（つまりグラフ）の場合は多項式時間で計算可能である。
• ハイパーグラフにおけるマッチング数問題への還元を用い、$\mathcal{H}^*$ を $\mathcal{H}$ から各ハイパーエッジに新しい頂点を追加することで構築する。
• SG 低下ゲームの性質とハイパーエッジの構造的制約を活用し、ハイパーグラフがテトリスであるための必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 SG 低下ゲームの $\mathcal{H}$-結合が $NIM_{\mathcal{H}}$ と等価となるのはいつか？
• RQ2 $NIM_{\mathcal{H}}$ が SG 低下、すなわち $\mathcal{H}$ がテトリスハイパーグラフであるようなハイパーグラフ $\mathcal{H}$ の条件は何か？
• RQ3 $NIM_{\mathcal{H}}$ のスプラグ-グリーン関数とテトリス関数 $\mathcal{T}_{\mathcal{H}}$ の関係は何か？
• RQ4 $NIM_{\mathcal{H}}$ ゲームの $\mathcal{G}_{\mathcal{H}}(x)$ を計算する計算量の複雑さは何か？
• RQ5 有界次元のハイパーグラフでは、スプラグ-グリーン関数を多項式時間で計算できるか？

主な発見

• 非偏見的ゲームの $\mathcal{H}$-結合は、古典的和およびゲームの積を一般化し、$NIM_{\mathcal{H}}$ は単一ピル・ニムゲームの $\mathcal{H}$-結合である。
• ハイパーグラフ $\mathcal{H}$ がテトリスハイパーグラフであることは、$NIM_{\mathcal{H}}$ が SG 低下であることと同値であり、これはすべての移動がスプラグ-グリーン値を減少させることを意味する。
• すべてのハイパーエッジが互いに交差する交差ハイパーグラフでは、すべての位置 $x$ に対して $\mathcal{G}_{\mathcal{H}}(x) = \mathcal{T}_{\mathcal{H}}(x)$ が成り立ち、スプラグ-グリーン理論が拡張される。
• $\mathcal{T}_{\mathcal{H}}(x)$ の計算は、交差ハイパーグラフにおいても、ハイパーグラフの次元が 3 に制限されても NP 困難である。
• $\mathcal{T}_{\mathcal{H}}(x)$ の計算は、次元が 2 以下のハイパーグラフ（つまりグラフ）では多項式時間で可能であり、これは $b$-マッチング数の計算に帰着される。
• スプラグ-グリーン関数 $\mathcal{G}_{\mathcal{H}}(x)$ の計算は、交差ハイパーグラフに対しても NP 困難である。これは、その場合に $\mathcal{G}_{\mathcal{H}} = \mathcal{T}_{\mathcal{H}}$ が成り立つためである。