首页/论文/1004.3659

arXiv 1004.36592010-04-21cs.CC

后备投票中的参数化控制复杂性

Parameterized Control Complexity in Fallback Voting

Gábor Erdélyi, Michael Fellows

备注：: 13 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们研究了参数化控制的复杂性回退投票，一个投票系统，结合了基于偏好的批准投票。选举控制是外部代理人篡改选举结果的许多不同方式之一。我们证明了在后备投票中添加和删除候选人对于建设性和破坏性的情况都是W[2]-困难的，由外部代理所采取的行动量来参数化。此外，我们表明，增加和删除选民在后备投票是W[2]-难的建设性的情况下，参数化的外部代理所采取的行动的数量，并在FPT的破坏性的情况下。

英文摘要：

We study the parameterized control complexity of fallback voting, a voting system that combines preference-based with approval voting. Electoral control is one of many different ways for an external agent to tamper with the outcome of an election. We show that adding and deleting candidates in fallback voting are W[2]-hard for both the constructive and destructive case, parameterized by the amount of action taken by the external agent. Furthermore, we show that adding and deleting voters in fallback voting are W[2]-hard for the constructive case, parameterized by the amount of action taken by the external agent, and are in FPT for the destructive case.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Bucklin和Fallback投票中的控制复杂性

Control Complexity in Bucklin and Fallback Voting

选举控制模型通过添加/删除/划分候选人或选民等操作来改变选举结果。为了保护选举不受这种控制尝试的影响，人们研究了计算复杂性，并将相应的NP-困难结果称为“阻力”。“这是一个长期的研究项目，在这一领域的主要投票系统分类的阻力属性。我们表明，后备投票，由Brams和Sanver（2009）提出的结合Bucklin与批准投票的选举系统，是抵抗每一种常见类型的控制，除了通过添加或删除选民的破坏性控制。因此，回退投票显示最广泛的控制阻力，目前已知举行自然选举系统与多项式时间的赢家问题。我们还研究了Bucklin投票的控制复杂性，并表明它至少在控制阻力方面表现得几乎和回退投票一样好。由于Bucklin投票是回退投票的一种特殊情况，因此Bucklin投票的每个阻力都会增强回退投票的相应阻力。这种最坏情况下的复杂性分析充其量是对控制尝试的安全性的指示，而不是证明。在实践中，控制的难度将取决于典型实例的结构。我们调查的参数化控制的复杂性Bucklin和回退投票，根据几个参数，往往可能是小的典型实例。我们的研究结果，虽然仍然在最坏情况下的复杂性模型，可以被解释为显着加强的阻力演示的基础上NP-硬度。

2012-08-21cs.CCcs.MA

Fallback Voting中的控制复杂性

Control Complexity in Fallback Voting

我们研究了回退投票的控制复杂性。与操纵和贿赂一样，选举控制描述了改变选举结果的方式;与操纵或贿赂企图不同，控制行动-例如添加/删除/分割候选人或选民-修改选举的参与结构。通过这样的行动，人们可以试图让一个喜欢的候选人获胜（“建设性控制”）或阻止一个鄙视的候选人获胜（“破坏性控制”）。计算复杂性可用于保护选举免受控制尝试，即，证明选举系统抵抗某种类型的控制表明，相应控制动作的成功虽然不是不可能的，但在计算上是禁止的。我们发现，后备投票，一个选举制度相结合的批准与多数表决，是抵抗每一种常见类型的候选人控制和每一种常见类型的建设性控制。在具有多项式时间获胜者问题的自然选举系统中，只有复数和基于真诚策略偏好的批准投票（SP-AV）以前已知完全抵抗候选人控制，只有Copeland投票和SP-AV以前已知完全抵抗建设性控制。然而，多数对选民控制的阻力较小，科普兰投票对破坏性控制的阻力较小，SP-AV（像后备投票一样，22个控制阻力中有19个）可以说是比后备投票更不自然的系统。

2010-04-20cs.CCcs.GT

Bucklin、Fallback和多元化投票中的控制复杂性：一种实验方法

Control Complexity in Bucklin, Fallback, and Plurality Voting: An Experimental Approach

Walsh [Wal 10，Wal 09]，Davies et al. [DKNW 10，DKNW 11]，and Narodytska et al. [NWX 11]经验性地研究了各种投票系统，并表明它们通常可以被有效地操纵，尽管它们的操纵问题是NP困难的。这种实验方法在NP-硬控制问题中非常缺乏，其中控制是指试图通过添加/删除/划分选民或候选人来篡改选举结果。我们实验解决NP-硬控制问题的Bucklin和回退投票。在具有有效获胜者确定的自然投票系统中，目前已知回退投票在NP-硬度方面显示出对控制的最广泛抵抗，而Bucklin投票在控制抵抗方面表现得几乎一样好[ER 10，EPR 11，EFPR 11]。我们还调查了控制阻力实验的多数投票，第一个投票系统分析选举控制[BTT 92，HHR 07]。我们的研究结果表明，NP难控制问题往往可以有效地解决在实践中。此外，我们的实验允许更细粒度的分析和比较，在各种控制方案，投票分布模型和投票系统，而不仅仅是说明所有这些控制问题的NP-硬度。

