1704420815
谈判博弈最多持续两个时期。在第一个时期，工会给出工资要价w1，如果企业接收该要价，则博弈结束：工会的收益为w1，企业收益为π-w1（上述收益为参与双方在商定的整个合同期间——一般为三年——工资与（净）利润的现值）。如果企业拒绝要价，博弈进入第二时期，工会给出第二个工资要价w2。如果企业接受这一要价则参与双方的收益现值分别为（按第一时期的口径）：工会δw2，企业δ（π-w2），这里的δ既反映了折现因素，又体现出因谈判延长使有效的合同期较第一期变短而带来的收益减少。如果企业拒绝工人的第二个要价，则博弈结束，双方参与者的收益均为0。在更为现实的模型中，可能会允许谈判一直进行下去，直至达成一致，或者在长时间的罢工之后，强制双方遵守有约束力的仲裁结果，参见索贝尔和高桥（1983）及习题4.12中对无限情况的分析。
1704420816
1704420817
在这一模型中，定义及推导精炼贝叶斯均衡稍微有些复杂，但最终结果却很简单，又十分直观，因此我们首先给出此博弈惟一的精炼贝叶斯均衡，并由此开始进行分析。
1704420818
1704420819
·工会第一时期的工资要价为
1704420820
1704420821
1704420822
1704420823
1704420824
·如果企业利润π超出
1704420825
1704420826
1704420827
1704420828
1704420829
则企业接受w1*；否则，企业拒绝w1*。
1704420830
1704420831
·如果第一期的要价被拒绝，工会修校其对企业利润的推断：工会推断π服从[0，π1*]区间的均匀分布。
1704420832
1704420833
·工会第二期的工资要价（在w1*被拒绝的条件下）为
1704420834
1704420835
1704420836
1704420837
1704420838
·如果企业利润π高于w2*，则企业接受要价，否则便拒绝。
1704420839
1704420840
也就是说，在每一期，高利润企业接受工会的要价，而低利润企业拒绝，并且工会第二期的推断反映出高利润企业将会接受第一期要价的事实。（请注意，这里用词方面的细微变化，我们既可以指一家企业有许多可能的利润类型，有可以指多家企业各有不同的利润水平。）在均衡条件下，低利润企业忍受一个时期的罢工，以降低工会第二期的工资要价。不过，利润非常低的企业发现，即使第二期降低了的工资要价仍然过高，无法接受，便再次拒绝。
1704420841
1704420842
以上我们描述了参与者的战略及推断，下面我们定义博弈的精炼贝叶斯均衡。图4.3.3提供了简化后博弈的扩展式表述：只有两个π的值（πL和πH），且工会的工资要价也只有两种可能（wL和wH）。
1704420843
1704420844
1704420845
1704420846
1704420847
图4.3.3
1704420848
1704420849
在这一简化后的博弈中，工会有三个轮到它行动的信息集，所以工会的战略也包含三个工资要价：第一期的要价w1和两个第二期的要价：在w1=wH被拒绝后的w2及在w1=wL被拒绝后的w2。这三个行动在三个非单节信息集进行，工会在其中的推断分别表示为（p，l-p），（q，1-q），及（r，1-r）。在完整的博弈（而非像4.3.3所示的简化后博弈）中，工会的一个战略是第一期的要价w1和第二期的要价函数w2（w1），该函数表示在每一种可能的要价w1被拒绝后的w2。这些行动都发生于非单节的信息集，对工会可能提出的每一个不同的第一期工资要价都有一个第二期的信息集（于是，这样的信息集是连续存在的，而不像图4.3.3中只有两个）。在第一期惟一的信息集以及第二期连续信息集中，针对每一可能的π值都有一个决策结（于是，这样的决策结也是连续的，而非图4.3.3中只有两个）。在每一信息集中，工会的推断为这些决策结的概率分布。在完整的博弈中，我们用μ1（π）表示工会第一期的推断，用μ2（π|w1）表示（第一期要价w1被拒绝后）工会第二期的推断。
1704420850
1704420851
企业的一个战略包含了两个决策（在简化的和完整的博弈中都是一样的）。如果企业的利润水平为π时，愿意接受第一期的要价w1，令A1（w1|π）等于1；如果企业利润水平为π并将拒绝w1时，则等于0。类似地，如果企业利润为π，且第一期的要价为w1，企业愿意接受第二期的要价w2，令A2（w2|π，w1）等于1，相同条件下企业拒绝w2，则令A2（w2|π，w1）等于0。企业的一个战略为一对函数[A1（w1|π）]，A2（w2|π，w1）。由于在博弈的全过程中企业都有完全信息，其推断也就不必讨论了。
1704420852
1704420853
如果战略[w1，w2（w1）]和[A1（w1|π），A2（w2|π，w1]以及推断[μ1（π），μ2（π/w1）]满足第4.1节给出的要求2、3、4，则构成一个精炼贝叶斯均衡（只要工会的推断存在，就满足要求1），我们将证明博弈存在惟一的精炼贝叶斯均衡。论证最简单的步骤是将要求2用于企业第二阶段的决策A2（w2|π，w1）由于它是博弈的最后一步行动，企业的最优决策为当且仅当π≥w2时，接受w2，而与w1的大小无关。确定了企业战略的这一部分，再把要求2用于工会第二期对工资的要价就十分简单了：对给定的工会的推断μ2（π|w1）和企业随后的战略A2（w2|π，w1），w2应使工会的期望收益最大化。论证比较困难的部分则在于确定推断μ2（π|w1），方法步骤如下：
1704420854
1704420855
开始时，我们先暂时考虑如下的单期谈判问题（在后面我们将把这一问题的结果作为两期问题中第二期的解）。在单期问题中，假设工会的推断为企业利润水平服从[0，π1]区间的均匀分布，这里暂时令π1是任意值。如果工会要价w则企业的最优反应是十分明显的：当且仅当π＞w时接受w。那么，工会的问题就可以表示为：
1704420856
1704420857
1704420858
1704420859
1704420860
这里对有意义的工资要价（具体地说，0≤w≤π1）Prob{企业接受w}=（π1-w）/π1。最优的工资要价则为w*（π1）=π1/2。
1704420861
1704420862
现在我们（永远地）回到两期问题。首先我们证明，对任意值的w1和w2，如果工会第一期的要价为w1，并且企业希望其在第二期的要价为w2，则所有利润足够高的企业将会接受w1，而其他情况下拒绝w1。企业接受w1可得的收益为π-w1，拒绝w1但接受w2的收益为δ（π-w2），两个要价都拒绝的收益为0，从而当π＞w1＞δ（π-w2）或
1704420863
1704420864
