[论文解读] Parameterized Complexity of Multi-winner Determination: More Effort Towards Fixed-Parameter Tractability

Yongjie Yang, Jianxin Wang|arXiv (Cornell University)|Jul 9, 2021

Game Theory and Voting Systems参考文献 16被引用 8

一句话总结

该论文通过引入新型参数，包括关联图的结构参数（如树宽和最大匹配大小），推进了三种NP难的多 winner 批准投票规则——最小化批准投票（MAV）、比例批准投票（PAV）和Chamberlin-Courant批准投票（CCAV）的固定参数可塑性（FPT）。论文为MAV和CCAV在若干参数下提出了FPT算法，并证明PAV-MULTIWINNER在选民数量和最大批准大小参数下为FPT，而PAV的阈值得分与树宽参数化则作为开放问题留待未来研究。

ABSTRACT

We study the parameterized complexity of winner determination problems for three prevalent $k$-committee selection rules, namely the minimax approval voting (MAV), the proportional approval voting (PAV), and the Chamberlin-Courant's approval voting (CCAV). It is known that these problems are computationally hard. Although they have been studied from the parameterized complexity point of view with respect to several natural parameters, many of them turned out to be W[1]-hard or W[2]-hard. Aiming at obtaining plentiful fixed-parameter algorithms, we revisit these problems by considering more natural single parameters, combined parameters, and structural parameters.

研究动机与目标

• 该论文旨在通过识别新的FPT参数，克服多winner批准投票规则的计算困难。
• 旨在将MAV、PAV和CCAV的固定参数可塑性结果扩展至传统参数之外。
• 研究关联图的结构参数（如树宽和最大匹配大小），以推导出FPT算法。
• 通过探索被忽视的参数，特别是现实选举结构中的参数，填补参数复杂性研究的空白。
• 为未来在kernelization和现实选举中关联图参数的实证分析研究奠定基础。

提出的方法

• 作者分析了三种基于批准的多winner规则——MAV、PAV和CCAV的参数复杂性。
• 他们引入并分析了单个参数（如选民数n、候选人数m、阈值d、最大批准大小△V）及组合参数。
• 研究关联图的结构参数（如树宽和最大匹配大小），以推导出FPT算法。
• 论文使用组合与图论技术，包括最大匹配和路径/环分解，以多项式时间求解特定情况。
• 针对特定图结构（路径、环、发髻图、DH-发髻图），作者设计了精确的多项式时间算法，作为FPT结果的构建模块。
• 通过有界搜索树和基于树分解的动态规划，特别是针对树宽参数化，证明了FPT结果。

实验结果

研究问题

• RQ1 PAV-MULTIWINNER在阈值得分d参数下是否为FPT？
• RQ2 当以关联图的树宽为参数时，PAV-MULTIWINNER是否为FPT？
• RQ3 能否利用树宽和最大匹配大小等结构参数，为MAV和CCAV开发FPT算法？
• RQ4 是否存在新的参数组合，可使这些多winner规则在传统参数之外实现FPT？
• RQ5 能否为PAV-MULTIWINNER实现kernelization，类似于已知的CCAV-MULTIWINNER结果？

主要发现

• PAV-MULTIWINNER在选民数n和最大批准大小△V参数下为FPT。
• CCAV-MULTIWINNER在d + △V参数下具有多项式kernel，此结论由先前关于PARTIAL HITTING SET的研究所暗示。
• MAV-MULTIWINNER在d + m或n + k参数下不太可能具有多项式kernel，此结论基于标准复杂性假设。
• 论文为MAV和CCAV在d、n、k和△V等参数下提出了FPT算法。
• 对于关联图树宽有界的选举，论文建立了MAV和CCAV的FPT算法。
• 作者证明了在路径、环、发髻图和DH-发髻图等特殊图结构下，PAV-MULTIWINNER可多项式时间求解。