首页/论文/1407.7216

arXiv 1407.72162014-07cs.DScs.CCcs.GT

用于极小极大批准投票的PTAS

PTAS for Minimax Approval Voting

Jaroslaw Byrka, Krzysztof Sornat

备注：: 15 pages, 1 figure
发表信息：: Proceedings of the 10th International Conference on Web and Internet Economics, WINE 2014, pages 203--217, 2014
DOI：: 10.1007/978-3-319-13129-0_15

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们考虑批准投票系统，其中每个选民决定他/她批准的候选人的子集。我们专注于寻找委员会的固定大小k最小化最大汉明距离从投票的优化问题。在本文中，我们给出了这个问题的PTAS，从而解决了Carragianis等人提出的公开问题。[AAAI'10]。结果是通过适应李等人开发的技术。[JACM'02]最初用于约束较少的最接近字符串问题。该技术依赖于提取信息和恒定大小的投票子集的结构属性。

英文摘要：

We consider Approval Voting systems where each voter decides on a subset to candidates he/she approves. We focus on the optimization problem of finding the committee of fixed size k minimizing the maximal Hamming distance from a vote. In this paper we give a PTAS for this problem and hence resolve the open question raised by Carragianis et al. [AAAI'10]. The result is obtained by adapting the techniques developed by Li et al. [JACM'02] originally used for the less constrained Closest String problem. The technique relies on extracting information and structural properties of constant size subsets of votes.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

极大极小赞成投票的逼近与参数化复杂性

Approximation and Parameterized Complexity of Minimax Approval Voting

University of Warsaw（华沙大学）；University of Wrocław（弗罗茨瓦夫大学）；Warsaw Center of Mathematics and Computer Science（华沙数学与计算机科学中心）

我们提出了三个结果的复杂性极小极大批准投票。首先，我们研究了由汉明距离$d$参数化的Minimax赞成投票。我们证明极小极大批准投票不允许算法在时间$\mathcal{O}^\star(2^{o(d\log d)})$上运行，除非指数时间假设（ETH）失败。这意味着Misra等人[AAMAS 2015]的$\mathcal{O}^\star(d^{2d})$算法基本上是最优的。受此启发，我们展示了一个参数化的近似方案，在时间上运行$\mathcal{O}^\star(\left({3}/ε\right)^{2d})$，假设ETH，它本质上是紧的。最后，我们得到了一个新的多项式时间随机近似方案的Minimax批准投票，它运行在时间$n^{\mathcal{O}(1/ε^2 \cdot \log(1/ε))} \cdot \mathrm{poly}(m)$，几乎匹配的运行时间最快的已知PTAS最近字符串由于马和太阳[SIAM J. Comp. 2009]。

2016-07-26cs.AIcs.DScs.GT

存在离群值时基于赞成票的委员会选择

On Choosing Committees Based on Approval Votes in the Presence of Outliers

Indian Institute of Science（印度科学学院）

研究了在存在离群值的情况下，几种基于批准的投票规则下委员会选择问题的计算复杂性。我们的第一个结果表明，离群值的考虑使得委员会的选择问题棘手的批准，净批准，和最小批准投票规则。然后，我们研究了这个问题的参数化复杂性与五个自然参数，即目标得分，委员会的大小（及其对偶参数，委员会以外的候选人的数量），离群值的数量（及其对偶参数，非离群值的数量）。对于净赞成和最小和赞成投票规则，我们提供了一个二分法结果，解决了这个问题的参数化复杂性的所有子集的五个自然参数考虑（通过显示FPT或W[1]-硬度的所有子集的参数）。对于赞成投票规则，我们解决了这个问题的参数化的复杂性，除了一个参数的所有子集。我们还研究了该问题的近似算法。我们证明不存在任何alpha（.）用于批准和净批准投票规则的因子近似算法，对于任何可计算函数alpha（.），除非P=NP。对于最小和投票规则，我们给出了一个伪多项式（1+eps）因子近似算法。

2015-11-13cs.AIcs.CYcs.DS

$k$ -和投票问题有效解的数学规划公式

Mathematical Programming formulations for the efficient solution of the $k$-sum approval voting problem

在本文中，我们解决的问题，选举一个委员会之间的一组$m$候选人和一组$n$选民的偏好的基础上。我们考虑的批准投票方法中，每个选民可以批准尽可能多的候选人，因为她/他喜欢表达的偏好配置文件（布尔$m$ -向量）。为了选出一个委员会，必须制定一项投票规则，将$n$选民的概况“转化”为获胜的委员会。这个问题在投票理论中得到了广泛的研究;对于各种投票规则，这个问题被证明是计算困难的，并且在文献中提出了近似算法和启发式技术。在本文中，我们遵循一个有序加权平均的方法和研究$k$ -总和批准投票（优化）问题的一般情况下$1 \leq k <n$。对于这个问题，我们提供了不同的数学规划配方，使我们能够解决它在一个精确解的框架。我们提供的计算结果表明，我们的方法是有效的中型测试问题（$n$高达200，$m$高达60），因为在所有测试的情况下，它能够找到确切的最优解在很短的计算时间。

