系统会滑向哪里：预测的单位
纳什均衡是这样一种状态：给定别人的做法，没有任何人愿意单方面改变自己的做法。它未必是好结局——囚徒困境里两人都背叛就是均衡，尽管两人都合作对彼此更好。这正是全站第一课：均衡回答"会发生什么"，不回答"什么是好的"。个体理性与集体最优之间的裂缝，就是机制设计的全部工作面。
读均衡的实战姿势：看到一个反复出现、屡教不改的行为模式（会议没人先发言、渠道集体刷单、报价一律灌水），先假设它是某个博弈的均衡——然后找出支撑它的支付结构，而不是谴责玩家的品格。
谢林的两件软兵器
聚焦点（focal point）：没有沟通时，人们靠"显著性"协调。谢林的著名实验：明天在纽约见一个无法联系的人，你去哪？多数人答"正午的中央车站"——没有任何规则规定，但大家都预期大家会这么想。先例、整数、默认选项、"惯例"之所以强大，是因为协调博弈里显著性本身就是引力。
可信承诺（credible commitment）：谢林最反直觉的洞见——砍掉自己的选项反而增强谈判力。烧掉退路的军队、公开立下的军令状、写进合同的违约金，都是在让"我不会退让"从空话变成物理事实。威胁与许诺的价值不取决于狠不狠，取决于对方是否相信你事到临头真的会执行——所以理性的策略家会主动给自己戴上镣铐。
让说真话成为最优策略
机制设计的核心困难只有一个：你需要的信息（估值、成本、偏好）在玩家肚子里，而玩家会撒谎谋利。激励相容（IC）是对规则的要求：在这套规则下，如实申报恰好是每个玩家的最优选择——不靠觉悟，靠算术。
维克里拍卖是教科书样本：出价最高者得，但只付第二高价。你的出价只决定"是否赢"，不决定"付多少"，于是虚报毫无收益：报高了可能亏本买下，报低了可能错失本可赚的交易——如实出价是占优策略（去下面的实验台亲手验证）。迈尔森的显示原理进一步说：任何机制能实现的结果，都存在一个等价的"直接说真话"机制——所以设计时只需在 IC 机制里找，搜索空间瞬间可控。
维克里实验台
一件古董要拍卖。你的真实估值是 70（只有你知道），对手是三位估值随机（0–100 均匀分布）的竞拍者。选一种拍卖制，定一个出价，模拟一万场，看平均利润——然后点「扫描全部出价」，找出真正的最优出价在哪。
你会看到：二价拍卖里利润曲线的顶点恰好在 70——你的真实估值，多报少报都亏；一价拍卖的顶点在 70 之下（约 52），必须"藏价"，而藏多少取决于你对对手的猜测。这就是激励相容的手感：好机制把"算计"这道工序从玩家肩上卸掉了。
逆向的博弈论：边界与突破口
赫维茨的框架把设计问题标准化：设计者定规则（谁能做什么、结果怎么定、钱怎么转），玩家带着私人信息入场博弈，设计目标是让均衡结果满足你要的性质（效率、收入、公平、真话）。但这门手艺有铁栅栏——Gibbard–Satterthwaite 定理：足够一般的投票场景里，不可操纵的规则只剩独裁。不可能性定理不是丧钟，是地图：它标出哪些性质不能兼得，逼你诚实地选择放弃哪个（就像 CAP 定理之于分布式系统）。
突破口在于收窄场景：允许转移支付（拍卖）、限制偏好结构（匹配）、允许近似最优——三条路各自长出了成熟的工程学。
有价格的机制车间
四种经典拍卖（英式升价、荷兰式降价、一价密封、二价密封）表面迥异，收入等价定理却说：在基准假设下（风险中性、独立私人估值），它们给卖家的期望收入一样。Milgrom 的落地经验全在基准假设失效的地方：估值相关时升价拍卖更能释放信息；竞拍者怕的是赢者诅咒——共同价值拍卖里，赢的那个往往是估计最乐观的那个，赢本身就是坏消息，理性玩家必须为此折价。
现代变体已是基础设施：频谱的同时多轮拍卖、广告位的 GSP 与 VCG、Google 2019 年整体切换到一价制引发的行业震动——每次改制都是一次真金白银的机制实验。
不许谈钱的机制车间
器官、学位、住院医师职位——社会不允许价格出清这些市场（Roth 称此为"厌恶性交易"约束），但它们仍是市场，仍会失灵。Gale–Shapley 延迟接受算法是这里的维克里拍卖：申请方逐轮求偶、接收方"暂收不定"，收敛到稳定匹配——不存在一对彼此都更想私奔的组合，市场因此不会解体。对申请方，它还是防策略的：如实排序志愿是最优。
Roth 的诊断三件套适用于一切市场（包括你的招聘流程与平台）：市场要厚（参与者足够多）、要快（不拥堵，交易来得及处理）、要安全（说真话不吃亏、参与不后悔）。三者缺一，玩家就会抢跑、场外交易、策略性报价——市场自己拆自己的台。