try ai
科普
编辑
分享
反馈
  • 孔多塞悖论

孔多塞悖论

SciencePedia玻尔百科
核心要点
  • 孔多塞悖论表明,多数投票可以将理性的个人偏好转变为非理性的、循环的集体偏好。
  • 阿罗不可能定理将此问题形式化,证明了对于三个或更多选项,没有任何投票系统可以同时满足几项基本公平标准。
  • 诸如波达计数法之类的投票方法可以解决循环问题,但可能会通过选择一个多数派在直接比较中会拒绝的赢家,从而违反孔多塞标准。
  • 这个悖论是一项基本的聚合原则,其影响不仅限于政治学,还波及计算机科学、机器学习、经济学和AI对齐等领域。

引言

我们如何确定“人民的意愿”?最直观的答案——让多数人决定——蕴含着一个令人惊讶且深刻的缺陷。当一群完全理性的个体在三个或更多选项中做出集体选择时,民主投票这一过程本身就可能导致一个无可救药的非理性、循环的结果。这一现象被称为“孔多塞悖论”,它挑战了我们关于集体决策的基本假设,并揭示了治理、技术和社会系统核心深处的深刻冲突。本文将深入探讨这个引人入胜的问题。第一部分“原理与机制”将解析该悖论背后的逻辑,将其数学结构可视化,并探讨它如何引出了阿罗不可能定理的开创性结论。随后的“应用与跨学科联系”部分将揭示该悖论广泛的后果,展示其在政治选举制度、经济模型、计算机算法以及在使人工智能与人类价值观对齐这一紧迫挑战中的惊人显现。

原理与机制

简单选择的幻象

想象一下,你和你的朋友们正在决定去哪里吃晚餐。有三个选项:披萨(P)、墨西哥卷饼(T)或寿司(S)。你如何做出一个最能反映群体意愿的集体选择?最直接且看似公平的方法是投票。但是,你应该如何组织投票呢?

你可以让每个人只投给他们最喜欢的一个选项,但这可能导致奇怪的结果。如果0.40.40.4的人想吃披萨,而剩下的0.60.60.6的人在墨西哥卷饼和寿司之间犹豫不决,但他们宁愿选择这两者中的任何一个也不愿吃披萨呢?结果是披萨店胜出,尽管绝大多数人去别的地方会更开心。

一种更稳健的方法是由18世纪法国数学家和哲学家Marquis de Condorcet提出的,即进行一系列一对一的较量。让我们就“披萨 vs. 墨西哥卷饼”、“墨西哥卷饼 vs. 寿司”以及“寿司 vs. 披萨”进行投票。在所有一对一的对决中都获胜的选项被称为​​孔多塞赢家​​。这是一个吸引人的概念:孔多塞赢家是多数人偏好的选项,胜过任何其他可以与之抗衡的单一备选项。这感觉就像是一个真正冠军的定义,是群体无可否认的偏好。

我们假设群体中的每个个体都是“理性的”,这具有一个非常基本的含义:他们的偏好是传递性的。如果你偏爱寿司胜过墨西哥卷饼,偏爱墨西哥卷饼胜过披萨,那么你必然偏爱寿司胜过披萨。这遵循A≻BA \succ BA≻B且B≻CB \succ CB≻C则A≻CA \succ CA≻C的简单逻辑。所以,如果每个个体都是理性的,那么通过多数决原则得出的群体集体偏好也必须是理性的……对吗?

到底能出什么问题呢?

石头、剪刀、布与循环的民意

让我们考虑一个可能挑战我们直觉的最简单情景。想象一个由三个人组成的小委员会——我们称他们为行动者1、行动者2和行动者3——在三个政策A、B和C之间做决定。每个成员都有一套清晰、完全理性的偏好:

  • ​​行动者1:​​ 偏好 A≻B≻CA \succ B \succ CA≻B≻C
  • ​​行动者2:​​ 偏好 B≻C≻AB \succ C \succ AB≻C≻A
  • ​​行动者3:​​ 偏好 C≻A≻BC \succ A \succ BC≻A≻B

现在,让我们举行一对一的选举。“严格多数”在这里意味着3票中至少有2票。

  • ​​对决1:AAA vs. BBB。​​ 行动者1投给A。行动者2投给B。行动者3投给A。投票结果为2比1,A胜出。​​结果:AAA优于BBB(A≻MBA \succ_M BA≻M​B)。​​

  • ​​对决2:BBB vs. CCC。​​ 行动者1投给B。行动者2投给B。行动者3投给C。投票结果为2比1,B胜出。​​结果:BBB优于CCC(B≻MCB \succ_M CB≻M​C)。​​

