激励相容
显示原理表明任何机制的均衡结果都可由一个讲真话的直接机制实现，把机制设计简化为设计使真实报告成为最优策略的规则。
所属主题：博弈论 ↗阅读路径
参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。
01定义
机制设计的核心约束：设计的规则必须让参与者在追求私利时的行为恰好实现设计者的目标。显示原理把一切机制简化为「讲真话的直接机制」——只需设计让真实报告成为最优策略的规则，激励相容从附加条件变成设计起点。
02核心要点
01
显示原理
对任何机制的任一均衡，构造直接机制：参与者只报告类型，机制替他们执行原均衡策略——结果相同且讲真话构成均衡（Myerson、Gibbard-Satterthwaite 系）。
02
IC 与 IR
激励相容（IC）让真实报告最优，个体理性（IR）让参与值得：两者加可行性就是机制设计的约束集；最优机制 = 此约束下的优化问题（常化为虚拟价值的单调分配）。
03
不可能性的一面
Gibbard-Satterthwaite 定理：三个以上备选方案下，非独裁且满射的投票机制必可操纵——激励相容不是总能达成，设计者要知道边界在哪。
03关键公式
04历史沿革
赫维茨 1960-70 年代创立机制设计框架；Myerson 与 Gibbard-Satterthwaite 1970 年代给出显示原理与不可能性定理；三人共享 2007 年诺贝尔经济学奖。
05应用与延伸
拍卖与广告竞价（谷歌 GSP）、公共品供给（Clarke 税）、匹配市场（医院-住院医）、监管合同设计。
06交互演示
第二价格拍卖：真实报价是弱占优策略效用只取决于「是否获胜」与对手报价 c，报出自己的真实价值 v₁ 永不更差