12第十一章(133-148).doc

11 多选择博弈的解概念 在这一章，我们介绍从合作crisp博弈到多选择博弈的解概念的推广。特别关注如转归、核心和稳定集，以及多选择博弈的基于边际向量的解概念。也简单介绍了在博弈理论文献中最近介绍的类-Shapley值。 11.1 转归，核心和稳定集 令。一个支付向量称为是有效的，如果 ；并且它被称为水平增加合理(level-increase rational)，如果对所有的和，至少是这样的值的增量，即当参与者独自工作时，且他的活动水平从变到时他所获得的收益，即。注意，对于（水平）支付向量，水平增加合理性很类似与合作crisp博弈的支付向量的个体合理性（参照定义1.27(i)）。 定义11.1．令，一个支付向量是的一个转归，如果它是有效的和水平增加合理的。 博弈的转归的集合用表示，很容易看到 。 (11.1) 定义11.2．博弈的核心由所有满足下列条件的组成，对所有的有成立。 下列与核心有关系的概念，是对传统合作博弈核心的直接推广，是在[54]中介绍的。 定义11.3．博弈的前置核心定义为， 。 注释11.4．博弈的前置核心是一个包含集合的具有无限个方向的凸多面体。注意，前置核心分配不一定是转归。 令，。转归通过占优转归，记为，如果有，并且对所有的，。我们说转归占优转归，如果存在，使得。 定义11.5．博弈的支配核心是由所有不存在使得占优的组成。 在定理11.6，11.8和11.9中，我们处理多选择博弈的核心和支配核心之间的关系。 定理11.6．对每个博弈，我们有。 证明：令，并且假定，，使得，那么 ， 很明显得出矛盾。因此，不被占优。 令是一个0-规范化博弈（参照定义10.8），是的支付向量，那么水平增加合理性条件归结为条件。对于一个可加博弈，我们有 ，其中是一个对所有的和，有 的支付向量。现在我们有 命题11.7．令，并且是的0-规范化。令是的支付向量。定义为对所有的和，。那么我们有 (i) ； (ii) ； (iii) 我们把这个命题的证明作为练习留给读者。 定理11.8．令满足。那么当且仅当的0-规范化满足对所有的有。 证明：由命题11.7，我们只需对0-规范化博弈证明这个定理。因此，假设是0-规范化的。进一步，假设，并且令，那么，对所有的 。 现在假定对所有的，有。由于（参照定理11.6），我们只需证明对所有的，有。令和，使得。定义如下 由的定义很容易得到是有效的。由于，以及，我们有。因此，也是水平增加合理的，得到结论。 对和，我们有，因此对所有的，。由这个结论和以下事实 蕴含，因此。 由定理11.6和11.8，我们可以容易证明定理11.9。注意，这个定理对合作crisp博弈也是成立的，因为多选择博弈类包含合作crisp博弈类。 定理11.9．令满足。那么。 证明：我们只需证明定理对0-规范化博弈是成立的（参照命题11.7）。因此，假定是0-规范化的。由定理11.8中证明的第一部分，我们看到，对所有的，蕴含。因为（参照定理11.6），我们知道。现在，定理11.8直接蕴含。 考虑定理11.9，你可以问自己一个问题：是否确实存在核心与支配核心不相等这样的博弈。例11.10给出了这个问题的答案，在那里我们提供了一个多选择博弈，核心为空但支配核心非空。 例11.10．令多选择博弈由下面给出，，，并且 ，，。转归应满足下列的等式和不等式： 。 因此，我们得到 。 注意到，对于这个博弈，一个转归仅仅可以通过联盟占优另一个转归，并且，由于对所有的，，这给我们 。 最后，没有支配核心的元素满足。由可以得到。注意，对于的0-规范化，有。 我们将留给读者去寻找一个合作crisp博弈的例子，在这个例子中，核心不等于支配核心（一个具有三个参与者的博弈就足够了）。 对于例11.10中的博弈，核心和支配核心都是凸集，在一般情况下也是成立的，如下面定理中陈述。 定理11.11．令，那么，下面两个断言成立： (i) 是凸的； (ii) 是凸的。 证明：我们省略(i)的证明，因为它是一个简单练习。为了证明(ii)，只要证明如果是0-规范化的，则是凸的就足够了。因此，假定是0-规范化的。显然，如果，则它是凸的。现在假定。我们定义一个博弈满足对所有的，。很容易看到 。 (11.2) 我们证明。由于，我们知道。由于是0-规范化的，这蕴含（参照(11.1)），以及对所有的， 。 (11.3) 由(11.2)和(11.3)，我们得。 现在，令以及。由于，我们看到，如果在中，则在中。另一方面，如果在中，那么，以及 。 因此，以及在中。 我们得到结论 。 (11.4) 这蕴含。由于是0-规范化的（参照(11.