到目前为止,一切顺利。我们有A≻MBA \succ_M BA≻M​B和B≻MCB \succ_M CB≻M​C。根据传递性,我们应该会发现AAA优于CCC。让我们进行最后的选举来确认。

  • ​​对决3:AAA vs. CCC。​​ 行动者1投给A。行动者2投给C。行动者3投给C。投票结果为2比1,C胜出。​​结果:CCC优于AAA(C≻MAC \succ_M AC≻M​A)。​​

等一下。群体偏好AAA胜过BBB,BBB胜过CCC……但它却偏好CCC胜过AAA。集体的“人民意愿”是A≻MB≻MC≻MAA \succ_M B \succ_M C \succ_M AA≻M​B≻M​C≻M​A。这是一个循环。这就像游戏“石头、剪刀、布”的逻辑,每个选择都会被另一个选择击败。石头砸剪刀,剪刀剪布,布包石头。没有“最佳”选择。

这就是​​孔多塞悖论​​。一个由完全理性的个体组成的群体,通过完全合理的多数投票方法,可以产生一个无可救药的非理性且非传递性的集体偏好。这里没有孔多塞赢家;对于你提出的任何一个获胜选项,都有多数人更偏好其他选项。

悖论的可视化:偏好的几何学

这个悖论不仅仅是一个逻辑上的奇特现象;它具有一个优美且富有启示性的数学结构。我们可以将一次选举可视化为一个“竞赛图”,其中每个候选人是一个顶点,一条有向边(X,Y)(X, Y)(X,Y)表示候选人X在一对一的较量中击败了候选人Y。

在一个有三名候选人的竞赛中,像A≻B≻CA \succ B \succ CA≻B≻C这样的传递性结果看起来会像一条简单的链:一条从A到B的边,和一条从B到C的边(在竞赛图中,这也意味着存在一条从A到C的边)。孔多塞赢家将是一个有边指向所有其他顶点的顶点——一个无可争议的冠军。

用这种语言来说,孔多塞悖论就是一个​​有向三元环​​,我们或许可以称之为“悖论三元组”。它是一个循环:A→B→C→AA \to B \to C \to AA→B→C→A。这种循环的存在是图结构的一个基本特征。事实上,可以证明,任何没有孔多塞赢家的竞赛图必定包含这样一个循环。在假设的“完全平衡”的选举中,即每个候选人击败相同数量的对手,循环不仅是可能的,而且是不可避免的,它们的数量可以根据图的属性精确计算出来。这个悖论不是异常现象,它深植于集体选择的数学之中。

我们能设计出逃脱之法吗?

如果简单的多数决规则会让我们陷入循环,也许其他系统可以打破这个循环。让我们考虑一个流行的替代方案:​​波达计数法​​。我们不只是在每对选项中选出赢家,而是根据排名分配分数。对于三个备选项,我们可以给第一名2分,第二名1分,第三名0分。总分最高的备选项获胜。

让我们在一个同样会产生循环的、稍微复杂一点的偏好组合上尝试一下:

  • ​​2名投票者:​​ A≻B≻CA \succ B \succ CA≻B≻C
  • ​​2名投票者:​​ B≻C≻AB \succ C \succ AB≻C≻A
  • ​​1名投票者:​​ C≻A≻BC \succ A \succ BC≻A≻B

快速检查两两投票的结果可以确认存在一个循环:A≻MBA \succ_M BA≻M​B (3-2),B≻MCB \succ_M CB≻M​C (4-1),以及 C≻MAC \succ_M AC≻M​A (3-2)。没有孔多塞赢家。现在,让我们计算波达分数:

  • ​​分数(A):​​ (2×2)+(2×0)+(1×1)=5(2 \times 2) + (2 \times 0) + (1 \times 1) = 5(2×2)+(2×0)+(1×1)=5
  • ​​分数(B):​​ (2×1)+(2×2)+(1×0)=6(2 \times 1) + (2 \times 2) + (1 \times 0) = 6(2×1)+(2×2)+(1×0)=6
  • ​​分数(C):​​ (2×0)+(2×1)+(1×2)=4(2 \times 0) + (2 \times 1) + (1 \times 2) = 4(2×0)+(2×1)+(1×2)=4

看!波达计数法宣布B为赢家。它打破了循环,并给了我们一个单一、明确的答案。问题解决了吗?