2017-07-28cs.DSmath.OC

具有顺序偏好的比例代表竞争模型

Proportionally Representative Participatory Budgeting with Ordinal Preferences

预算分配（PB）是一种民主模式，选民通过它来决定用有限的预算资助一系列项目。我们认为PB的设置，选民报告顺序偏好的项目和（可能）不对称的权重。我们提出了比例代表公理，并阐明它们如何适应其他偏好聚合设置，如多赢家投票和基于批准的多赢家投票。作为我们研究的结果，我们还发现了一个新的解决方案概念，基于批准的多赢家投票，我们称之为包容性PSC（IPSC）。IPSC比比例合理代表制（PJR）更强大，与扩展合理代表制（EJR）不可比拟，但与EJR兼容。经过充分研究的比例批准投票（PAV）规则产生了一个同时满足EJR和IPSC的委员会;然而，这两个公理也可以通过多项式时间运行的算法来满足。

2020-12-10cs.DScs.GT

比例批准投票、调和k中位数和负关联

Proportional Approval Voting, Harmonic k-median, and Negative Association

我们研究了一个通用的框架，它提供了对两类重要问题的统一看法：（i）k中值问题的扩展，其中客户对在其附近拥有多个设施感兴趣（例如，由于最近的设施可能以某种小概率发生故障并且因此可能无法使用的事实），以及（i i）根据某些吸引人的多赢家选举规则来寻找赢家，即，一种选举制度，旨在根据选民对个别候选人的偏好来选择代表机构，如议会。在我们的框架中的每个问题都与一个向量的权重：我们表明，问题的可逼近性取决于这些向量的结构属性。我们特别专注于谐波序列的权重，在多赢家选举设置中解释的目标函数反映了众所周知的比例批准投票（PAV）规则。我们的主要结果是，由于特定的（谐波）结构的权重，问题允许常数因子近似。这是令人惊讶的，因为这个问题可以被解释为k-中位数问题的变体，其中我们不假设连接成本满足三角不等式。我们提出的算法是基于依赖舍入[Srinivasan，FOCS'01]适用于自然LP松弛问题的解决方案。众所周知，舍入过程产生满足负相关（NC）的积分解的分布，这通常足以分析舍入过程提供的近似保证。然而，在我们的分析中，我们需要使用这样一个事实，即仔细实现的舍入过程满足一个更强的性质，称为负关联（NA），这允许我们对条件随机变量应用标准的浓度界限。

2018-03-12cs.DScs.GT

Minimax和Minimus投票方法的推广

A Generalization of the Minisum and Minimax Voting Methods

在本文中，我们提出了一族基于选民偏好的选举委员会赞成投票方案。在我们的方案中，我们计算可能的委员会从每个选票的距离向量，并为一个给定的$ p $ -范数，选择一个最小化的距离向量的大小在该规范下。由以前的作者提出并在文献中广泛分析的极小和和极大极小方法自然地分别作为对应于$ p = 1 $和$ p = \infty, $的特例出现。通过例子的支持，我们建议使用一个小的值$ p, $，如2或3，提供了一个很好的折衷之间的最小和和最小最大投票方法的权重给予批准和不批准。对于大而有限的$ p, $，我们的方法减少到寻找委员会，涵盖了最大数量的选民，这是远远优于极小极大的方法，这是倾向于领带。我们还讨论了我们的方法，三元投票的扩展。

2018-01-17cs.DScs.GT

更多相关论文收起更多论文

Thiele投票规则下结构化选举的算法

Algorithms for Structured Elections under Thiele Voting Rules

TU Eindhoven（埃因霍温理工大学）；AGH University（AGH大学）

该文研究Thiele投票规则下结构化选举的获胜者确定问题，针对选民区间域等设计FPT算法，解决了PAV相关的两个开放问题，推进了此类选举的计算复杂性研究。

2026-07-31cs.AIcs.DScs.GT

带凸/凹约束的混合规划：固定参数可处理性及其在多重覆盖和投票中的应用

Mixed Integer Programming with Convex/Concave Constraints: Fixed-Parameter Tractability and Applications to Multicovering and Voting

Lenstra [Math.~]的经典结果Oper.~ Res.~ 1983]说整数线性规划可以在固定参数易处理（FPT）时间内求解，参数是变量的数量。我们将非减分段线性凸或凹函数，我们的（混合）整数规划扩展这一结果。这种通用的技术使我们能够建立一些经典的计算问题的参数化的复杂性。特别是，我们证明了加权集Multicover是在FPT参数化时的元素覆盖的数量，并存在一个FPT时间近似计划Multicover相同的参数。此外，我们使用我们的一般技术来证明，计算社会选择的一些问题（例如，选举中的贿赂和控制问题）在FPT中以候选人人数为参数。对于贿赂，这解决了一个近10年的公开问题，对于批准投票的加权选举控制，这将一些以前已知的XP成员资格改进为FPT成员资格。

