博弈论与信息经济学之合作博弈.ppt

核心 证明 设 是 中一个否决人，定义 ，1处于第 的位置。 根据定理8.3.2， 是一个分配，且 。 用反证法。设 ，且不存在否决人，即 。 ，则 。 故有 ，从而 。也即 ，矛盾。 * 核仁 为评估 对 满意性，定义如下的被称作超出一个指标： 的大小反映了 对 满意性。 越大， 对越不满意，因为 中所有参与人的分配之和远没有达到其所创造的合作剩余 ； 越小， 对 越满意，当 为负值时， 中所有参与人不但分配了其所创造的合作剩余 ，还分配了其他联盟所创造的价值。 * 核仁 对于同一个 ， 共有 个，可以表示为 。故可以计算出 个 。联盟对 的满意性取决于 中的最大的 ，故可以对 个 由大到小排列，得到一个 的向量： 其中 。 联盟对 的满意性取决于 的大小， 越小，联盟对 越满意。 * 核仁 对于两个不同的分配 ，分别计算出 。如果是 小的，则联盟对 的满意性大于联盟对 的满意性，自然 优于 。当然这种向量大小的比较不同于数字的比较，是采用字典序的比较方法。字典序的比较方法的比较方法如下： 对于向量 和 ，存在一个下标 ，使得 ， ，则称 字典序小于 ，用符号表示 。 有了上述的定义，就可以给出核仁的定义了。 * 核仁 定义 对于合作博弈 ，核仁 是一些分配的集合，即 ，使得任取一个 ， 都是字典序最小的，即 。 定理5.4 对于合作博弈 ，其核仁 ，且 只包含一个元素 。 定理5.5 对于合作博弈 ，如果核心 ，则有 。 证明 用反证法。设存在一个分配 。 根据核心的性质，由 可知：必存在一个联盟 ，满足 ，由此可知 。 设 。 是所有 中最大的，故有