米哈伊利斯·扬纳卡基斯 平衡、不动点和复杂性类。 （英语） Zbl 1302.68143号 计算。科学。版次。 第3期，第2期，71-85页（2009年）. 摘要：来自不同领域的许多模型都涉及某种平衡点或不动点的计算。例子包括博弈中的纳什均衡；市场均衡；计算竞争博弈（随机博弈和其他博弈）的最优策略和价值；神经网络的稳定结构；分析类进化分支过程和类语言随机上下文无关文法的基本随机模型；以及包含概率和递归之类的递归马尔可夫链的基本原语的模型。这些问题能否在多项式时间内解决尚不清楚。在不同类型的平衡下有一些共同的计算原理，这些原理由复杂度类PLS、PPAD和FIXP捕获。这些类的典型完全问题分别是保证存在的博弈中的纯纳什均衡，两层范式博弈中的（混合）纳什均衡和三人（或更多）博弈中的混合纳什均衡。本文回顾了基本的计算原理和相应的类。 引用于7文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 91A05型 2人游戏 91A06型 \（n）-人游戏，（n>2） 91A10号 非合作游戏 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：纳什均衡;复杂性类 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，计算。科学。第3版，第2号，71--85（2009；Zbl 1302.68143） 全文： 内政部 链接 参考文献： [1] 布鲁姆，L。；Cucker，F。；舒布，M。；Smale，S.，《复杂性与实际计算》（1998年），斯普林格-Verlag [2] 霍普菲尔德，J.J.，《具有涌现集体计算能力的神经网络和物理系统》，Proc。国家。阿卡德。科学。，79, 2554-2558 (1982) ·Zbl 1369.92007号 [3] 约翰逊博士。；Papadimitriou，C.H。；Yannakakis，M.，本地搜索有多容易？，J.计算。系统科学。，37, 79-100 (1988) ·Zbl 0655.68074号 [4] Yannakakis，M.，局部搜索的计算复杂性，（Aarts，E.H.L.；Lenstra，J.K.，组合优化中的局部搜索（1997），John Wiley）·Zbl 0869.00019号 [5] Schäffer，A。；Yannakakis，M.，难以解决的简单局部搜索问题，SIAM J.Compute。，20, 56-87 (1991) ·Zbl 0716.68048号 [6] Nash，J.，《非合作游戏》，《数学年鉴》。，54, 289-295 (1951) ·Zbl 0045.08202号 [7] M.卡恩斯，图形游戏，in：[72]；M.卡恩斯，图形游戏，收录于：[72]·Zbl 1152.91384号 [8] 罗森塔尔，R.W.，一类具有纯策略纳什均衡的博弈，国际。J.博弈论，265-67（1973）·Zbl 0259.90059号 [9] A.Fabrikant，C.H.Papadimitriou，K.Talwar，《纯粹纳什均衡的复杂性》，摘自：Proc。ACM STOC，2004年，第604-612页；A.Fabrikant，C.H.Papadimitriou，K.Talwar，《纯粹纳什均衡的复杂性》，摘自：Proc。ACM STOC，2004年，第604-612页·兹比尔1192.91042 [10] H.Ackermann，H.Roglin，B.Vöcking，《组合结构对拥挤博弈的影响》，摘自：Proc。第47届IEEE FOCS，2006年；H.Ackermann，H.Roglin，B.Vöcking，《组合结构对拥挤博弈的影响》，摘自：Proc。第47届IEEE FOCS，2006年 [11] A.Skopalik，B.Vöcking，纯Nash均衡的不近似性，in：Proc。第40届ACM STOC，2008年，第355-364页；A.Skopalik，B.Vöcking，纯Nash均衡的不近似性，in：Proc。第40届ACM STOC，2008年，第355-364页·Zbl 1231.68146号 [12] B.Vöcking，《拥塞游戏：竞争中的优化》，摘自：Proc。第二届ACiD，2006年，第9-20页；B.Vöcking，《拥塞游戏：竞争中的优化》，摘自：Proc。第二届ACiD，2006年，第9-20页 [13] Condon，A.，《随机博弈的复杂性》，Inform。计算。，96203-224（1992年）·Zbl 0756.90103号 [14] Condon，A.，《关于简单随机博弈的算法》，Adv.Comp。公司。Th.，DIMACS，13，51-73（1993）·Zbl 0808.90141号 [15] M.Yannakakis，《局部搜索问题及其启发式分析》，摘自：Proc。STACS，1990年，第298-311页；M.Yannakakis，《局部搜索问题及其启发式分析》，摘自：Proc。STACS，1990年，第298-311页·Zbl 0778.90058号 [16] 埃伦菲赫特，A。；Mycielski，J.，平均回报游戏的位置策略，国际。《博弈论》，8109-113（1979）·Zbl 0499.90098号 [17] 美国兹威克。；Paterson，M.S.，图上平均回报博弈的复杂性，理论。计算。科学。，158, 343-359 (1996) ·Zbl 0871.68138号 [18] E.A.Emerson、C.Jutla、Tree automata、\（\mu\）；E.A.Emerson、C.Jutla、Tree automata、\（\mu\） [19] A.Puri，混合系统和离散事件系统理论，博士论文，加州大学伯克利分校，1995年；A.Puri，混合系统和离散事件系统理论，博士论文，加州大学伯克利分校，1995年 [20] Jurdzinski，M.，在UP\（\cap\）coUP中决定平价游戏的获胜者，Inform。过程。莱特。，68, 119-124 (1998) ·Zbl 1338.68109号 [21] Scarf，H.，《经济均衡的计算》（1973），耶鲁大学出版社·Zbl 0311.90009号 [22] Uzawa，H.，Walras的存在定理和Brower的不动点定理，经济学。四分之一螺柱。，13, 59-62 (1962) [23] 阿罗，K.J。；Debreu，G.，竞争经济均衡的存在，《计量经济学》，22，265-290（1954）·Zbl 0055.38007号 [24] Geanakoplos，J.，Nash和Walras通过Brouwer，Econom实现均衡。理论，21585-603（2003）·兹比尔1049.91105 [25] Debreu，G.，过剩需求函数，J.Math。经济。，1，15-21（1974年）·Zbl 0283.90005号 [26] Shapley，L.S.，《随机游戏》，Proc。国家。阿卡德。科学。，39, 1095-1100 (1953) ·Zbl 0051.35805号 [27] 菲拉尔，J。；Vrieze，K.，竞争马尔可夫决策过程（1997），Springer·Zbl 0934.91002号 [28] （Neyman，A.；Sorin，S.，《随机游戏和应用》（2003），Kluwer）·Zbl 1027.00040号 [29] Harris，T.E.，《分支过程理论》（1963年），斯普林格·弗拉格·Zbl 0117.13002号 [30] Haccou，P。；Jagers，P。；Vatutin，V.A.，《分支过程：种群的变异、增长和灭绝》（2005），剑桥大学出版社·Zbl 1118.92001号 [31] Kimmel，M。；阿克塞尔罗德，D.E.，《生物学中的分支过程》（2002），斯普林格出版社·Zbl 0994.92001号 [32] 曼宁，C。；Schütze，H.，《统计自然语言处理基础》（1999），麻省理工学院出版社·Zbl 0951.68158号 [33] 拉图切，G。；Ramaswami，V.（《随机建模中的矩阵分析方法简介》，《随机建模矩阵分析方法介绍》，ASA-SIAM统计与应用概率系列（1999））·Zbl 0922.60001号 [34] K.Etessami，D.Wojtczak，M.Yannakakis，《准生灭过程，树型QBDs，概率1-计数器自动机和下推系统》，摘自：Proc。第五届国际系统定量评估研讨会，2008年，第243-253页；K.Etessami，D.Wojtczak，M.Yannakakis，《准生灭过程，树型QBDs，概率1-计数器自动机和下推系统》，摘自：Proc。第五届国际系统定量评估研讨会，2008年，第243-253页 [35] 费金，R。；Karlin，A。；Kleinberg，J。；Raghavan，P。；拉贾戈帕兰，S。；罗宾菲尔德。；苏丹，M。；Tomkins，A.，Random走路带着“后退按钮”，Ann.Appl。概率。，11, 810-862 (2001) ·兹比尔1021.60031 [36] Etessami，K。；Yannakakis，M.，递归马尔可夫链，随机文法，非线性方程的单调系统，J.ACM，56，1（2009）·Zbl 1325.68091号 [37] J.Esparza，A.Kučera，R.Mayr，模型检验概率下推自动机，收录于：Proc。2004年IEEE LICS第19版；J.Esparza，A.Kučera，R.Mayr，模型检验概率下推自动机，收录于：Proc。2004年第19届IEEE LICS [38] Etessami，K。；Yannakakis，M.，递归马尔可夫决策过程和简单随机对策类的有效定性分析。，（第23届STACS会议（2006年），施普林格）·Zbl 1136.90499号 [39] K.Etessami，M.Yannakakis，递归并发随机博弈，收录于：Proc。第33届ICALP，2006年；K.Etessami，M.Yannakakis，递归并发随机博弈，收录于：Proc。2006年第33届ICALP·Zbl 1133.91317号 [40] K.Etessami，M.Yannakakis，递归马尔可夫决策过程和递归随机博弈，收录于：Proc。第32届ICALP，2005年；K.Etessami，M.Yannakakis，递归马尔可夫决策过程和递归随机博弈，收录于：Proc。2005年第32届ICALP·Zbl 1085.68089号 [41] K.Etessami，M.Yannakakis，关于纳什均衡和其他不动点的复杂性，载于：Proc。IEEE FOCS，2007年；K.Etessami，M.Yannakakis，《关于纳什均衡和其他不动点的复杂性》，摘自：Proc。IEEE FOCS，2007年·Zbl 1204.91003号 [42] Scarf，H.，连续映射不动点的近似，SIAM J.Appl。数学。，15, 1328-1343 (1967) ·Zbl 0153.49401号 [43] 赫希医学博士。；Papadimitriou，C.H。；Vavasis，S.A.，寻找Brower不动点的指数下界，J.Complexity，5379-416（1989）·Zbl 0696.65045号 [44] Sikorski，K.，《非线性方程的最优解》（2001），牛津大学出版社·兹比尔0609.65036 [45] Ko，K.-I.，不动点和交点的计算复杂性，J.复杂性，11265-292（1995）·Zbl 0834.68031号 [46] 里希特，M。；Wong，K.C.，竞争均衡的非计算性，经济学。理论，14，1-27（1999）·Zbl 0940.91040号 [47] Morgestern，O。；冯·诺依曼，J.，《博弈论与经济行为》（1947），普林斯顿大学出版社·Zbl 1241.91002号 [48] 吉尔博亚，I。；Zemel，E.，Nash和相关均衡：一些复杂性考虑，《游戏经济学》。行为。，1, 80-93 (1989) ·Zbl 0755.9003号 [49] Lemke，C。；豪森，J.，双矩阵博弈的平衡点，J.SIAM，413-423（1964）·Zbl 0128.14804号 [50] 萨瓦尼，R。；von Stengel，B.，《难以解决的双矩阵游戏》，《计量经济学》，74397-429（2006）·Zbl 1145.91301号 [51] Papadimitriou，C.，《关于奇偶论证的复杂性和其他无效的存在证明》。，J.计算。系统科学。，48, 3, 498-532 (1994) ·Zbl 0806.68048号 [52] C.Daskalakis，P.Goldberg，C.Papadimitriou，《纳什均衡计算的复杂性》，摘自：Proc。ACM STOC，2006年，第71-78页；C.Daskalakis，P.Goldberg，C.Papadimitriou，《纳什均衡计算的复杂性》，摘自：Proc。ACM STOC，2006年，第71-78页·Zbl 1301.68142号 [53] X.Chen，X.Deng，解决两层纳什均衡的复杂性，in：Proc。第47届IEEE FOCS，2006年，第261-272页；X.Chen，X.Deng，解决两层纳什均衡的复杂性，in：Proc。第47届IEEE FOCS，2006年，第261-272页 [54] X.Chen，X.Deng，S.H.Teng，《计算纳什均衡：近似和平滑复杂性》，摘自：Proc。第47届IEEE FOCS，2006年，第603-612页；X.Chen，X.Deng，S.H.Teng，《计算纳什均衡：近似和平滑复杂性》，摘自：Proc。第47届IEEE FOCS，2006年，第603-612页 [55] X.Chen，S.H.Teng，P.Valiant，《输赢游戏的近似复杂性》，摘自：Proc。第18届ACM SODA，2007年；X.Chen，S.H.Teng，P.Valiant，《输赢游戏的近似复杂性》，摘自：Proc。2007年第18届ACM SODA·兹比尔1303.91009 [56] R.J.Lipton，E.Markakis，A.Mehta，《使用简单策略玩大型游戏》，摘自：Proc。ACM Conf.Elec.Comm.，2003年，第36-41页；R.J.Lipton，E.Markakis，A.Mehta，《使用简单策略玩大型游戏》，摘自：Proc。ACM Conf.Elec.Comm.，2003年，第36-41页 [57] P.Spirakis，战略两人制比赛的近似均衡，收录于：Proc。第一交响曲。藻类。博弈论，2008年，第5-21页；P.Spirakis，战略两人制比赛的近似均衡，收录于：Proc。第一交响曲。藻类。博弈论，2008年，第5-21页·Zbl 1136.91307号 [58] X.Chen，X.Deng，关于二维离散不动点问题的复杂性，in：Proc。ICALP，2006年，第489-599页；X.Chen，X.Deng，关于二维离散不动点问题的复杂性，in：Proc。ICALP，2006年，第489-599页 [59] Codenotti，B。；萨贝里，A。；瓦拉达拉扬，K。；Ye，Y.，《均衡的复杂性：通过与博弈的对应关系，经济的艰难结果》，Theoret。计算。科学。，408188-198（2008年）·Zbl 1162.91015号 [60] M.R.Garey，R.L.Graham，D.S.Johnson，《一些NP-完全几何问题》，摘自：Proc。第八届ACM STOC，1976年，第10-22页；M.R.Garey，R.L.Graham，D.S.Johnson，《一些NP-完全几何问题》，摘自：Proc。第八届ACM STOC，1976年，第10-22页·Zbl 0377.68036号 [61] Tiwari，P.，《单位成本代数RAM上更容易解决的问题》，J.Complexity，393-397（1992）·Zbl 0759.68039号 [62] E.Allender、P.Bürgisser、J.Kjeldgaard-Pedersen、P.B.Miltersen，《关于数值分析的复杂性》。in：程序。第21届IEEE Comp。完成。Conf.，2006年；E.Allender、P.Bürgisser、J.Kjeldgaard-Pedersen、P.B.Miltersen，《关于数值分析的复杂性》。in：程序。第21届IEEE Comp。完成。2006年Conf [63] van Emde Boas，P.，《机器模型和仿真》（van Leeuwen，J.，《理论计算机科学手册》，A卷（1990），麻省理工学院出版社），1-66·Zbl 0900.68265号 [64] J.Canny，《PSPACE中的一些代数和几何计算》，摘自：Proc。ACM STOC，1988年，第460-467页；J.Canny，《PSPACE中的一些代数和几何计算》，摘自：Proc。ACM STOC，1988年，第460-467页 [65] Renegar，J.，《关于实一阶理论的计算复杂性和几何》，第一部分至第三部分，J.符号计算。，13, 3, 255-352 (1992) ·Zbl 0798.68073号 [66] （Aumann，R.J.；Hart，S.，《博弈论手册》，第3卷（2002年），北荷兰）·Zbl 0993.90001号 [67] X.Chen，X.Deng，关于离散和近似Brower不动点的算法，in：Proc。ACM STOC，2005年，第323-330页；X.Chen，X.Deng，关于离散和近似Brower不动点的算法，in：Proc。ACM STOC，2005年，第323-330页·Zbl 1192.68351号 [68] C.Daskalakis，A.Mehta，C.Papadimitriou，近似纳什均衡的进展，摘自：Proc。第八届ACM电子通信会议，2007年，第355-358页；C.Daskalakis，A.Mehta，C.Papadimitriou，近似纳什均衡的进展，摘自：Proc。第八届ACM会议电子通讯，2007年，第355-358页 [69] Johnson，D.S.，《NP完备性专栏：在干草堆中寻找针》，美国医学杂志Trans。算法，3（2007）·Zbl 1445.68103号 [70] 科尔莫戈罗夫，A.N。；Sevasyanov，B.A.，分支随机过程最终概率的计算，Doklady，56783-786（1947），（俄语）·Zbl 0041.45502号 [71] S.Kontogiannis，P.Spirakis，双矩阵博弈中恒定且支持良好的近似均衡的高效算法，收录于：Proc。第34届ICALP，2007年，第286-296页；S.Kontogiannis，P.Spirakis，双矩阵博弈中恒定且支持良好的近似均衡的高效算法，收录于：Proc。第34届ICALP，2007年，第286-296页·Zbl 1171.91305号 [72] 尼桑，N。；拉夫加登，T。；塔尔多斯，E。；Vazirani，V.，《算法博弈论》（2007），剑桥大学出版社·兹比尔1130.91005 [73] Papadimitriou，C.，欧几里德旅行推销员问题是NP-完全的，Theoret。计算。科学。，4, 237-244 (1977) ·Zbl 0386.90057号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。