2017-11-20cs.CCcs.DScs.GT

可分割偏好下可能赢家问题的复杂性

The Complexity of the Possible Winner Problem over Partitioned Preferences

可能获胜者问题是问，给定一个选举，其中选民对候选人的偏好是部分指定的，一个杰出的候选人是否可以成为赢家。在这项工作中，我们考虑的计算复杂性的假设下，选民的偏好是$partitioned$的可能的赢家。也就是说，我们假设每个投票者都提供了一个完整的顺序，超过一组不可比的候选人（例如，候选人按其教育水平排名）。我们认为选举与分区配置文件的位置评分规则，无限数量的候选人，和未加权的选民。我们的第一个结果是一个多项式时间算法的投票规则与$2$不同的值，其中包括著名的$k$批准投票规则。然后，我们继续证明NP-硬度的一类规则，包含所有的投票规则，产生至少$4$不同的值的评分向量。

2018-02-25cs.CCcs.DScs.GT

一种实现扩展正当化表示的多项式时间算法

A Polynomial-time Algorithm to Achieve Extended Justified Representation

我们考虑一个委员会投票设置，其中每个选民都批准候选人的子集，并根据批准，选择目标数量的候选人。特别是，我们专注于公理属性称为扩展正当表示（EJR）。虽然保证存在满足EJR的委员会，但找到这样一个委员会的计算复杂性一直是一个开放的问题，并在最近的多篇论文中明确提到。我们解决的复杂性，找到一个委员会满足EJR的问题，提出了一个多项式时间算法。我们的算法方法可能是有用的，在多赢家投票构造其他的投票规则。

2017-03-30cs.DScs.GT

从投票流中钓出获胜者

Fishing out Winners from Vote Streams

Indian Institute of Science（印度科学学院）

我们从计算社会选择理论的数据流模型中的赢家决定的问题。具体来说，我们认为总结任意顺序的流$n$投票$m$候选人到一个小空间数据结构，以便能够获得流行的投票规则确定的赢家的任务。正如我们所展示的，找到确切的获胜者需要存储基本上所有的选票。因此，我们关注的问题是找到一个{ \em $\eps$ -winner}，一个候选人谁可以赢得最多$\eps$分数的选票变化。我们展示了非平凡的上界和下界的空间复杂度的$\eps$ -赢家确定几个投票规则，包括$k$ -批准，$k$ -否决，评分规则，批准，最大，Bucklin，Copeland，和运行的多。

2015-09-07cs.AIcs.CCcs.DM

多赢家投票规则中赢家验证和候选赢家的复杂性

On the complexity of Winner Verification and Candidate Winner for Multiwinner Voting Rules

Chamberlin-Courant规则和Monroe规则是多赢家选举文献中的基本规则，并且得到了充分的研究。确定是否存在一个规模为k的委员会，其Chamberlin-Courant（分别为Monroe）得分至多为r的问题是NP完全的。在这种情况下，我们考虑以下自然问题：a）给定一个规模为k的委员会S作为输入，它是一个最优的k-规模委员会吗？b）给定一个候选人c和一个委员会规模为k，是否存在一个包含c的最优的k-规模委员会？在这项工作中，我们解决了这两个问题的复杂性Chamberlin-Courant和门罗投票规则的设置排名以及批准选票。我们表明，如果一个给定的委员会是最佳的验证是NP完全的，而后者的问题是完整的$Θ_{2}^{P}$。我们还证明了有效的算法，当输入由单峰排名的第二个问题。我们的贡献填补了这些重要的多赢家规则的文献中的一个重要空白。

2020-04-29cs.DScs.GT

单指数时间中的投票和贿赂

Voting and Bribing in Single-Exponential Time

我们介绍了一个关于投票系统中贿赂的普遍问题。在$\mathcal{R}$ -多贿赂问题中，目标是以最小的代价贿赂一组选民，使得期望的候选人在投票规则R下赢得扰动选举。选民为撤回投票、交换两个连续候选人在他们的偏好顺序中的位置以及扰乱他们的支持计数以支持候选人分配价格。作为我们的主要结果，我们表明，$\mathcal{R}$ -多贿赂是固定参数易处理的候选人的数量为许多自然的投票规则$\mathcal{R}$，包括Kemeny规则，所有评分协议，最大最小规则，Bucklin规则，回退规则，SP-AV，和任何C1规则。特别地，我们的结果解决了所有这些投票规则的$\mathcal{R}$ -Swap Bribery的参数化复杂性，从而解决了Bredereck等人的“计算社会选择中的九个研究挑战”中的一个长期存在的公开问题和“挑战#2”。因此，它改进了Dorn和Schlotter的早期双指数时间算法，该算法限于所有评分协议的统一成本情况、最大最小规则和Bucklin规则。

