多数决选举的精确分析：刘易斯·卡罗尔于1876年的投票系统在NP并行访问中是完备的
摘要：Lewis Carroll提出了一种投票系统，在这个系统中，得胜者是那些在选民偏好变动最少的候选人成为康多塞赢家—在两两多数规则选举中击败其他候选人的候选人。Bartholdi、Tovey和Trick对Carroll的系统中确定选举获胜者的计算复杂性提供了一个下界- NP-hardness。我们提供了一个更强的下界和一个与我们的下界相匹配的上界。特别地，确定Carroll系统中的获胜者在NP并行访问中是完全的，即它是$hetatwo$完全的，对于这个问题它是已知的最自然的完整问题。据此推断，除非多项式层次结构崩溃，否则无法确定Carroll选举中的获胜者是否为NP-complete问题。
作者：Edith Hemaspaandra, Lane A. Hemaspaandra and Joerg Rothe
论文ID：cs/9907036
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23