[论文解读] 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¹中单轮离散Voronoi博弈的第一个多项式时间算法，解决了玩家P能否在Q的放置策略下始终确保获得至少一半选民的问题。该方法通过在战略性定义的阈值类上使用动态规划，高效计算P的最优策略，时间复杂度为O(kn⁴)。主要贡献在于，即使k与ℓ不相等，也实现了R¹中的多项式时间解法，同时证明了在更高维度中该问题为ΣP₂难，并属于∃∀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$.

研究动机与目标

• 确定玩家P在单轮离散Voronoi博弈中是否存在必胜策略，即无论Q如何放置，P都能确保获得至少一半选民。
• 填补1D情形下复杂度研究的空白，此前仅对k = ℓ的情况存在指数时间算法。
• 将算法扩展至处理多重集和加权选民，改进了以往要求k = ℓ的限制。
• 确定高维情形下该问题的计算复杂度，特别是当d ≥ 2时。
• 将该问题置于∃∀R复杂度类中，并为固定k, ℓ, d提供多项式时间算法。

提出的方法

• 该算法根据关键阈值将策略空间划分为若干类别，使得Q的最优响应行为可预测。
• 对每个阈值类别，使用动态规划计算P的最佳策略，状态设计用于追踪选民覆盖情况和放置约束。
• 利用R¹的结构特性，定义有限且多项式规模的代表性配置集合，以捕捉所有相关策略行为。
• 采用非标准的动态规划形式，追踪在P的k个点相对于Q的ℓ个点不同放置方式下所赢得的选民数量。
• 通过在DP状态转移中修改选民贡献计数，处理多重集和加权选民。
• 在高维情形下，采用代数技术与量化布尔公式，证明问题属于∃∀R，并推导出固定k, ℓ, d时的多项式时间算法。

实验结果

研究问题

• RQ1 在R¹中，单轮离散Voronoi博弈是否可在多项式时间内求解，即使k ≠ ℓ？
• RQ2 当k和ℓ作为输入的一部分时，该问题在R²或更高维中是否为ΣP₂难？
• RQ3 该问题是否可表达于∃∀R复杂度类中？对于固定k, ℓ, d，其计算成本如何？
• RQ4 是否存在一个适用于任意k和ℓ（而不仅k = ℓ）的一维情形下的多项式时间算法？
• RQ5 用于高维情形的代数方法是否可推广至其他几何博弈问题？

主要发现

• 本文首次提出R¹中单轮离散Voronoi博弈的多项式时间算法，时间复杂度为O(kn⁴)，即使k与ℓ不相等也适用。
• 该算法已扩展至处理加权选民，运行时间仅略有增加，仍保持多项式复杂度。
• 当k和ℓ作为输入的一部分时，该问题在R²及更高维中被证明为ΣP₂难。
• 对于任意维度d，该问题属于∃∀R复杂度类，且当k, ℓ, d固定时存在多项式时间算法。
• ΣP₂难性的归约对所有Lp范数（包括L∞）均成立，且在矩形构造下依然有效。
• 本文通过结合量化公式与排序网络的代数方法，证明该问题属于PSPACE。