2018-12-05cs.DS

投票中的距离限制操纵

Distance Restricted Manipulation in Voting

Indian Institute of Technology Kharagpur（印度理工学院克勒格布尔分校）

我们引入了{ \em距离限制操纵}的概念，其中当合谋操纵者对其他操纵者的选票的了解有点不准确时，合谋操纵者需要计算是否存在使其偏好的替代者赢得选举的选票。我们使用Kendall-Tau距离来模拟操纵者对非操纵者投票的信心。为此，我们在两个设置中研究这个问题-一个是操纵者需要计算成功的操纵投票，而不管其他人的投票中的扰动（{ \em距离限制强操纵}），第二个是操纵者需要计算成功的操纵投票，至少有一个可能的投票配置文件的其他人（{ \em距离限制弱操纵}）。我们表明，{ \em距离限制强操纵}承认多项式时间算法的每一个评分规则，最大，Bucklin，并简化Bucklin投票规则为一个单一的机械手，并为$k$批准规则的任何数量的机械手，但成为棘手的Copeland $^α$投票规则的每一个$α\in[0,1]$，甚至为一个单一的机械手。相比之下，{ \em距离受限弱操纵}对于除多数规则之外的几乎所有常见投票规则都是难以处理的。对于一个常数的替代品，我们表明，这两个问题是多项式时间可解的每一个匿名和有效的投票规则。

2020-11-27cs.AIcs.DScs.GT

选举获胜者的分布式监控

Distributed Monitoring of Election Winners

我们考虑分布式选举，其中有一个中心和$k$网站。在这种分布式选举中，每个投票者都对某组候选人有偏好，每个投票者被分配到一个站点，每个站点只知道分配给它的投票者。我们感兴趣的是设计有效的通信协议，允许中心保持一个候选人，以任意高的概率，保证是一个赢家，或至少接近成为一个赢家。我们考虑了各种单一赢家投票规则，如批准投票和评分规则的变体，基于锦标赛的投票规则，以及几个基于回合的投票规则。对于我们考虑的投票规则，我们表明，使用的通信是对数的选民人数，它是可能的中心，以保持这种近似的赢家，也就是说，在任何时候查询的中心可以立即返回一个候选人，这是保证是一个近似的赢家与高概率。我们用下限来补充我们的协议。我们的研究结果是理论性的，涉及到各种场景，如聚合客户的偏好在网上购物网站或连锁超市，并收集来自不同的投票站的政治选举的选票。

2019-07-23cs.DCcs.DScs.GT

投票中的局部距离约束贿赂

Local Distance Constrained Bribery in Voting

Indian Institute of Technology, Kharagpur（印度理工学院卡拉格普尔分校）

研究各种贿赂问题的复杂性一直是计算社会选择领域的主要研究热点之一。在迄今为止研究的所有贿赂模式中，贿赂者必须根据贿赂者希望选民报告的内容向每个选民支付一定数量的钱，并且贿赂者有一些预算可供支配。尽管这些模型成功地捕捉了许多现实世界的应用，但在许多其他场景中，选民可能不愿意偏离他们的真实偏好太多。在本文中，我们研究的计算复杂性的问题，找到一个偏好配置文件，这是尽可能接近真实的偏好配置文件，仍然达到行贿者的目标受到预算约束。我们称之为最优贿赂问题。我们考虑三个重要的措施的距离，即，交换距离，foottrule距离，最大位移距离，并解决了许多常见的投票规则的最优贿赂问题的复杂性。我们发现，这个问题是多项式时间可解的复数和否决投票规则的所有三个措施的距离。另一方面，我们证明了该问题是NP-完全的一类评分规则，其中包括Borda投票规则，极大极小，Copeland $^α$任何$α\in[0,1]$，和Bucklin投票规则，用于所有三种距离测量，即使当每个投票者允许的距离对于交换和最大位移距离是$1$，并且对于脚轨距离是$2$，即使没有预算约束（这相当于拥有无限的预算）。对于$k$批准投票规则的任何常数$k>1$和简化的Bucklin投票规则，我们表明，即使当允许的距离是$2$和foottrule距离，即使当允许的距离是$4$，即使没有预算约束的问题是NP完全的交换距离。

2020-12-11cs.AIcs.DScs.GT