📑 本页目录（点开跳转）
26 · 不可能定理
⏱ 58 分钟 ｜ ⭐⭐ 不是「投票没用」，是「你必须选择放弃哪条性质」
🎯 一句话
候选项有三个以上时，那些看起来天经地义的要求 —— 全体一致就该采纳、社会对 a 和 b 的排序不该被 c 影响、说真话不吃亏 —— 数学上无法同时满足，除非有一个人说了算。
⭐ 这一章最重要的不是定理本身，是怎么读它：不可能定理不是终点，它是一张取舍地图。现实中的每一个投票制度，都是在这张地图上选了一个位置。
📏 一、公理：把「好规则」拆成可检验的条款
第 24 章的结论是「六条规则、五个不同赢家」，第 25 章又添了第六个。结果比不出高下，就只能比性质。 这就是公理化方法：把「好」拆成一条条可以逐条检验的条款，然后问哪些条款能共存。
| 公理 | 一句话直觉 | 违反了会怎样 |
|---|---|---|
| 匿名性 Anonymity | ⭐ 换选民的名字不改结果 —— 只看有哪些票，不看谁投的 | 有人天生权重更大 |
| 中立性 Neutrality | ⭐ 换候选项的名字，结果跟着换名字 —— 不偏袒任何一个候选项 | 某个选项是「默认选项」，平局时白占便宜 |
| 单调性 Monotonicity | ⭐ 当选者被人往上提，它还得当选 | 💀 支持你反而害了你（IRV 就违反这条） |
| 帕累托最优 Pareto | ⭐ 所有人都觉得 x 比 y 好，就不能选 y | 选出一个全体一致认为更差的选项 |
| IIA（独立于无关选项） | ⭐⭐ 社会对 a、b 的排序，只能依赖大家对 a、b 的排序 | 加一个没人要的候选项，能翻转 a 和 b 的胜负 |
| 非独裁性 | ⭐ 不存在某个人，结果永远等于他的偏好 | 其余所有人的票都是摆设 |
| Condorcet 一致 | 存在 Condorcet 赢家时必须选它（第 25 章） | 选出一个打不过任何人的赢家 |
| 策略防伪 Strategyproof | ⭐⭐ 谎报偏好不可能让你得到更喜欢的结果 | 选民要猜别人怎么投，票面不再是真实偏好 |
拿第 24 章那份 14 人选票感受一下前两条：匿名性说的是，把第 1 组和第 3 组的选民互换编号，赢家必须不变；中立性说的是，把选票里所有的 $a$ 和 $b$ 对调，原本赢家是 $a$ 的话新赢家必须是 $b$。
💡 这几条的强度差别极大。 匿名性、中立性、帕累托几乎是「免费」的（绝大多数常见规则都满足）； IIA 和策略防伪则是两条极重的要求 —— 下面两个定理，恰好各卡在其中一条上。
🔬 二、IIA 为什么这么强：Borda 违反它的完整手算
IIA 的字面意思很温和：「若社会认为 $a$ 优于 $b$，那么某个选民改变了对第三个候选项 $c$ 的排位，不该改变这个结论。」听起来完全合理。但几乎没有规则满足它。
5 个选民、3 个候选项，Borda 打分 $(2,1,0)$。
轮廓一：3 人 $a\succ b\succ c$，2 人 $b\succ c\succ a$。
| a | b | c | |
|---|---|---|---|
| 3 人组 | $3\times2=6$ | $3\times1=3$ | 0 |
| 2 人组 | 0 | $2\times2=4$ | $2\times1=2$ |
| 总分 | 6 | 7 | 2 |
社会排序 $b \succ a \succ c$ —— ⭐ 社会认为 $b$ 优于 $a$。（自查：总分 $6+7+2=15=5\times3$ ✓）
轮廓二：只让 3 人组把 $c$ 提到 $b$ 之上，变成 $a\succ c\succ b$。2 人组一个字没改。
| a | b | c | |
|---|---|---|---|
| 3 人组 | $3\times2=6$ | 0 | $3\times1=3$ |
| 2 人组 | 0 | $2\times2=4$ | $2\times1=2$ |
| 总分 | 6 | 4 | 5 |
社会排序 $a \succ c \succ b$ —— ⭐⭐ 社会现在认为 $a$ 优于 $b$，翻转了。
⚠️⚠️ 关键在这里：没有任何一个选民改变过对 $a$ 和 $b$ 的看法。 3 人组两次都把 $a$ 排在 $b$ 前面，2 人组两次都把 $b$ 排在 $a$ 前面。 变的只有 $c$ 的位置，而社会对 $a$ 和 $b$ 的判断跟着翻了 —— 这就是违反 IIA。
⭐ 为什么所有位置计分规则都必然违反 IIA：计分规则看的是名次，而一个候选项的名次就是由其他候选项的位置决定的。$c$ 插到 $b$ 前面，$b$ 的名次就掉了一位，分数就变了。「看名次」和「IIA」是天然矛盾的。
💡 这也是现实里「搅局候选人」现象的数学解释：一个注定选不上的人参选，却能改变前两名谁赢。
⭐⭐ 三、Arrow 不可能定理
上面那个例子说明 Borda 不满足 IIA。那换一条规则呢？ Arrow 的答案是：别找了。
⭐⭐ 定理（Arrow 1951）：候选项 ≥ 3 时，任何社会福利函数（SWF，输出一个传递的集体排序）都不可能同时满足： ① 帕累托最优 ② IIA ③ 非独裁性
等价的、更刺耳的说法：
$$\textbf{帕累托} \;+\; \textbf{IIA} \;+\; \textbf{输出是传递的} \quad\Longrightarrow\quad \textbf{独裁}$$
为什么这个结论这么重
关键在于三条公理都弱得要命：
| 公理 | 它有多弱 |
|---|---|
| 帕累托 | 只在全体一致时才提要求。哪怕只有一个人不同意，它就什么也不说了 |
| 非独裁 | 只排除了「某一个人的偏好永远就是结果」这一种极端情况。连「两个人说了算」都不排除 |
| IIA | ⚠️ 重的是这一条 —— 但它要求的也只是「判断 a 和 b 时，只看大家怎么比 a 和 b」 |
⭐ 三条加起来看着像是「最低标准」，结果却是：满足前两条的规则只剩独裁一种。
⚠️ 这不是工程问题，是数学结论
最容易的误读是「说明现有算法不够好，再设计一个更聪明的」。 不行。Arrow 定理的陈述对象是所有从偏好轮廓到集体排序的函数 —— 包括所有还没被发明出来的。它不是说「目前找不到」，是说「不存在」。
⭐ 和 ../机器学习的数学原理/11-没有免费的午餐.html 是同一种类型的结果： NFL 说「在所有问题上平均，任何两个算法一样好」，Arrow 说「满足这三条的聚合方式只有独裁」。 两个定理都不是在唱衰，而是在告诉你：因为没有普适最优，「选哪个」本身才成了关键决策。
它和上一章的关系
第 25 章的 Condorcet 悖论（3 人 3 候选，多数关系成环 $a\to b\to c\to a$）就是 Arrow 的微缩版。多数决满足帕累托、满足 IIA、也非独裁 —— 它付出的代价，正是输出不再是一个传递的排序。
⭐ Arrow 定理可以理解成：那个环不是多数决的偶然缺陷，而是「帕累托 + IIA + 非独裁」这三条的必然后果。你把环堵死（强行要求输出传递），代价就转移成了独裁。
⭐⭐ 四、Gibbard–Satterthwaite：说真话这件事
Arrow 管的是 SWF（输出一个排序）。可现实里大多数投票只要选一个人 —— 那是 SCF。换成 SCF，Arrow 定理就不直接适用了。好消息到此为止。
先把要求说清楚：
- 满射（onto）：每个候选项至少在某种选票组合下能当选。这是极弱的要求 —— 一个永远选不上的候选项等于不存在，把它删掉就是了。
- 策略防伪（strategyproof）：⭐ 对任何选民、任何别人的投法，如实报出自己的偏好都不会比谎报更差。 说真话是（弱）占优策略。
⭐⭐ 定理（Gibbard 1973；Satterthwaite 1975）：候选项 ≥ 3 时，任何满射的社会选择函数都不可能同时满足策略防伪和非独裁性。
换句话说：$\textbf{满射} + \textbf{策略防伪} \Longrightarrow \textbf{独裁}$。
🔨 手算：plurality 怎么被操纵（还是那份 14 人选票）
回到第 24 章那份选票。第一名票数是 $a{:}5,\ e{:}4,\ d{:}3,\ b{:}2$，赢家是 $a$。
现在看第 4 组那 2 个人，他们的真实偏好是 $b\succ d\succ e\succ c\succ a$。他们把票投给了 $b$，而 $b$ 只有 2 票，注定选不上，结果是他们最讨厌的 $a$ 当选。
他们改口，把 $e$ 报成第一名：
| a | b | d | e | |
|---|---|---|---|---|
| 如实投票 | 5 ⭐ | 2 | 3 | 4 |
| 那 2 人改报 $e$ | 5 | 0 | 3 | 6 ⭐ |
⭐ $e$ 以 6 票当选。 而在他们的真实偏好里，$e$ 排第 3、$a$ 排第 5（最后一名）—— 谎报让结果从最差变成了中上。操纵成功。
💡 Borda 的操纵手法不同但更狠，叫 burying（活埋）：把最有威胁的对手压到自己票的最后一名，直接扣掉它 $m-1$ 分。第 24 章说 Borda「极易被策略性投票操纵」，指的就是这个。
⚠️ 怎么读这个定理
错误的读法：「某些规则有漏洞，换个设计好的规则就行了。」 正确的读法：⭐⭐ 任何非独裁的、每个候选项都有机会的规则，都存在可以被谎报操纵的情形。这不是漏洞，是结构。
那实践中怎么办？计算社会选择给出的一条主线是：把「操纵」变成一个算不动的问题。
| 屏障 | 说明 |
|---|---|
| 计算复杂度 | ⭐ 定理只说存在有利的谎报，没说找得到。对某些规则，计算出该怎么谎报是 NP-难的 |
| 信息不足 | 有效操纵通常需要知道别人怎么投。不公开中间计票，操纵就成了赌博 |
| 操纵有风险 | 上面那 2 个人如果误判形势，可能把 $b$ 从潜在胜者位置上白白让出去 |
⚠️ 注意这三条都是「更难」而不是「不可能」。 这是本章反复出现的模式：定理封死了「完全杜绝」，工程能做的只有「提高成本」。
🛑 读到这里可以停 —— 前半章讲完了（约 20 分钟）。 后半章还有：⭐ 结论该怎么读：一张取舍地图 · 两条真正能绕开的路 · 回望：从「一个人怎么算理性」到「一群人算不出理性」 回来的时候不用重读，直接从下一节接着看就行。
🗺️ 五、⭐ 结论该怎么读：一张取舍地图
这一节是整章、也是整个板块最该带走的东西。
| ❌ 常见误读 | ✅ 真正的含义 |
|---|---|
| 「投票没用 / 民主是幻觉」 | 定理没有比较任何两个制度的好坏，它只说不存在完美的那一个 |
| 「说明现在的规则设计得不够好」 | 陈述对象是所有可能的规则，包括还没被发明的 |
| 「所以选哪条规则都无所谓」 | ⭐ 恰恰相反：正因为必须放弃点什么，「放弃哪一条」才成了必须明确回答的问题 |
⭐⭐ 不可能定理的正确用法：它是一张地图，标出了每条路要付的过路费。
| 规则 | 它放弃了什么 |
|---|---|
| Plurality | Condorcet 一致、IIA、策略防伪。换来的是极致的简单 —— 一人一票，谁都会数 |
| Borda | Condorcet 一致（Fishburn）、IIA、策略防伪（易被 burying）。换来的是照顾整体位置 |
| IRV | ⭐ 单调性（把某候选项往上提反而可能害它落选）。换来的是抗票源分裂 |
| Copeland / Kemeny | IIA；Kemeny 还放弃了可计算性（NP-难）。换来的是 Condorcet 一致 |
| 独裁 | 非独裁性（废话）。⭐ 但它确实同时满足帕累托、IIA、策略防伪、传递输出 —— 这正是 Arrow 和 G–S 说的那个唯一出口 |
⭐ 所以「用哪条投票规则」从来不是一个纯技术问题。 技术能告诉你每个选项的代价是什么，但「我们这个场景最不能忍受哪种失败」是一个价值判断，得由人来做。 议会选举怕的是票源分裂（所以很多国家用两轮决选或 IRV）；评奖怕的是「大家的共同次选被埋没」（所以常用 Borda 或 approval）。怕的东西不一样，该放弃的性质就不一样。
🚪 六、两条真正能绕开的路
不可能定理都有前提。前提被破坏，结论就不成立。讲义给的两条路，恰好各破坏了一个前提。
① 域限制：如果偏好没那么自由
Arrow 和 G–S 都要求规则在所有可能的偏好轮廓上都有定义。如果现实中的偏好本来就有结构呢？
单峰偏好（single-peaked）：存在一个把候选项从左到右排开的次序 $>$，使得每个选民都有一个最爱（峰），并且离峰越远越差。形式化：若 $a$ 落在 $b$ 和该选民的峰之间，则她偏好 $a$ 胜过 $b$。
💡 现实中什么时候会这样：空调设定温度、政治光谱上的左右、预算规模、罚款额度 —— ⭐ 凡是候选项本身能排成一条一维的轴，偏好就很可能是单峰的。
🔨 手算验证（候选项轴为 $A<B<C<D<E$）：
| 选民 | 偏好 | 峰 | 单峰吗 |
|---|---|---|---|
| 1 | $A\succ B\succ C\succ D\succ E$ | A | ✅ 从峰出发一路向右递减 |
| 2 | $B\succ C\succ D\succ E\succ A$ | B | ✅ 右侧 $C\succ D\succ E$ 递减，左侧只有 $A$ 且排最后 |
| 3 | $C\succ B\succ D\succ A\succ E$ | C | ✅ 右侧 $C\succ D\succ E$，左侧 $C\succ B\succ A$，两侧各自递减 |
中位选民规则：只问每个人的峰在哪，选出中位数那个峰。这里三个峰是 $A,B,C$，中位是 ⭐ $B$。
验证 $B$ 确实是 Condorcet 赢家：$B$ 对 $A$ 是 2:1（选民 2、3），$B$ 对 $C$ 是 2:1（选民 1、2），$B$ 对 $D$ 和 $E$ 都是 3:0。✅
⭐⭐ 定理（Black 1948）：奇数个选民、偏好都是单峰的，则 Condorcet 赢家一定存在，而且中位选民规则会选中它。
更值钱的是：中位选民规则还是策略防伪的。 谎报自己的峰，要么不改变中位，要么把中位往远离你真实偏好的方向推 —— 怎么骗都不划算。
⚠️ 注意这不叫「推翻了定理」，叫「换了一个更小的输入域」。 代价很实在：你得先确认偏好真的是单峰的（Bartholdi & Trick 1996 证明这可以在多项式时间内判定），而现实中的议题往往是多维的 —— 一旦有两个互相独立的争议轴，单峰性立刻消失。
② 随机化：如果输出可以是概率
社会决策方案（SDS）：$F:\mathcal{L}(A)^n\to\Delta(A)$，输出一个概率分布而不是一个确定的赢家。G–S 定理的前提是输出确定，这条路直接绕过了那个前提。
随机独裁（Random Dictatorship）：随机抽一个选民，选他的第一名。等价说法是每个候选项的中签概率正比于它的 plurality 得分。
🔨 手算（3 人 3 候选，$1{:}\,a\succ b\succ c$，$2{:}\,b\succ a\succ c$，$3{:}\,b\succ c\succ a$）：第一名票数 $a{:}1,\ b{:}2,\ c{:}0$，于是
$$p(a)=\tfrac13,\quad p(b)=\tfrac23,\quad p(c)=0$$
⭐⭐ 定理：随机独裁是唯一同时满足匿名性 + 策略防伪 + 帕累托最优的 SDS。 三条全都满足了 —— 代价只有一条：结果不确定。
对照组：Borda 比例（概率正比于 Borda 分）。同一份选票，Borda 分是 $a{:}3,\ b{:}5,\ c{:}1$（自查：总分 $9=3\times3$ ✓），于是 $p=(\tfrac39,\tfrac59,\tfrac19)$。它也是策略防伪的，但 ⚠️ 可能给帕累托被支配的候选项非零概率 —— 上例中若某个选项被所有人一致认为更差，它照样能分到概率。
| 路 | 破坏了哪个前提 | 拿回了什么 | 代价 |
|---|---|---|---|
| 域限制（单峰） | 「规则要在所有轮廓上有定义」 | Condorcet 赢家存在 + 中位选民规则策略防伪 | ⚠️ 得先验证单峰；多维议题上不成立 |
| 随机化（SDS） | 「输出是确定的一个赢家」 | 匿名 + 策略防伪 + 帕累托同时满足 | ⚠️ 结果不确定，同一份选票可能选出不同的人 |
⭐⭐ 这张表才是不可能定理的正确使用方式。 定理不告诉你该选哪条路，它告诉你每条路的过路费是多少。 你要做的是回答一个非技术问题：在你这个场景里，哪一种失败最不能忍受？
🎬 七、回望：从「一个人怎么算理性」到「一群人算不出理性」
这是全板块最后一章正文，值得回头看一眼这条线是怎么走过来的。
| 走到哪 | 结论 |
|---|---|
| 07 偏好与效用 | 一个人只要偏好完全且传递，就能用一个效用函数完整表示。理性是良定义的 |
| 08 期望效用 | 加上不确定性也没事 —— vNM 定理说，理性仍然可以浓缩成一个数 |
| 11 纳什均衡 | 两个人开始互相依赖。均衡一定存在（Nash 1950），但可能有多个、可能低效 |
| 22 联盟博弈 | 一群人合作能创造价值，但「怎么分」可能让核心为空 —— 没有大家都不想退出的分法 |
| 26（本章） | ⭐⭐ 一群人想把各自的理性偏好聚合成一个集体偏好 —— 数学上做不到，除非独裁 |
⭐⭐ 整条线最深的一句话： 理性在个体层面是良定义的，在集体层面不是。 一个人可以有传递的偏好；一群同样理性的人，他们的多数关系却能成环 （第 25 章那个 $a\to b\to c\to a$）。 「集体理性」不是一个可以直接继承的性质，它是要被设计出来的 —— 而设计必然有代价。
💡 这也解释了为什么前面那么多章都在讲机制设计（16–21）： 既然没有普适最优的聚合方式，剩下能做的就是针对具体场景，明确地选择放弃什么、保住什么。 稳定匹配放弃了「两边都最优」（17 章：谁提案谁受益）； EF1 放弃了完全无嫉妒（19 章：不可分物品下 EF 常常不存在）； GSP 放弃了多位置的激励相容（推荐算法 15b）。 全是同一件事的不同版本。
🔗 这一章连到哪里
| 去哪 | 为什么 |
|---|---|
| 24 · 投票规则 · 25 · Condorcet 与锦标赛解 | ⭐ 本章的公理是用来评判那两章的规则的。回去对着「六条规则五个赢家」再看一遍那张取舍地图，会比第一次读有感觉得多 |
| 16 · 机制设计在解什么 | 策略防伪（SP）这个性质是在那一章提出来的。G–S 定理告诉你：在投票这个场景里，SP 和非独裁不可兼得 —— 那一章列的「想要的性质」，这一章给出了它们的边界 |
| ../机器学习的数学原理/11-没有免费的午餐.html | ⭐⭐ 同一类结果的另一个实例。NFL 说「在所有问题上平均，任何两个算法一样好」，Arrow 说「满足这三条的聚合只有独裁」。两者都不是唱衰，而是说：因为没有普适最优，「选哪个」本身才是关键决策 |
| ../推荐算法/15b-广告-从推荐到竞价.html | 想看一个「明知有缺陷仍然被全行业采用」的真实机制：GSP 不是多位置激励相容的，工业界照用不误，因为它可解释。那一章讲了这笔账怎么算 |
| 27 · 实战与挑战项目 | 把本章的规则和公理写成代码，亲手在同一份选票上跑出不同赢家 |
✅ 检查点
- 公理化方法要解决什么问题？为什么第 24、25 章之后必须引入它？
- 用 5 个选民、3 个候选项说明 Borda 违反 IIA。关键在于谁没有改变什么？
- 为什么说「所有位置计分规则都必然违反 IIA」？
- Arrow 定理的三条公理各是什么？为什么说「三条都弱得要命」反而让结论更重？
- 「Arrow 定理说明现有算法不够好，再设计一个更聪明的就行」—— 错在哪？
- 第 25 章的 Condorcet 悖论和 Arrow 定理是什么关系？
- Gibbard–Satterthwaite 定理的陈述是什么？它和 Arrow 管的对象有什么不同？
- 还是那份 14 人选票，第 4 组的 2 个人怎么通过谎报改变结果？改完谁当选、票数多少？
- 既然操纵总是存在，实践中靠什么挡？这三条屏障有什么共同的局限？
- 绕开不可能定理的两条路各破坏了哪个前提？各自的代价是什么？
- 随机独裁满足哪三条性质？它的唯一性结论是什么？
👀 答案
- 第 24 章得到「六条规则、五个不同赢家」，第 25 章又添一个 —— ⭐ 结果本身比不出高下，就只能比性质。公理化方法把「好规则」拆成一条条可逐条检验的条款，然后问哪些条款能共存。
- Borda 打分 $(2,1,0)$。轮廓一（3 人 $a\succ b\succ c$，2 人 $b\succ c\succ a$）总分 $a{:}6,\ b{:}7,\ c{:}2$ → 社会认为 $b\succ a$。轮廓二只让 3 人组把 $c$ 提到 $b$ 之上（$a\succ c\succ b$），总分变成 $a{:}6,\ b{:}4,\ c{:}5$ → 社会认为 $a\succ b$，翻转了。⭐⭐ 关键：没有任何一个选民改变过对 $a$ 和 $b$ 的相对看法 —— 3 人组两次都是 $a$ 在 $b$ 前，2 人组两次都是 $b$ 在 $a$ 前。变的只有 $c$ 的位置。
- 因为计分规则看的是名次，而一个候选项的名次就是由其他候选项的位置决定的。$c$ 插到 $b$ 前面，$b$ 的名次掉一位、分数就变了。⭐ 「看名次」和「IIA」天然矛盾。 这也是「搅局候选人」现象的数学解释。
- ① 帕累托最优 ② IIA ③ 非独裁性（外加输出必须是传递的排序，候选项 ≥3）。⭐ 三条都极弱：帕累托只在全体一致时才提要求；非独裁只排除了一个人说了算这一种极端；IIA 也只要求「判断 a、b 时只看大家怎么比 a、b」。看着像最低标准，结果满足前两条的只剩独裁一种 —— 正因为前提弱，结论才强。
- 错在把它当工程问题。⭐⭐ Arrow 定理的陈述对象是所有从偏好轮廓到集体排序的函数，包括所有还没被发明出来的。它不是「目前找不到」，是「不存在」。
- Condorcet 悖论（多数关系成环 $a\to b\to c\to a$）是 Arrow 的微缩版。多数决满足帕累托、IIA、非独裁 —— 它付出的代价正是输出不再传递。⭐ 那个环不是多数决的偶然缺陷，是「帕累托+IIA+非独裁」的必然后果；强行要求输出传递，代价就转移成独裁。
- 候选项 ≥3 时，任何满射的社会选择函数（SCF）都不可能同时满足策略防伪和非独裁性，即 $\textbf{满射}+\textbf{策略防伪}\Rightarrow\textbf{独裁}$。区别：Arrow 管 SWF（输出一个排序），G–S 管 SCF（输出一个赢家） —— 现实中大多数投票只选一个人，所以 G–S 更贴近实践。
- 真实偏好 $b\succ d\succ e\succ c\succ a$。如实投票时首位票 $a{:}5,\ e{:}4,\ d{:}3,\ b{:}2$，$a$ 当选（他们最讨厌的）。把 $e$ 报成第一名后：$a{:}5,\ b{:}0,\ d{:}3,\ e{:}\mathbf{6}$ → ⭐ $e$ 以 6 票当选。$e$ 在他们真实偏好里排第 3、$a$ 排第 5 —— 谎报把结果从最差变成中上。
- 三条屏障：计算复杂度（定理只说存在有利谎报，没说找得到；对某些规则计算操纵是 NP-难）、信息不足（有效操纵通常要知道别人怎么投）、操纵有风险（误判形势可能白白让出本可争取的位置）。⚠️ 共同局限：三条都是「更难」而不是「不可能」 —— 定理封死了「完全杜绝」，工程只能「提高成本」。
- 域限制破坏「规则要在所有轮廓上有定义」→ 拿回 Condorcet 赢家存在 + 中位选民规则策略防伪；代价是得先验证单峰、多维议题上不成立。随机化破坏「输出是确定的一个赢家」→ 拿回匿名+策略防伪+帕累托同时满足；代价是结果不确定，同一份选票可能选出不同的人。
- 匿名性 + 策略防伪 + 帕累托最优。⭐⭐ 唯一性结论：随机独裁是唯一同时满足这三条的 SDS。对照 Borda 比例：它也策略防伪，但 ⚠️ 可能给帕累托被支配的候选项非零概率。
🛑 可以停在这里
⚡ 走神救援
第 24、25 章的结论是「同一份选票、六条规则、五个赢家」，⭐ 结果比不出高下就只能比性质 —— 这就是公理化方法：把「好规则」拆成可逐条检验的条款。八条公理里，匿名性/中立性/帕累托几乎是免费的，⭐⭐ 重的是 IIA 和策略防伪，而两个不可能定理恰好各卡在其中一条。IIA 说「社会对 a、b 的排序只能依赖大家对 a、b 的排序」，听着温和，但 Borda 手算就翻车：5 个选民、打分 $(2,1,0)$，轮廓一总分 $a{:}6,b{:}7,c{:}2$（社会认为 $b\succ a$），只让 3 人组把 $c$ 提到 $b$ 之上，总分变成 $a{:}6,b{:}4,c{:}5$（社会认为 $a\succ b$，翻转）—— ⚠️ 没有任何人改变过对 a 和 b 的看法。⭐ 根因：计分规则看名次，而名次由其他候选项的位置决定，「看名次」和 IIA 天然矛盾 —— 这就是「搅局候选人」的数学解释。⭐⭐ Arrow（1951）：候选项 ≥3 时，帕累托 + IIA + 输出传递 ⟹ 独裁。三条公理弱得要命（帕累托只在全体一致时说话，非独裁只排除一个人说了算），正因为前提弱，结论才强。⚠️ 最常见的误读是「再设计个更聪明的规则」—— 不行，它的陈述对象是所有可能的规则，包括还没发明的。第 25 章的 Condorcet 环是它的微缩版：多数决满足三条，代价是输出不传递；你把环堵死，代价就转移成独裁。⭐⭐ Gibbard–Satterthwaite（1973/75）：候选项 ≥3 时，满射 + 策略防伪 ⟹ 独裁（管的是 SCF 输出一个赢家，比 Arrow 更贴近实践）。手算：那份 14 人选票首位票 $a{:}5,e{:}4,d{:}3,b{:}2$，$a$ 当选；第 4 组 2 人真实偏好 $b\succ d\succ e\succ c\succ a$，把 $e$ 报成第一 → $e$ 得 6 票当选，结果从他们的最差变成中上，操纵成功。Borda 的手法叫 burying（把威胁最大的对手压到最后一名）。实践中靠三条屏障挡：计算复杂度（找操纵可能 NP-难）、信息不足、操纵有风险 —— ⚠️ 三条都是「更难」不是「不可能」：定理封死了完全杜绝，工程只能提高成本。⭐⭐ 最该带走的是那张取舍地图：Plurality 放弃 Condorcet 一致和 IIA 换极致简单；Borda 放弃 IIA 和抗操纵换照顾整体位置；IRV 放弃单调性换抗票源分裂；Kemeny 放弃可计算性（NP-难）换 Condorcet 一致。「用哪条规则」从来不是纯技术问题 —— 技术只能标出每条路的过路费，「最不能忍受哪种失败」是价值判断。绕开的路有两条，各破坏一个前提：域限制（单峰偏好 → 中位选民规则策略防伪，⚠️ 但多维议题上不成立）和随机化（⭐ 随机独裁是唯一同时满足匿名+策略防伪+帕累托的 SDS，代价是结果不确定）。⭐⭐ 整个板块最深的一句：理性在个体层面是良定义的，在集体层面不是 —— 一个人可以有传递的偏好，一群同样理性的人的多数关系却能成环。「集体理性」不能直接继承，只能被设计出来，而设计必然有代价。
下一节 👉 27-实战与挑战项目.md