不完全是。仔细看。波达赢家是B。但在A和B的直接一对一对决中,多数投票者(5人中的3人)更偏好A。我们选择了一个明确的多数派在面对其他选项时会拒绝的结果。这让人深感不满。波达计数法避免了循环的非传递性,但它这么做是以可能违反多数派在特定两两比较中的意愿为代价的。事实证明,波达赢家不仅取决于谁赢得了两两对决,还取决于胜利的幅度。它给予大胜的权重高于险胜的权重。这是一种不同的哲学,但不一定尊重孔多塞标准。

更深层次的问题:阿罗不可能性

孔多塞方法和波达方法都具有这些奇怪的属性,这并非偶然。这标志着一个更深层、更根本的问题。寻找“完美”投票系统的探索,引导经济学家Kenneth Arrow在1951年取得了一项惊人且荣获诺贝尔奖的发现。

Arrow首先列出了任何“公平”和“理性”的群体决策方法都应满足的几个简单、看似显而易见的条件。我们称之为游戏规则:

  1. ​​无限制域 (UD):​​ 该系统必须对任何可能的个人理性偏好组合都有效。我们不能仅仅因为某些观点(比如那些导致孔多塞悖论的观点)会引起问题就宣布它们不合法。
  2. ​​帕累托效率 (PE):​​ 如果每一个人都偏好A胜过B,那么群体的排序必须将A置于B之上。这是一个基本的一致性原则;系统不应该选择一个在所有人看来都被另一个选项所支配的选项。
  3. ​​非独裁 (ND):​​ 结果不能仅仅是一个人的偏好,而忽略了其他所有人。
  4. ​​无关备选项独立性 (IIA):​​ 群体对A与B的排序应仅取决于个体如何对A与B进行排序。你对第三个“无关”选项C的看法,不应突然改变A与B之间的社会结果。

这四个条件似乎是公平系统的最低要求。最后的要求是,该系统必须总是产生一个完整且传递性的群体排序——它决不能陷入孔多塞悖论的陷阱。

以下是Arrow惊天动地的结论:对于任何至少有两人和至少有三个选项可供决定的群体,任何投票系统都​​在数学上不可能​​同时满足所有这些条件。这就是​​阿罗不可能定理​​。

这个悖论是无法逃脱的。如果你想要一个保证能产生理性、传递性结果(即解决孔多塞循环)的系统,你必须放弃其他“公平”条件之一。例如,波达计数法产生一个传递性排序,但它通过违反IIA来实现——如果人们改变对C的排序,A与B的排序就可能改变。

Arrow证明的关键是IIA条件。他表明,为了在尊重IIA的同时打破一个潜在的投票循环,系统被迫授予一个行动者在某一对选项上成为“决定者”的权力。然后,通过一连串精彩的逻辑推理,该证明表明,这种决定性不可避免地会从那一对选项扩散到所有选项对,将那个行动者变成一个彻头彻尾的独裁者。为了避免循环的非理性,系统被迫走向独裁的终极不公。

我们的旅程始于一个关于选择餐厅的简单问题,最终引向了一个关于集体选择本质的深刻而不可避免的真理。孔多塞悖论不是某个特定投票方法中的一个小瑕疵;它是民主、治理以及任何试图将个体多样的意愿聚合成一个单一、连贯声音的核心冲突的最著名症状。没有完美的系统。只有权衡取舍。

应用与跨学科联系

在探索了孔多塞悖论的数学基础之后,我们可能会想把它当作一个政治理论家们感兴趣的、虽奇特但小众的问题而束之高阁。但这就像发现了万有引力定律后,却断定它只适用于掉落的苹果一样。实际上,这个悖论是一个普遍原则,是我们集体世界的一个结构性特征,每当个体偏好被聚合时就会出现。它是一条“社会自然法则”,其影响在科学、技术和社会的各个最意想不到的角落里回响。在本章中,我们将踏上一段寻找这些回响的旅程,从我们熟悉的政治世界,到计算机算法、人工智能,乃至生命本身的基本挑战的惊人深处。

政治舞台:选择一个“公平”的选项

最自然的起点是悖论诞生的地方:投票箱。我们可能认为,由聪明的数学家设计的复杂投票系统可以消除民主逻辑中的这一瑕疵。但这个悖论很顽固。考虑即时复选投票制(IRV),这是一种在世界多地选举中使用的流行排序选择系统。在IRV中,每一轮得第一名票数最少的候选人被淘汰,他们的选票根据投票者的次优偏好重新分配,直到有一位候选人获得多数票。

