【锚点】这一篇只钉一个判断：strategy-proof 不是「公平」，它是把竞争从【信息】重新分配到【优先级】。而优先级（学区房、sibling、walk zone、抽签号）往往是整条链上最不平等的一环。所以「让机制说真话」可能只是让不平等变得不可见，而不是让它消失。

一、Boston 机制怎么运作 波士顿公立学校 2005 年之前用的算法，规则极简：第一轮只看第一志愿；某校超额，按优先级录满；没录上的进入下一轮看第二志愿，但只看「还有空位」的学校。这就是 Boston mechanism。 关键性质：它【不是 strategy-proof】。把「最想去的学校」放第一，可能让你在第一轮被挤掉，然后连第二志愿的好学校也满了。你的最优申报不等于你的真实偏好。

二、一个 3×3 的最小反例 三所学校 A、B、C，各 1 个名额；三个学生 1、2、3。 真实偏好：1: A>B>C；2: A>B>C；3: B>A>C。 优先级：A 校 2>1>3；B 校 1>3>2。

如实申报（都报真实第一志愿）： 第一轮：A 收到 {1,2} → 按优先级录 2；B 收到 {3} → 录 3。 第二轮：学生 1 报 B，B 已满 → 落到 C。 【结果】1→C，2→A，3→B。

学生 1 改报 B 第一： 第一轮：B 收到 {1,3} → 按优先级 1>3 → 录 1。 【结果】1→B，2→A，3→C。

学生 1 从 C 升到 B，代价是学生 3 从 B 掉到 C。这就是操纵的收益，它是可计算的，不是理论恐吓。

三、这不是思想实验 Pathak & Sönmez (2008, AER) 用波士顿改革前的实际申报数据做了这件事：相当一部分家庭的第一志愿并非其真实首选，而且这种策略性申报与家庭的社会经济条件系统相关——信息多、懂规则的家庭更会玩，低收入家庭更可能如实申报然后吃亏。Abdulkadiroğlu, Pathak, Roth & Sönmez (2006) 记录了 2005 年波士顿把机制换成延迟接受（DA）的改革，核心论证不是「DA 更有效率」，而是「DA 让如实申报成为最优策略，于是竞争从信息回到优先级」。

四、反直觉的地方：DA 是 strategy-proof，但不必帕累托有效 Dubins & Freedman (1981) 与 Roth (1982) 证明：学生提议的 DA 对学生 strategy-proof，且是所有稳定匹配中学生最优的那个。但【稳定 ≠ 帕累托有效】。 最小反例：两校 A、B 各 1 名额，两学生。偏好 1: A>B；2: B>A。优先级：A 校 2>1；B 校 1>2。 DA：1 申请 A 被拒（A 优先 2）→ 申请 B；2 申请 B 被拒（B 优先 1）→ 申请 A。 【结果】1→B，2→A，两人都拿第二志愿。 但 (1→A, 2→B) 让两人都拿第一志愿——严格帕累托改进。它不稳定（2 会嫉妒 1 在 A）。稳定与帕累托有效在这里直接冲突。Kesten (2010) 的 EADAM 就是想在补偿优先级受益者的前提下回收这部分效率。

五、方法论教训（我真正想钉的） 1. 「如实申报」是一个可检验的行为预测，不是道德要求。它的价值在于把不可观测的策略能力从分配函数里删掉——但删掉之后，剩下的优先级必须被公开审视。 2. 说「DA 更有效率」之前，必须声明在哪个分配集合上取 Pareto。stable 集合内的 Pareto 最优 ≠ 全局 Pareto 最优。这是「比值型结论先查分母」的同类错误：先查可行集。 3. strategy-proof、stable、efficiency 是三个独立坐标，没有机制能占满。教育分配里所有真实争论，本质是在这三个坐标上选一个可接受的不完美角点。

【流程节点链路】真实偏好异质 → Boston 机制下第一志愿优先 → 策略性申报有正收益 → 收益与信息/规则理解相关 → 分配结果部分由「谁会玩」决定 → 换成 DA → 策略收益归零 → 分配结果由优先级与抽签决定 → 终点：不平等没有被消除，只是从「信息」迁移到「优先级」，而后者更不可见、更难申诉。

六、留一个值得辩论的问题 如果 strategy-proof 只是把不平等从【可见的信息博弈】迁移到【不可见的优先级】，那么「机制设计改善了公平」这个说法，到底在改善什么？ 我的答案：它改善的是【可预测性】和【可申诉性】，而不是【分配结果的分布】。可预测性本身有真实价值——家庭能规划、能预期、能对结果申诉（因为规则公开、可复核）。但它不等于公平。把「可预测」偷换成「公平」，是教育政策评估里最常见的一次分母偷换：你在评估「运气是否被规则约束」，却把它报成了「结果是否更均等」。

所以真正该问的不是「哪种机制更公平」，而是：这套优先级本身，是谁定的、能不能被审计、被谁承担了成本？——机制设计只能保证「在给定优先级下没人能靠撒谎占便宜」，它永远无法回答「优先级本身是否正当」。后者是政治问题，不是博弈论问题。把这两层混在一起，机制设计就会被当成公平的护身符，而它其实只是一台把不平等重新编码的机器。

# 博弈论 #机制设计 #教育经济学 #匹配市场 #Boston机制