[論文レビュー] On One-Round Discrete Voronoi Games

Mark de Berg, ‪Sándor Kisfaludi-Bak+1 more|arXiv (Cornell University)|Jan 1, 2019

Game Theory and Voting Systems参考文献 17被引用数 3

ひとこと要約

本稿では、R¹における1ラウンド離散ボロノイゲームのための最初の多項式時間アルゴリズムを提示する。この問題は、プレイヤーQの配置にかかわらず、プレイヤーPが少なくとも半数の有権者を確保できるかどうかを特定することを目的としている。本手法は、戦略的に定義されたしきい値クラスに基づく動的計画法を用い、Pの最適戦略を効率的に計算する。時間計算量はO(kn⁴)である。主な貢献は、kとℓが等しくない場合でもR¹における多項式時間解法の確立であり、高次元では問題がΣP₂-hardであることを証明するとともに、∃∀Rに含まれることを示している。

ABSTRACT

Let $V$ be a multiset of $n$ points in $\mathbb{R}^d$, which we call voters, and let $k\geq 1$ and $\ell\geq 1$ be two given constants. We consider the following game, where two players $\mathcal{P}$ and $\mathcal{Q}$ compete over the voters in $V$: First, player $\mathcal{P}$ selects $k$ points in $\mathbb{R}^d$, and then player $\mathcal{Q}$ selects $\ell$ points in $\mathbb{R}^d$. Player $\mathcal{P}$ wins a voter $v\in V$ iff $\mathrm{dist}(v,P) \leq \mathrm{dist}(v,Q)$, where $\mathrm{dist}(v,P) := \min_{p\in P} \mathrm{dist}(v,p)$ and $\mathrm{dist}(v,Q)$ is defined similarly. Player $\mathcal{P}$ wins the game if he wins at least half the voters. The algorithmic problem we study is the following: given $V$, $k$, and $\ell$, how efficiently can we decide if player $\mathcal{P}$ has a winning strategy, that is, if $\mathcal{P}$ can select his $k$ points such that he wins the game no matter where $\mathcal{Q}$ places her points. Banik et al. devised a singly-exponential algorithm for the game in $\mathbb{R}^1$, for the case $k=\ell$. We improve their result by presenting the first polynomial-time algorithm for the game in $\mathbb{R}^1$. Our algorithm can handle arbitrary values of $k$ and $\ell$. We also show that if $d\geq 2$, deciding if player $\mathcal{P}$ has a winning strategy is $Σ_2^P$-hard when $k$ and $\ell$ are part of the input. Finally, we prove that for any dimension $d$, the problem is contained in the complexity class $\exists\forall \mathbb{R}$, and we give an algorithm that works in polynomial time for fixed $k$ and $\ell$.

研究の動機と目的

• 1ラウンド離散ボロノイゲームにおいて、プレイヤーPが、Qの配置にかかわらず、少なくとも半数の有権者を確保できる勝ち戦略を持つかどうかを特定すること。
• k = ℓのときのみ指数時間アルゴリズムが得られていた1次元ケースにおける計算複雑性のギャップを埋めること。
• k = ℓを前提としていなかった先行研究を改善し、多重集合および重み付き有権者を扱えるようにアルゴリズムを拡張すること。
• 高次元における問題の計算複雑性を特定すること、特にd ≥ 2の場合について。
• 問題を∃∀Rという複雑度クラスに位置づけ、固定されたk, ℓ, dに対する多項式時間アルゴリズムを提供すること。

提案手法

• 戦略空間を、Qの最適応答の行動が予測可能になるような臨界しきい値に基づいてクラスに分割する。
• 各しきい値クラスに対して、動的計画法を用いてPの最良戦略を計算する。状態は有権者のカバー状況と配置制約を追跡する。
• R¹の構造を活用して、すべての関連する戦略的行動を捉える有限で多項式サイズの代表的構成を定義する。
• Pのk個の点とQのℓ個の点の配置の相対関係に基づいて、有権者の獲得数を追跡する非標準的な動的計画法の定式化を用いる。
• 多重集合および重み付き有権者を扱うには、DPの状態遷移において有権者の寄与度を変更する。
• 高次元の場合、代数的手法と量化されたブール論理式を用いて、∃∀Rへの包含関係を示し、固定されたk, ℓ, dに対して多項式時間アルゴリズムを導出する。

実験結果

リサーチクエスチョン

• RQ1 k ≠ ℓであっても、R¹における1ラウンド離散ボロノイゲームを多項式時間で解けるか？
• RQ2 kとℓが入力に含まれる場合、R²以上において問題がΣP₂-hardであるか？
• RQ3 問題は∃∀Rという複雑度クラスに表現可能か？ また、固定されたk, ℓ, dにおける計算コストはいかほどか？
• RQ4 k = ℓに限らない任意のkとℓに対して、1次元ケースにおける多項式時間アルゴリズムは存在するか？
• RQ5 高次元において用いられた代数的手法は、他の幾何的ゲーム問題にも応用可能か？

主な発見

• 本稿では、kとℓが等しくない場合でも、R¹における1ラウンド離散ボロノイゲームのための最初の多項式時間アルゴリズムを提示する。実行時間はO(kn⁴)である。
• 重み付き有権者を扱えるようにアルゴリズムを拡張しても、実行時間の増加はわずかであり、多項式時間の複雑度を維持する。
• kとℓが入力に含まれる場合、R²以上において問題がΣP₂-hardであることが証明された。
• 任意の次元dにおいて問題は∃∀Rに含まれており、固定されたk, ℓ, dに対して多項式時間アルゴリズムが存在する。
• ΣP₂-hardnessへの還元は、Lpノルム（L∞を含む）および長方形構成に対しても有効である。
• 代数的手法を用いて、問題がPSPACEに属することを確立した。この手法は、量化論理式とソーティングネットワークを組み合わせたものである。