Dodgson 选举的精确分析：Lewis Carroll 的 1876 年投票系统对并行访问 NP 是完全的

1876 年，Lewis Carroll 提出一种投票系统，其中获胜者是经选民偏好最少改动后成为 Condorcet 赢家——即在两两多数规则选举中击败所有其他候选人的候选人——的候选者。Bartholdi、Tovey 与 Trick 给出了确定 Carroll 系统中选举获胜者计算复杂度的下界——NP-困难。我们给出更强的下界且与下界匹配的上界。特别地，确定 Carroll 系统中的获胜者对并行访问 NP 是完全的，即它对 $\thetatwo$ 是完全的，由此它成为已知最自然的完全问题。由此可知确定 Carroll 选举中的获胜者不是 NP-完全的，除非多项式谱系坍缩。