[論文レビュー] Pomax games - a family of partizan games played on posets

Erik Järleberg, Jonas Sjöstrand|arXiv (Cornell University)|May 8, 2014

Artificial Intelligence in Games参考文献 5被引用数 3

ひとこと要約

この論文は、部分順序集合（poset）上でプレーされる、色分けされた最大元を自分の色のプレイヤーが交互に取り除く、partizanな組み合わせゲームの族であるpomaxゲームを導入する。著者らは、pomaxゲームが常に整数値を取ることを証明し、木構造およびチェス色付きヤング図のposetに対して閉形式の公式を提供し、高さ3のposetではPSPACE完全性、高さ2のposetではNP困難性を確立する。

ABSTRACT

We introduce the following class of partizan games, called pomax games. Given a partially ordered set whose elements are colored black or white, the players Black and White take turns removing any maximal element of their own color. If there is no such element, the player loses. We prove that pomax games are always integer-valued and for colored tree posets and chess-colored Young diagram posets we give a simple formula for the value of the game. However, for pomax games on general posets of height 3 we show that the problem of deciding the winner is PSPACE-complete and for posets of height 2 we prove NP-hardness. Pomax games are just a special case of a larger class of integer-valued games that we call element-removal games, and we pose some open questions regarding element-removal games that are not pomax games.

研究の動機と目的

• 色分けされたposet上で定義される、pomaxゲームと呼ばれる新しいpartizanな組み合わせゲームのクラスを導入し、形式化すること。
• pomaxゲームのゲーム理論的価値を分析し、それが常に整数値を取ることを証明すること—これは組み合わせゲーム理論において稀な性質である。
• さまざまなposet構造におけるpomaxゲームの勝者を決定する問題の計算量的複雑性を特定すること。
• 要素削除ゲームというより広いクラスのゲームにフレームワークを拡張し、今後の研究のための未解決問題を同定すること。

提案手法

• pomaxゲームを、有限なposet上でプレーされるpartizanゲームとして定義し、プレイヤーは自分の色の最大元を自分の手番に取り除く。
• posetの構造的性質とゲームツリー解析を用いて、すべてのpomaxゲームが整数値を取ることを証明する。
• 再帰的分解と手のバランスを用いて、色分けされた木構造posetにおけるゲーム価値の閉形式公式を確立する。
• 対称性と段階ごとの解析を用いて、チェス色付きヤング図posetにおけるpomaxゲームの価値の公式を導出する。
• 高さ3のposetにおけるpomaxゲームに、量子化されたブール論理式（QBF）問題を還元することで、PSPACE完全性を証明する。
• 高さ2のposetにおけるpomaxゲームに、3-SAT問題を還元することで、NP困難性を証明する。

実験結果

リサーチクエスチョン

• RQ1 pomaxゲームは常に整数値を取るのか？ その性質を保証する構造的性質は何か？
• RQ2 色分けされた木構造posetにおけるゲーム価値に対して、閉形式の公式を導出できるか？
• RQ3 高さが有界なposetにおけるpomaxゲームの勝者を決定する問題の計算量的複雑度は何か？
• RQ4 高さ2のposetにおけるpomaxゲームの結果を計算する問題はPSPACE完全か？
• RQ5 pomaxゲームは、制限付きハケンバッシュやpartizan posetゲームといった他のpartizanゲームとどのように関係しているか？

主な発見

• pomaxゲームは常に整数値を取る。これはpartizanな組み合わせゲームにおいて稀な性質である。
• 色分けされた木構造posetにおけるゲーム価値に対して、各段階における黒と白の最大元の数に基づいた閉形式の公式が与えられる。
• チェス色付きヤング図posetでは、各行における黒と白の要素数の差がゲーム価値を決定する。
• 高さ3のposetに制限した場合、pomaxゲームの勝者を決定する問題はPSPACE完全である。
• 高さ2のposetでは、ゲーム価値が整数のままでも、勝者を決定する問題はNP困難である。
• 著者らは、高さ2のpomaxゲームがPSPACE完全であるかどうかの問題を未解決として残し、低さにもかかわらず困難性が示唆される可能性を示唆している。