若干组合优对策模型中的算法问题.pdfVIP

摘 要 合作对策考虑的是如何将收益t，(Ⅳ)合理地分配给联盟Ⅳ中的成员。根据 不同的合理性要求产生了不同的对策解的概念，如核心，核子等等．在这篇论 文中，我们主要讨论的对策模型是由Kalai和Zemd在1982年首先提出的网络 流对策，讨论的内容包括：尉络流对策的核心稳定性和网络流对策中核子计算 的算法问题，主要结果有： j ·我们先定义了一种特殊的弧，称之为亚元，亚元满足的性质是：在网络中 去掉亚元后不会影响网络的最大流值。基于这一概念，我们证明了简单网络流 对策有稳定的核心当且仅当网络中没有亚元。 ·我们讨论了三个与核心稳定性密切相关的性质：核心的包容性，对策的 精确性和可扩性的等价性，并证明了它们这三个性质与如下条件等价：在简单 网络中每个(8，￡)一截包含一个最小(s，t)-截。(其中8，￡分别表示网络的发点 和收点】 ·证明了可以在多项式时间内求解简单网络流对策的核子． ·证明了对于一般的网络流对策，有关核子的计算问题是NP-困难的． 非合作对策理论中，最重要、最核心的概念是纳什均衡．在论文的最后一 部分中，本文讨论了一种基于线性规划约束的多人决策模型．首先，我们运用 线性规划和对偶理论给出了纳什均衡点存在的充分必要条件，进而证明了在这 种模型下的纳什均衡点可以在多项式时间内求解．其次，在原有的纳什均衡定 义的基础上，我们定义了一个强均衡的概念：payoff-proof纳什均衡，并对所述 ， 决策模型研究了payoff-proof纳什均衡的性质和存在性． 关键词：网络流对策，核心，核心稳定性，核心包容性，对策精确性，对策可扩 性，核子，NP．困难，对偶理论，纳什均衡’ Abstract considershowtodistributeincome Cooperativegametheory v(N)generated a Ntoitsmembers．Thereares渊alsolution with by group c础pt8respect todifferent as this OUr rationality：suchcore，nucleolus：etc．Inthesis，聊focm On flow Kalaiand discuss discussionthe by games，introducedZemd(1982)．We the of flow and the issuesof the core a stability gamestudyalgorithmicfinding aflow obtainthe results：． nucleolusof game．We following characterizationof whichastisfies ·BasedOnthe dummyare(i．e．；the-arc that itdoesnot thevalueof121aximumflowinthe deleting change network-)，we if