拟阵上动态结构合作对策的单调解.pdf

高校应用数学学报 2009，24(1)：102—110 拟阵上动态结构合作对策的单调解 孙 浩，何 华 (西北工业大学理学院应用数学系，陕西西安 710072) 摘 要：论文主要介绍了拟阵上动态结构合作对策单调解的结构，并利用强单调性、 交换性和动态有效性等三条公理刻画了此单调解的唯一性．同时给 出了拟阵上动 态结构合作对策核心的定义，确定 了它的结构．最后讨论 了拟阵上动态结构合作对 策Shapley4／i-~其核心的关系． 关键词：合作对策；动态结构；拟阵；Shapley{~i．；强单调性 中图分类号：O225 文献标识码：A 文章编号：1O0()-4424(2009)0l一0102—09 §1 引 言 合作对策通常可以用一个有序对 (Ⅳ，)表示，其中N=f1，2，… ，礼}是参与者的集合，是一 集合函数，即 ：2Ⅳ— R，R是实数域．在经典合作对策里，通常假设每个参与者都可以自由结 盟，并能获得相应联盟的收益．当联盟S=Ⅳ时，S就是最大联盟．合作对策主要研究如何公平合 理地在所有参与者之间分配 (Ⅳ)．常用的分配方案有Shapley值、核心等．但是在现实生活中， 由于参与者之间相互存在矛盾，因而只有部分联盟可以形成．它们之间的结构通常可以用代数 拓扑结构、组合结构等方式描述，例如格、拟阵等．本文将讨论联盟结构受到拟阵限制时动态 结构合作对策单调解的公理化理论．首先回顾拟阵的定义，拟阵是一个有序对fⅣ，朋)，包括有限 集Ⅳ和Ⅳ的一些子集的集合M ， ∈M ，且满足下面两个条件 f(M1)1如果S∈M 且TcS，那么T ∈ ． [(M2)】如果S，T∈ 且J{：fTj+1，那么一定存在一个i∈S＼ 使得 u{ ∈朋． 在不引起混淆的情况下，拟阵(Ⅳ，M )简记为M ．设 为一拟阵，令S∈ ，定义如下两个 拟阵算子 收缩拟阵M ／S：朋 ／s={ ∈ ：TnS= ，TuS∈ )．当s={ 对所有的l∈N， M ／{i}简记为M ／． 删除拟阵朋 ＼S： M ＼s={ ∈M ：TnS= }．当s={}，对所有的i∈N，M ＼{)简记 为M ＼i． 收稿 日期：2007-02一O1 基金项 目：国家自然科学~ ；陕西省自然科学~ (2007A09) 孙浩等：拟阵上动态结构合作对策的单调解 103 对任意的 ∈2Ⅳ，2Ⅳ上拟阵的秩函数r：2Ⅳ一 ，~Pr(X)=ma~{ISl：S X，S∈ ，．显然，拟阵 ={S N ：r(s)=lsl}．拟阵M 中的元素称为可行联盟，最大的可行联盟称 为基联盟．所有的基联盟都有相同的维数，即对拟阵M的任一个基联盟B均有IBI=r(Ⅳ)．所有 基联盟的集合记为8(M)．关于拟阵的详细内容请参阅1【】． 定义1．1 拟阵上的合作对策定义为三元有序组(Ⅳ，u，M)，其中N={1，2，… ，礼)表示参与 者的集合，M 为定义在Ⅳ上的一个拟阵，为定义在M 上的一个函数，即 ：朋 一R． 在本文中，在不引起混淆的情况下，用(，M)或者 表示拟阵上的合作对策(Ⅳ，，M)，拟 阵 上合作对策空间记为，( )． 拟阵上的合作对策的静态模型中，参与者考虑的是哪些基联盟可以形成和如何分配它们的 收益．在2『1中，Bilbao等人讨论了这个模型Shapley值的结构，并利用线性性、一致对策的交换 性、哑元性和概率有效性等公理刻画了这个解的唯一性．同时，参与者之间的合作过程也可以 描述为：一旦拟阵M的一个基联盟A1形成，则合作将在N＼Al中继续．当拟阵M ＼Al形成一个新 基联盟A2时，合作则继续在N＼A1＼2中间进行，直到Ⅳ被完全分割．这就是联盟在拟阵上的动 态结构．Bilbao等人在 3『1中对此模型展开了研究，确定了这个模型的Shapley值的结构，并对其进 行了公理化(线性性、一致对策的交换性、哑元性和动态有效性等)刻画．孙浩等4【-5】讨论了拟阵 上集合对策的边缘贡献解和拟边缘贡献解，其中边缘贡献解有着与Shapley解在TU一对策中相当 的作用．Young6[]给出了刻i~Shapley值 [7】的另