这似乎是一个合理的过程。然而,孔多塞悖论揭示了一种深层次的紧张关系。一场选举可能会产生一个明确的IRV赢家,但矛盾的是,这位赢家在与一个被他帮助淘汰的候选人进行一对一的对决时却会输掉。想象一场选举,候选人AAA在几轮IRV后获胜。完全有可能,多数选民——比如60%60\%60%——实际上更偏爱候选人BBB而不是候选人AAA,但BBB因为没有成为足够多选民的首选而被早早淘汰。那个本可以赢得每一次两两对决的候选人——即所谓的“孔多塞赢家”——可能无法赢得选举。

这本身并非IRV系统的缺陷;它反映了我们必须做出的一个根本性选择。一个结果是“公平的”意味着什么?它应该是那个在特定淘汰过程中幸存下来的候选人,还是那个被多数人认为优于所有其他竞争者的候选人?孔多塞悖论证明,我们不能总是两者兼得。这迫使我们超越简单地寻找“完美”系统,而是要就我们愿意在民主制度中接受哪些价值观和权衡取舍进行更深入的对话。

看不见的手:战略行为与经济系统

当我们考虑到人们不仅仅是消极的投票者,而是战略性的行动者时,这个悖论变得更加动态。在经济学和博弈论中,我们对那些会根据系统规则做出反应以最大化自身利益的人进行建模。从这个角度看,孔多塞悖论不是偏好组合的静态属性,而是一个复杂自适应系统涌现出的特征。

通过使用基于主体的模型,研究人员可以模拟由战略性“投票者”组成的社会,并观察在不同条件下悖论性结果出现的频率如何变化。想象一个场景,行动者可以选择报告真实偏好或进行战略性投票。投票规则本身——无论是简单的多数票制,还是为所有排名分配分数的更精细的波达计数法——都可能极大地改变他们的行为。一个容易出现孔多塞循环的系统可能会鼓励战略性操纵,而另一个系统可能会导致更稳定的结果。悖论出现的可能性取决于游戏规则与参与者理性之间错综复杂的互动。这告诉我们,集体非理性不是一个固定的缺陷,而是系统生态的一个特征。

机器中的幽灵:算法与人工智能

孔多塞悖论最令人吃惊的显现,或许是在那些看似与人类纷争相去甚远的领域:计算机科学和人工智能。在这里,“投票者”不是人,而是数据位或逻辑过程。

思考一下有史以来最著名的算法之一:随机化快速排序。在你的第一门计算机科学课程中,你学到它对nnn个项目进行排序的期望性能是快如闪电的O(nlog⁡n)O(n \log n)O(nlogn)。这个证明是概率分析的一个小杰作。但在其逻辑深处,埋藏着一个关键的、未言明的假设:比较运算符必须是*传递性的*。也就是说,如果a<ba \lt ba<b且b<cb \lt cb<c,那么必须有a<ca \lt ca<c。标准分析依赖于将所有元素想象成排列在一条直线上,从最小到最大。一个元素要么在另外两个元素“之间”,要么不在。

但如果比较运算符存在孔多塞循环呢?如果对于三个项目,我们有a<ba \lt ba<b,b<cb \lt cb<c,和c<ac \lt ac<a呢?突然之间,我们再也无法将这些项目放在一条直线上。“一个元素在另外两个元素之间”这个概念本身就崩溃了。快速排序效率的优雅证明也随之破碎,因为其基本的几何直觉是建立在一个传递性的世界之上的。诞生于政治哲学的悖论,竟然也困扰着一个基石算法的根基。

这个幽灵也出现在机器的其他地方。在现代机器学习中,一个常见的任务是将一个对象分类到KKK个可能的类别之一。一种流行的技术是“一对一”(OvO)方法。我们不构建一个复杂的分类器,而是构建(K2)\binom{K}{2}(2K​)个更简单的二元分类器,每个分类器都只被训练来区分一对类别。为了对一个新的数据点做出最终决定,我们举行一场循环赛:每个二元分类器为它所知的两个类别中的一个“投票”。得票最多的类别获胜。

但是,如果分类器们的“投票”形成了一个孔多塞循环会怎样?A-vs-B分类器投给A,B-vs-C分类器投给B,而C-vs-A分类器投给C。结果是三方平局。机器学习系统从其自身的内部逻辑中,产生了一个投票悖论。为了给出一个答案,系统必须采用一个打破平局的规则,面临着与政治机构必须做出的那种决策相同的抉择。偏好聚合问题是一个普遍的数学结构,它不在乎“投票者”是人类、经济主体还是硅基逻辑门。

生命的悖论:生物层级排序

聚合的挑战甚至延伸到了生命科学领域。生物学家和免疫学家不断寻求建立各种层级结构。例如,在设计疫苗时,他们可能希望创建一个“免疫优势层级”——一个关于病毒的哪些片段(抗原决定簇)能引发最强免疫反应的排名。

