纳什均衡及帕累托最优的相关定理.docVIP

973-认知无线网络项目  MACROBUTTON MTEditEquationSection2 Equation Chapter 1 Section 1 SEQ MTEqn \r \h \* MERGEFORMAT  SEQ MTSec \r 1 \h \* MERGEFORMAT  SEQ MTChap \r 1 \h \* MERGEFORMAT 认知无线网络行为分析与网络效能研究 V1.0.0 (2011- 04-26) 973项目； 认知无线网络的全局性能优化； 纳什均衡及帕累托最优的相关定理； 简介 本文档主要分两大部分： 第一部分，主要是纳什均衡的存在性与唯一性证明定理。 第二部分，帕累托最优的相关定理。 纳什均衡 纳什均衡定义 行动组合是纳什均衡，则对于任意参与者，有： 简言之，就是给定其他参与者策略的情况下，每个参与者选择使自己效用最大化的策略。所有参与者的策略构成的组合即为纳什均衡。 存在性定理 定理2.1.1[[] C. U. Saraydar, N. B. Mandayam, and D. J. Goodman, “Ef?cient power control via pricing in wireless data networks,” IEEE Transactionson Communications, vol. 50, pp. 291–303, February 2002. ][[] D. Fudenberg and J. Tirole, Game Theory. Cambridge, MA: MIT Press, 1991. ]： （1）对所有的，策略空间是欧式空间中一个非空的、紧的凸集； （2）效用函数是连续的且对是拟凹的。 说明： 在数学中，欧几里得空间 的子集S是紧的，如果它是闭合的并且是有界的。（注：若不是在欧式空间中，闭合且有界的集合不一定是紧集。） 如果一个集合所有的极限点都是这个集合中的点，那么这个集合是闭集。 S是凸集是指，对满足的，只要，那么就有。简单而言，就是S中的任何两点之间的直线段都属于S。 图 2 SEQ 图 \* ARABIC \s 1 1左图为凸集，右图为非凸集 定理2.1.2[[] D. Topkis, “Equilibrium points in non-zero sum n-person submodular games,” SIAM J.Control Optim., vol. 17, no. 6, pp. 773–787, 1979. ]： 如果一个博弈G是S-模博弈（S-modular games，SMG），则至少存在一个纯纳什均衡。 定义1（S-模博弈S-modular games，SMG） 一个博弈G，如果满足： ，是欧式空间中的一个紧集； 在s上是上半连续； ，是不减的。 则称G为超模博弈。 说明： 上半连续：设 X 为 HYPERLINK /wiki/%E6%8B%93%E6%89%91%E7%A9%BA%E9%97%B4 \o 拓扑空间 拓扑空间， ，而为实值 HYPERLINK /wiki/%E5%87%BD%E6%95%B8 \o 函数 函数。若对每个都存在 x0 的开邻域 U 使得，则称 f 在 x0 上半连续。该条件也可以用 HYPERLINK /wiki/%E4%B8%8A%E6%A5%B5%E9%99%90 \o 上极限 上极限等价地表述： 图 22上半连续函数的例子（蓝点表） 图 23下半连续函数的例子（蓝点表） 进一步地，若任意具有二阶导，对于所有的，满足（1），则该博弈称为超模博弈（Supermodular games）。 (1) 同理，满足（2）式，称为次模博弈（Submodular games）。 (2) 超模博弈和次模博弈统称为S-模博弈S-modular games（SMG）。 定理2.1.3[[] G. Scutari, S. Barbarossa, and D. P. Palomar, “Potential games: A framework for vector power control problems with coupled constraints,” in Proc. IEEE Int. Conf. Acoustics, Speech and Signal Processing, Toulou