论文部分内容阅读
合作博弈描述了多主体系统中利益合理分配的方式。核心、最小核和核仁是一类可以保证系统稳定的分配方式。本文主要研究阈值匹配博弈和通路联盟博弈的最小核和核仁的求解问题。 阈值匹配博弈定义在无向图G=(V,E)上的一类组合合作博弈,其中V是图G的顶点集合,E是图G的边集合,局中人集合为V。给定阈值T,如果G[S]上的最大匹配的基数不小于T,则一个联盟S∈V的收益是1;否则,收益为0。 本文在第2章介绍了匹配博弈和阈值匹配博弈的定义和其解的计算复杂度,并指出阈值匹配博弈是匹配博弈的一种变型。当阈值匹配博弈定义在赋权图上时其最小核和核仁的计算时NP-难解的,本文主要研究定义在简单图上的阈值匹配博弈——阈值基数匹配博弈。当阈值基数匹配博弈的核心非空时,核心和核仁中的分配都可以在多项式时间找到。但是当其核心为空集时,问题将边的复杂的多。 第3章讨论当阈值基数匹配博弈的核心为空集时最小核和核仁的算法。首先利用“分离-暗箱”的技术证明,给定一个阈值基数匹配博弈,计算最小核的值、计算或者验证最小核里的一个分配均可以在多项式时间内完成,并且对一大类阈值匹配博弈的最小核给出了直观的刻画。这个刻画在之后求解核仁时将起到至关重要的作用。其次,证明阈值匹配博弈的最小核和匹配拦截博弈的混合策略纳什均衡等价。最后,基予Gallai-Edmonds分解定理,给出了三类阈值基数匹配博弈的核仁的多项式时间算法:边联盟博弈(阈值T=1的情况)、完美图阈值基数匹配博弈(当图含有一个完美匹配的情况)、阈值指派博弈(二部图上的阈值基数匹配博弈)。 通路联盟博弈定义在网络D=(V,E;s,t)上的又一类组合合作博弈,其中V是网络D的顶点集合,E是网络D的弧集合,s和t分别是网络D的发点和收点。根据局中人集合为E或者V,可以将通路联盟博弈分成“边通路联盟博弈”和“点通路联盟博弈”。当S中包含一条(s,t)-路时,联盟S取胜;否则S失败。 第4章,首先介绍两种通路联盟博弈的定义和其核心,并指出当通路联盟博弈的核心非空时,核心和核仁里的分配可以很简单的求出。其次介绍通路联盟博弈的超可加覆盖——网络流博弈,并利用两者之间的关系指明了通路联盟博弈的CS-核心一定非空,且CS-核心中的分配与网络流博弈的核心中的分配一一对应。 第5章,则讨论当通路联盟博弈的核心为空集时,其最小核和核仁的计算复杂度。首先利用通路联盟博弈和网络流博弈的关系以及线性规划对偶理论,证明边通路联盟博弈的最小核和核仁均可在多项式时间内求解。对于点通路联盟博弈的最小核和核仁的求解,可以在多项式时间内将其转化为边通路联盟博弈的情况,进而求解。最后证明通过多项式时间的变换,定义在无向网络中的两种通路联盟博弈的最小核和核仁都可以在多项式时间内求解。