2012-08-20cs.CCcs.GTcs.MA

Bucklin投票广泛抵制控制

Bucklin Voting is Broadly Resistant to Control

选举控制模型通过添加/删除/划分候选人或选民等操作来改变选举结果。这些行动改变了选举的参与结构，目的是使最喜欢的候选人获胜（“建设性控制”）或防止被鄙视的候选人获胜（“破坏性控制”），这产生了总共22个标准控制场景。为了保护选举不受这种控制企图的影响，计算复杂性被用来表明选举控制虽然不是不可能的，但在计算上是禁止的。在具有多项式时间获胜者问题的自然投票系统中，对控制类型具有最高数量的已证明阻力的两个系统（即22个中的19个）是“基于真诚策略偏好的批准投票”（SP-AV，由Brams和Sanver提出的系统的修改）和回退投票。两者都是混合系统;例如，后备投票结合了批准和Bucklin投票。在本文中，我们研究的控制复杂性Bucklin投票本身，并表明，它的行为同样良好的控制阻力方面的20例调查到目前为止。由于Bucklin投票是回退投票的一种特殊情况，本文中对Bucklin投票的所有阻力都加强了回退投票的相应阻力。

2010-05-22cs.CCcs.MA

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

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

厌恶变化的多人时间投票

Multiwinner Temporal Voting with Aversion to Change

University of Oxford（牛津大学）；Hasso Plattner Institute（哈索·普拉特纳研究所）；University of Potsdam（波茨坦大学）；Alan Turing Institute（阿兰·图灵研究所）

研究两阶段动态偏好下的委员会选举，目标是使第二阶段委员会与第一阶段尽可能重叠，证明了Thiele规则类的复杂性二分法，并辅以实验分析。

2024-08-20cs.AIcs.CCcs.GT

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

科普兰投票完全抵制建设性控制

Copeland Voting Fully Resists Constructive Control

控制和贿赂是外部代理人试图影响选举结果的背景。Faliszewski等人[FHHR 07]证明了Llull投票（这里用Copeland表示^[1]）和Copeland投票的一个变体（这里用Copeland表示^[0]）在计算上对许多（但不是所有）类型的建设性控制都有抵抗力，而且它们还对贿赂提供了广泛的抵抗力。我们研究了一个参数化版本的Copeland投票，表示为Copeland^alpha，其中参数alpha是0和1之间的有理数，指定如何在Copeland选举中的候选人进行成对比较的关系。我们在之前研究的每个控制场景中，针对Copeland^alpha，对于每个理性alpha，0 <alpha < 1，建立抵抗力或脆弱性结果。特别是，我们证明了科普兰^[0.5]，即通常被称为"科普兰投票“的系统，对建设性控制提供了充分的抵抗力。在具有多项式时间获胜者问题的系统中，这是第一个被证明对建设性控制具有完全抵抗力的自然选举系统。在[FHHR 07]中证明的Copeland ^0和Copeland ^1的贿赂和有界情况控制的固定参数易处理性的结果被推广到Copeland^alpha，对于每个有理alpha，0 < alpha < 1;我们还给出了更灵活的模型，如微贿赂和扩展控制的结果。

2007-12-10cs.CCcs.GTcs.MA

Llull和Copeland投票计算抵制贿赂和控制

Llull and Copeland Voting Computationally Resist Bribery and Control

以前已知的对所有标准对照类型都有抗性的系统是通过杂交产生的高度人工选择系统。我们研究了Copeland投票的参数化版本，记为Copeland^α，其中参数α是0和1之间的有理数，指定了候选人的成对比较中的关系如何取值。我们证明了Copeland^{0.5}，通常被称为“Copeland voting”的系统，提供了对构造性控制的完全抵抗力，并且我们证明了对于所有有理α，0 < α< 1，Copeland^α也是如此。科普兰投票是第一个被证明完全抵制建设性控制的自然选举制度。我们还证明了科普兰^[1]（Llull选举）和科普兰^[0]都能抵抗除候选人相加的一种变体之外的所有标准类型的构造性控制。此外，我们证明了对于每个有理数α，0 \leq α \leq 1，Copeland^α投票是完全抵抗贿赂攻击的，并且我们建立了Copeland^α的有界情况控制的固定参数易处理性。我们还在更灵活的模型（如微贿赂和扩展控制）下研究了科普兰^α选举，并将选民偏好的潜在非理性整合到我们的许多结果中。

2008-09-28cs.CCcs.GTcs.MA