1704420050
也就是说，如果买方选择一个线性战略，则卖方的最优反应也是线性的。要使参与双方的线性战略成为彼此战略的最优反应，由（3.2.5）可知cb=2/3，ab=as/3，由（3.2.6）可知cs=2/3，as=（ab+cb）/3。那么，线性均衡战略为
1704420051
1704420052
1704420053
1704420054
1704420055
且
1704420056
1704420057
1704420058
1704420059
1704420060
如图3.2.2所示。
1704420061
1704420062
前面讲过，双向拍卖中当且仅当pb＞ps才发生交易，合并（3.2.7）和（3.2.8）的条件可知，在线性均衡中，当且仅当vb＞vs+（1/4）时才会有交易发生，如图3.2.3所示（与图3.2.3的表示相印证，图3.2.2说明了卖方的类型高于3/4时，他出的卖价超过了买方的最高可能出价pb（1）=3/4，并且买方的类型低于1/4时，他出的买价低于卖方的最低可能要价ps（0）=1/4）。
1704420063
1704420064
1704420065
1704420066
1704420067
图3.2.2
1704420068
1704420069
1704420070
1704420071
1704420072
图3.2.3
1704420073
1704420074
比较图3.2.1和图3.2.3，它们分别表示出在单一价格均衡及线性均衡中，交易发生所要求的估价组合。在这两种情况中，交易的潜在价值最大时（具体地讲，当vs=0且vb=1时），都将会发生交易。但是，单一价格均衡漏过了一些有价值的交易（比如vs=0且vb=x-ε，其中ε是足够小的正数），而且还包含了一些几乎没有什么价值的交易（比如且vs=x-ε且vb=x+ε）。相反，在线性均衡中，漏过了所有价值不大的交易，只包含了价值至少在1/4以上的交易。这表明从参与者可得到的期望获益的角度，线性均衡要优于单一价格均衡，但同时还需要研究是否存在另外的均衡，其中参与者福利状况要更好。
1704420075
1704420076
迈尔森和萨特思韦特（Myerson&Satterthwaite，1983）证明，对于这里考虑的估价的均匀分布，双向拍卖的线性均衡中参与者的期望获益高于博弈的其他任何贝叶斯纳什均衡（包含但不只限于单一价格均衡）。这意味着在双向拍卖中，不存在这样的贝叶斯纳什均衡：交易当且仅当有效率时将会发生（即当且仅当vb≥vs时）。他们同时证明后一结果相当普遍：如果vb在区间[xb，yb]连续分布，vs在区间[xs，ys]连续分布，其中ys＞xb且yb＞xs，则买方和卖方之间不存在他们所乐于进行的讨价还价博弈，在其贝叶斯纳什均衡中，当且仅当有效率时交易发生。在下一节，我们要简要介绍如何应用显示原理证明这一普遍的结果。作为对本节的总结，我们把这一结果具体运用于霍尔和拉齐尔的就业模型：如果企业有关于工人边际产出（m）的私人信息，工人则掌握自己机会成本（v）的私人信息，则企业和工人之间不存在他们乐于进行的讨价还价博弈，当且仅当雇佣有效率（即m≥v）时达成雇佣协议。
1704420077
1704420078
1704420079
1704420080
1704420081
博弈论基础 [:1704417430]
1704420082
博弈论基础 3.3 显示原理（The Revelation Principle）
1704420083
1704420084
显示原理在贝叶斯博弈的条件下最先由迈尔森（1979）提出（其他相关条件下有不同学者也提出过类似的结果），是在参与者掌握私人信息时进行博弈设计的重要工具。它可应用于前两节讲过的拍卖及双边贸易问题，以及其他很多类似的问题。本节我们先给出并证明静态贝叶斯博弈的显示原理（将证明结果扩展到包含动态贝叶斯博弈十分简单）。不过，在这之前，我们简要介绍显示原理应用于拍卖及双边贸易问题中时所起的作用。
1704420085
1704420086
考虑卖方希望设计一个拍卖以使他的期望收入最大化，逐一列出卖方可能考虑的不同的拍卖方式是一项艰巨的工作，例如在第3.2.B节的拍卖中，出价最高的投标方付钱给卖方并得到商品，但还存在许多其他可能。如投标方可能还需要支付一定的进入费用，更为一般地，一些失败的投标方也不得不付出一些钱，其数量也许依赖于自己和其他人的投标价格。另外，卖方也可能会制定一个底价——低于此价格的投标价将不会被接受。其他情况还包括，物品可能会有一定的概率卖不出去，而物品的确卖出时，也不总是卖给出价最高的投标方。
1704420087
1704420088
这时卖方就可以借助于显示原理来使他的问题得到非常大的简化，这有两个方面。第一，卖方可以将其分析集中在以下类型的博弈：
1704420089
1704420090
1.投标方同时声明（也许是不诚实的）他们自己的类型（即他们各自的估价）。投标方i可以自称其类型为i的可行类型集Ti中的任意τi，而不论他的真实类型ti是什么。
1704420091
1704420092
2.在给定的投标方的声明（τ1，…τn）下，投标方i以q1（τ1，…，τn）的概率支付xi（τ1，…，τn）得到标的物品。对所有可能的声明组合（τ1，…，τn），概率q1（τ1，…，τn）+…+qn（τ1，…，τn）之和必须小于或等于1。
1704420093
1704420094
这种类型的博弈（即每一参与者惟一的行动就是宣布自己所属类型的静态贝叶斯博弈）称为直接机制（direct mechanism）。
1704420095
1704420096
第二，根据显示原理，卖方又可以把分析集中到这样的直接机制，其中每一投标方实话实说构成一个贝叶斯纳什均衡——也就是，设计适当的支付和概率函数{x1（τ1，…，τn），…，xn（τ1，…，τn）；q1（τ1，…，τn），…，qn（τ1，…，τn）}使得每一参与者i的均衡战略是宣布τi（ti）=ti，对每一Ti中的ti都是如此。实话实说形成贝叶斯纳什均衡的直接机制叫做 激励相容 （incentive-compatiable）。
1704420097
1704420098
在拍卖设计之外的其他问题上，显示原理同样可以用于这两个方面。任何贝叶斯博弈的任何贝叶斯纳什均衡都可以重新表示为经过适当设计的一个新的贝叶斯博弈的新的贝叶斯纳什均衡，这里的“重新表示”我们指对每一可能的参与者的类型组合（t1，…，tn），新的均衡下参与者的行动和收益与旧的均衡下完全相同。不论原博弈是什么样子，新的贝叶斯博弈总是一个直接机制。更为正式地：
1704420099