两岔
北方有座小镇叫鹤坪，去县城的路只有两条。
一条是老驿道，从镇口绕到北坡，再顺着山脊往西；远是远些，但路基宽敞，逢集日五六辆马车并排走也不挤。镇上的老人都说，这条路是祖辈用脚踩出来的，什么时候走都踏实。
另一条是新路，是县里派工开的，走南坡直插县城的东门。算脚程，足足短了三分之一。但南坡上有段挂壁路，只容一辆马车通过，逢急弯处得倒退几步才能错车。平日里这条路少有人走，可一旦有人走，就会传开——"今天谁家走新路，半个时辰就到了。"
那年开春，赶集日的清晨，镇口停着一排空马车。
王家的老大先动。他看新路上脚印稀疏，拍了拍辕马，拐进了南坡。等他到县城日头才两竿高，回程还顺手捎了一篓青盐。他逢人便笑："新路快。"
第二天清早，镇口的马车比平日多了一半。李家老二、赵家老三、孙家的两个伙计，一齐拐进了新路。挂壁路上果然热闹起来——前车不让后车，后车又急着往前挤，三辆车堵在挂壁处的急弯上，谁也走不了。等到日头西斜，最先出发的李家老二才蹭到县城门口。
回程时，王家老大听说今日新路堵了，他盘算："明日若人人都去新路，我偏走老驿道，必是头一个到。"第三日清晨，他真就上了老路，一路上空空荡荡。
可惜第四日清早，镇口的马车夫互相打量——都想着"今日新路必堵、我走旧路必快"——齐刷刷地拐上老驿道。于是老驿道也开始排起队来。旧路虽宽敞，可逢集日那两班并行的乡道也只容得三辆并排，第四辆往后就得慢慢跟。到晌午时，整条老路竟堵在北坡的拐弯处。
王家老大望着前面那排慢悠悠的马车，忽然想起去年的事：去年大家都挤新路时，他一个人走旧路，最先到。今年大家都走旧路，他又落在最后。
他下车跟前面赵家老三攀谈。赵家老三也叹气："我昨日就想，今日若人人走新路，我偏走旧路，必快。可今日人人又走旧路了。"两人相视苦笑。
后来鹤坪镇换了三任镇长，每一任上任头一件事就是喊话："乡亲们都走老路，新路留给急脚客商。"可只要有一家想"反正别人都走老路，我去新路抄近"，整个约定就崩。新路一堵，回回都怨那位偷跑的；可只要新路看起来不堵，下一个集市又有人想"试试"。
再后来，镇上的木匠干脆在挂壁路与老驿道之间开了条石板小径，专供赶急脚的脚夫和信差走。马车走不通，只有步行的能过。马车夫们反倒不再纠结了——该走新路的走新路，该走老路的走老路，谁也不必算计谁。鹤坪镇的赶集又恢复了往日的样子。
至于为什么木匠一条小路就解开了镇上几年的困，鹤坪人自己也说不清。只知道：当所有人都足够聪明地想占便宜时，他们的聪明会把所有人锁死在一个谁都不愿留下的局面里。除非有人修一条让"聪明"无从下手的新路。
概念解释
Nash 均衡（纳什均衡）：在非合作博弈中，每个参与者都在给定其他参与者策略的条件下选择了自己的最优策略，因此没有人可以通过单方面改变自己的策略来获得更好的结果。
这个概念由 John Forbes Nash Jr. 在 1950 年的博士论文《Non-Cooperative Games》中正式提出，并于 1994 年与 Harsanyi、Selten 共获诺贝尔经济学奖。Nash 还证明了一个关键事实：对任何策略有限的博弈，只要允许混合策略（即按概率选择动作），就至少存在一个 Nash 均衡。
Nash 均衡的反直觉之处在于：它描述的是"每个人都已经做得最好"的稳定状态，但这种稳定不一定是集体最优的。 鹤坪镇的马车夫们各自打着自己的算盘，最终却陷入了对所有人都不利的堵车——这就是 Nash 均衡不等于 Pareto 最优的最直观例子。
寓言 ↔ 概念对照表
| 寓言元素 | 对应概念 |
|---|---|
| 镇上赶集的马车夫们 | 博弈中的参与者（players） |
| 选老驿道 / 选新路 | 各自的策略（strategies） |
| 挂壁路急弯堵车 | 拥堵带来的负外部性（negative externality） |
| 每个人盘算"别人走啥" | 最佳应对（best response） |
| 齐刷刷拐上同一条路 | Nash 均衡 |
| 镇长喊话协调 | 试图通过口头协议达成 Pareto 最优（但不稳定） |
| 偷跑的人毁了协议 | 单方面偏离会获益 → 该协调解不是 Nash 均衡 |
| 木匠修石板小径 | 引入新策略 / 改变博弈结构（mechanism design） |
| 小路解开了困局 | 与其劝玩家改选择，不如改游戏规则 |
核心公式
Nash 均衡的数学定义：n 人博弈 $G = (S_1, \dots, S_n; u_1, \dots, u_n)$ 中，策略组合 $s^* = (s_1^*, \dots, s_n^*)$ 是 Nash 均衡，当且仅当
$$ \forall i,\; \forall s_i \in S_i:\quad u_i(s_i^*,\, s_{-i}^*) \;\ge\; u_i(s_i,\, s_{-i}^*) $$
其中 $s_{-i}^*$ 表示除玩家 $i$ 之外其他所有人的策略组合。这个不等式说的是：在均衡点上，任何一个玩家都不能通过单方面改变自己的策略而提高自己的收益。
关键要点
- 个别最优 ≠ 集体最优：Nash 均衡可能在每个参与者都已经做"对自己最好的选择"时，整体却陷入次优。这是对亚当·斯密"看不见的手"原则的一个反例——利己并不总能导出利他。
- 均衡是稳定的，但未必好：没人能通过偏离获益，所以没人会动；但这种"稳"不等于"好"，更不等于"公平"。
- 存在性定理：Nash 在 1950 年证明，任何有限策略的博弈（允许混合策略）都至少有一个 Nash 均衡——这就是为什么"齐刷刷拐上同一条路"几乎是不可避免的。
- 多重均衡：一个博弈可以有多个 Nash 均衡。鹤坪镇遇到的就是经典的猎鹿式困境：都走老路是一个均衡，都走新路也是一个均衡——两者都是稳定的，但"对所有人都更好"的解不在里面。
- 博弈设计：与其说服玩家改变选择（常常失败），不如修改游戏规则本身——木匠修小路就是这一思路的具象化。这后来发展为 Harsanyi、Selten、Myerson 等人推动的"机制设计"理论。
- 预测而非规范：Nash 均衡告诉你"博弈会稳定在哪儿"，但不告诉你"应该稳定在哪儿"。这是它在公共政策讨论中常被误用的根源。
参考文献
- Nash, J. F. (1950). Equilibrium points in n-person games. Proceedings of the National Academy of Sciences, 36(1), 48–49. https://www.pnas.org/doi/10.1073/pnas.36.1.48
- Nash, J. F. (1951). Non-cooperative games. Annals of Mathematics, 54(2), 286–295. https://www.jstor.org/stable/1929521
- Harsanyi, J. C., & Selten, R. (1988). A General Theory of Equilibrium Selection in Games. MIT Press.
- Schelling, T. C. (1960). The Strategy of Conflict. Harvard University Press.
- Skyrms, B. (2004). The Stag Hunt and the Evolution of Social Structure. Cambridge University Press.
- 维基百科：纳什均衡 https://zh.wikipedia.org/wiki/%E7%BA%B3%E4%BB%80%E5%9D%87%E8%A1%A1