[論文レビュー] The Parameterized Complexity of Positional Games

Édouard Bonnet, Serge Gaspers+3 more|arXiv (Cornell University)|Jan 1, 2017

Game Theory and Applications参考文献 4被引用数 5

ひとこと要約

この論文は、普遍的に量化された変数が不等式にのみ現れる第一階論理の新規断片を導入することで、位置的ゲームのパrameterized 複雑性を確立する。Short Generalized Hex が移動回数をパrameterとして W[1]-完全であることを証明し、長年の未解決問題を解決する。さらに、Maker-Maker、Maker-Breaker、Enforcer-Avoider ゲームを分類し、勝利条件が両プレイヤーの手の両方の選択に依存するか、あるいは片方のプレイヤーの選択にのみ依存するかによって、その複雑性が異なることを示す。

ABSTRACT

We study the parameterized complexity of several positional games. Our main result is that Short Generalized Hex is W[1]-complete parameterized by the number of moves. This solves an open problem from Downey and Fellows’ influential list of open problems from 1999. Previously, the problem was thought of as a natural candidate for AW[*]-completeness. Our main tool is a new fragment of first-order logic where universally quantified variables only occur in inequalities. We show that model-checking on arbitrary relational structures for a formula in this fragment is W[1]-complete when parameterized by formula size. We also consider a general framework where a positional game is represented as a hypergraph and two players alternately pick vertices. In a Maker-Maker game, the first player to have picked all the vertices of some hyperedge wins the game. In a Maker-Breaker game, the first player wins if she picks all the vertices of some hyperedge, and the second player wins otherwise. In an Enforcer-Avoider game, the first player wins if the second player picks all the vertices of some hyperedge, and the second player wins otherwise. Short Maker-Maker, Short Maker-Breaker, and Short Enforcer-Avoider are respectively AW[*]-, W[1]-, and co-W[1]-complete parameterized by the number of moves. This suggests a rough parameterized complexity categorization into positional games that are complete for the first level of the W-hierarchy when the winning condition only depends on which vertices one player has been able to pick, but AW[*]-complete when it depends on which vertices both players have picked. However, some positional games with highly structured board and winning configurations are fixed-parameter tractable. We give another example of such a game, Short k-Connect, which is fixed-parameter tractable when parameterized by the number of moves.

研究の動機と目的

• Downey と Fellows の 1999 年リストに掲げられた長年の未解決問題である、Short Generalized Hex のパrameterized 複雑性を解明すること。
• Maker-Maker、Maker-Breaker、Enforcer-Avoider という 3 つの基本的ゲームタイプのパrameterized 複雑性を分類すること。
• 普遍的変数が不等式にのみ現れる新しい第一階論理断片 ∀̸=-FO を開発し、これによりブロッキング戦略の精密な複雑性分析が可能になるようにすること。
• ゲームの構造的性質（例：k-Connect）が、一般に困難なパrameterized ハイアラルキーであっても、固定パラメータ可 tract になる理由を示すこと。
• 論理、ゲーム理論、パrameterized 複雑性の理論的基盤を、特に短いゲームに焦点を当てて構築すること。

提案手法

• 普遍的変数が正の関係に現れないが、不等式原子にのみ現れる第一階論理断片 ∀̸=-FO を導入する。
• FPT 減少を用いて、∀̸=-FO 公式の関係的構造上のモデルチェックが、公式サイズをパrameterとして W[1]-完全であることを示す。
• Short Enforcer-Avoider ゲームを ∀̸=-FO でのモデルチェックに還元し、事前処理と公式構築により、co-W[1]-完全性を証明する。
• 独立集合から Short Enforcer-Avoider ゲームへの還元を構築し、元のグラフにサイズ k の独立集合が存在する場合かつその場合に限り、Avoider が l 手で勝利できることを示す。
• Frick と Grohe のメタ定理を Short Hex に適用し、FPT であることを示し、∀̸=-FO 変換を用いて実行時間の上限を改善する。
• 戦略シミュレーション技術を用いて、Enforcer-Avoider ゲームにおける不正手を、結果に影響を及げない合法手に置き換えられることを示し、公式設計の正当性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 Short Generalized Hex は移動回数をパrameterとして W[1]-完全であるか。1999 年の未解決問題を解消する。
• RQ2 Short Maker-Maker、Short Maker-Breaker、Short Enforcer-Avoider ゲームのパrameterized 複雑性は、移動回数をパrameterとしてどのように分類されるか。
• RQ3 普遍的変数が不等式にのみ現れる新しい第一階論理断片 ∀̸=-FO は、一方のプレイヤーが不等式によって手をブロックする位置的ゲームの複雑性を捉えることができるか。
• RQ4 なぜ一部の構造的ゲーム（例：k-Connect）は、パrameterized ハイアラルキーにおいて一般に困難であるにもかかわらず、固定パラメータ可 tract のままであるのか。
• RQ5 論理式変換（例：∀̸=-FO から Σ1 への変換）は、ゲームのパrameterized アルゴリズムにおける実行時間の上限をどの程度改善できるか。

主な発見

• Short Generalized Hex は移動回数をパrameterとして W[1]-完全であることが判明し、Downey と Fellows のリストに掲げられた 19 年にわたる未解決問題が解決された。
• Short Maker-Breaker は W[1]-完全、Short Enforcer-Avoider は co-W[1]-完全であり、両者とも移動回数をパrameterとしている。
• Short Maker-Maker は AW[*]-完全である。これは、両プレイヤーの手の集合に依存するため、より高い複雑性レベルを示している。
• 新しい論理断片 ∀̸=-FO は、公式サイズをパrameterとしてモデルチェックにおいて W[1]-完全である。これは、ブロッキング戦略の分析に不可欠なツールを提供する。
• ∀̸=-FO から Σ1 公式への変換により、Short Hex に対して三重指数時間のアルゴリズムが得られ、従来の非要素的境界を上回る改善が達成された。
• 本論文は、Enforcer-Avoider ゲームにおける不正手が合法手によってシミュレート可能であることを示し、公式設計に明示的な合法手チェックを含めない正当性を裏付けた。