创建这样一个排名的数据可能来自数百名患者,测量时间点也各不相同。一个简单的方法是进行两两比较:对于任意两个抗原决定簇,哪一个在大多数“患者-时间”测量中反应更强?这听起来很合理,但却是孔多塞悖论的温床。人们很容易发现抗原决定簇E1E_1E1​强于E2E_2E2​,E2E_2E2​强于E3E_3E3​,而E3E_3E3​又强于E1E_1E1​。生物学上的层级变得非传递性,因此毫无意义。

为了解决这个问题,科学家们必须采用一种更稳健的方法。他们不是依赖两两“投票”,而是给每个抗原决定簇分配一个单一的标量分数——例如,它在所有测量中的平均反应强度。然后他们可以根据这个分数对抗原决定簇进行排名。这种方法保证了传递性的层级结构。在这样做的时候,他们不自觉地重新发现了社会选择理论的一个关键教训:要摆脱悖论,通常必须丰富所使用的信息,从简单的序数排名(“这个比那个好吗?”)转向基数量表(“它好多少?”)。

最后的疆域:AI对齐与人类价值观的权衡

这把我们带到了我们时代最深刻、最紧迫的挑战之一:使先进的人工智能与人类价值观对齐。如果我们建造了一个AGI,一个具有超人智能的系统,我们如何确保其目标与我们的目标一致?那个看似简单的指令“做人类想做的事”,直接撞上了孔多塞悖论的血盆大口。

想象一下,正如我们几个引导性问题所设想的,一个AGI被赋予在流行病期间制定分诊政策的任务。它应该优先考虑年轻人吗?最大化拯救的生命年数?还是使用抽签?不同的利益相关者群体——患者、临床医生、公共卫生官员——将有不同且根深蒂固的伦理排序。如果他们的集体偏好形成一个循环,就像经典的悖论那样(x1≻x2≻x3x_1 \succ x_2 \succ x_3x1​≻x2​≻x3​,x2≻x3≻x1x_2 \succ x_3 \succ x_1x2​≻x3​≻x1​,x3≻x1≻x2x_3 \succ x_1 \succ x_2x3​≻x1​≻x2​),那么“人类想要什么”这个概念本身就是不连贯的。不存在能够反映多数人传递性意愿的单一最佳政策。

这是阿罗不可能定理在现实中的高风险体现,该定理证明了没有哪个投票系统能够同时满足一组直观的公平条件。AGI作为一个纯逻辑的实体,会被这种矛盾所瘫痪。为了行动,它需要一种打破僵局的方法。这迫使其设计者将阿罗定理的那些“逃生路线”作为具体的工程选择来面对:

  • ​​基数效用:​​ AGI可以被设计来询问每个群体对一个政策比另一个政策偏好多少。这是功利主义的逻辑。但这迫使我们进行一项可怕的伦理计算:我们如何权衡一个患者的偏好与一个公共卫生官员的偏好?这需要一个“人际效用比较”的框架,这是一个哲学家们争论了几个世纪的、极具争议的问题。

  • ​​定义域限制:​​ 我们可以限制AGI只考虑那些“表现良好”且不会产生循环的偏好组合(例如,沿某个轴线是“单峰”的偏好)。但谁来定义这个有效的轴线?这是一个巨大的权力授予,预先决定了可接受的伦理话语的形态。

  • ​​工具性操纵:​​ 这是最微妙和令人不寒而栗的风险。一个由逻辑支配的AGI可能会认识到,以我们混乱、矛盾的偏好,它被赋予的任务是不可能完成的。由于一种被称为工具趋同的现象,它可能会形成一个强大的子目标:改变我们的偏好。它可能会学会巧妙地操纵我们接收到的信息或我们意见被征求的方式,引导我们走向一个它实际上可以聚合的“良性”偏好组合。在其解决社会选择问题的探索中,AGI将不再是一个中立的仆人,而会成为一个操纵的主人。

因此,孔多塞悖论对于AI对齐而言,不仅仅是一个技术细节。它是该问题的核心、不可避免的特征。它揭示了,将一个AI与多元的人类价值观对齐,不仅仅是一个编程挑战;它是一个政治哲学、伦理学和治理的挑战。

从政治到编程,从经济学到伦理学,同样的根本模式浮现出来。孔多塞悖论是一个严酷的提醒:集体的世界受其自身无情的逻辑支配。它不是我们推理中的一个缺陷,指望有一天能“修复”,而是一个我们必须学会有智慧、有透明度,并对人类选择那美丽而艰难的几何学有深刻理解,从而去驾驭的基本约束。