吉安路易吉·格雷科;恩里科·马利齐亚;路易吉·帕洛波利;弗朗西斯科·斯卡切罗 关于核、核和讨价还价集的复杂性。 （英语） Zbl 1233.91018号 Artif公司。智力。 175，编号12-13，1877-1910（2011）. 总结：联盟游戏模拟了这样的场景：玩家可以通过组建联盟进行协作，以获得比孤立行动更高的价值。联盟博弈的一个基本问题是从价值分配（通常称为解概念）方面挑选出最理想的结果。由于现实参与者的决策不能涉及无限的资源，最近的计算机科学文献提倡用解决方案概念评估计算复杂性的重要性。在这种背景下，本文提供了一个完整的画面，说明了当博弈价值函数以某种合理的紧凑形式表示时，具有可转移效用的联盟博弈的三个突出解概念，即核心、核和讨价还价集所产生的复杂性问题。研究的出发点是图游戏和边际贡献网的设置，其中任何联盟的价值都可以在游戏编码大小的多项式时间内计算出来，并且文献中对其提出了各种开放性问题。本文回答了这些问题，并通过刻画核心、内核和讨价还价集在两种设置的相关推广和专门化中的计算复杂性，对简洁指定的博弈提供了新的见解。关于推广，本文表明，与图游戏和边际贡献网相比，处理任意多项式时间的可计算价值函数（无论考虑的是特定的游戏编码）都不会提供任何额外的复杂性来源。相反，只有对于核心，其价值函数编码NP难优化问题的博弈类的复杂性略有增加，就像在某些组合博弈的情况下一样。对于特化，本文说明了一类有界树宽图对策和边际贡献网络的各种可处理性结果。 引用于14文件 MSC公司： 91A12号机组 合作游戏 关键词：联盟博弈;紧致表示;计算复杂性;解决方案概念;有界树宽 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}等人，Artif。智力。175，编号12--131877--1910（2011；Zbl 1233.91018） 全文： 内政部 参考文献： [1] 奥戈特内斯，T。；范德霍克，W。；Wooldridge，M.，《关于联盟游戏的推理》，人工智能，173，45-79（2009）·兹比尔1180.68271 [2] Arnborg，S。；Lagergren，J。；Seese，D.，树分解图的简单问题，算法杂志，12308-340（1991）·Zbl 0734.68073号 [3] Aumann，R.J。；Maschler，M.，合作博弈的谈判集，（《博弈论进展》（1964），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿），443-476·Zbl 0132.14003号 [4] Ausiello，G。；Crescenzi，P。；甘博西，G。；Kann，V.公司。；Marchetti-Paccamela，A。；Protasi，M.，《复杂性和近似：组合优化问题及其近似性》（1999），Springer-Verlag:Springer-Verlag Berlin，Heidelberg，德国·Zbl 0937.68002号 [5] 阿齐兹，H。；Brandt，F。；Harrenstein，P.，Monotone合作游戏及其阈值版本，（Luck，M.；Sen，S.；van der Hoek，W.；Kaminka，G.A.，《第九届自治代理和多代理系统国际会议论文集》（AAMAS 2010），加拿大多伦多（2010）），1017-1024 [6] 巴赫拉赫，Y。；Elkind，E。；梅尔，R。；Pasechnik，D.V。；扎克曼，M。；Rothe，J。；Rosenschein，J.S.，《联盟博弈中稳定性的代价》，（Mavronicolas，M.；Papadopoulou，V.G.，《算法博弈论》，第二届国际研讨会论文集，SAGT 2009。算法博弈论，第二届国际研讨会论文集，SAGT 2009，帕福斯，塞浦路斯，2009年10月18-20日。算法博弈论，第二届国际研讨会论文集，SAGT 2009。算法博弈论，第二届国际研讨会论文集，SAGT 2009，塞浦路斯帕福斯，2009年10月18-20日，计算机科学讲义，第5814卷（2009），Springer-Verlag:Springer-Verlag Berlin，Germany），122-134·Zbl 1262.91021号 [7] Y.Bachrach，R.Meir，K.Jung，P.Kohli，技能游戏中的联合结构生成，M.Fox，D.Poole（编辑），《第24届AAAI人工智能会议论文集》（AAAI-10），美国佐治亚州亚特兰大，2010年，第703-708页。；Y.Bachrach，R.Meir，K.Jung，P.Kohli，《技能游戏中的联合结构生成》，M.Fox，D.Poole（编辑），《第24届AAAI人工智能会议论文集》（AAAI-10），美国佐治亚州亚特兰大，2010年，第703-708页。 [8] Y.Bachrach，E.Porat，《路径中断游戏》，载于：M.Luck，S.Sen，W.van der Hoek，G.A.Kaminka（编辑），《第九届自治代理和多代理系统国际会议论文集》（AAMAS 2010），加拿大多伦多，2010年，第1123-1130页。；Y.Bachrach，E.Porat，《路径中断游戏》，载于：M.Luck，S.Sen，W.van der Hoek，G.A.Kaminka（编辑），《第九届自治代理和多代理系统国际会议论文集》（AAMAS 2010），加拿大多伦多，2010年，第1123-1130页。 [9] Y.Bachrach，J.S.Rosenschein，《联合技能游戏》，载于：L.Padgham，D.C.Parkes，J.Müller，S.Parsons（编辑），《第七届自主代理和多代理系统国际会议论文集》（AAMAS 2008），葡萄牙埃斯特里尔，2008年，第1023-1030页。；Y.Bachrach，J.S.Rosenschein，《联合技能游戏》，载于：L.Padgham，D.C.Parkes，J.Müller，S.Parsons（编辑），《第七届自主代理和多代理系统国际会议论文集》（AAMAS 2008），葡萄牙埃斯特里尔，2008年，第1023-1030页。 [10] Y.Bachrach，J.S.Rosenschein，E.Porat，《连接游戏中的力量和稳定性》，载于：L.Padgham，D.C.Parkes，J.Müller，S.Parsons（编辑），《第七届自主代理和多代理系统国际会议论文集》（AAMAS 2008），葡萄牙埃斯特里尔，2008年，第999-1006页。；Y.Bachrach，J.S.Rosenschein，E.Porat，《连接游戏中的力量和稳定性》，载于：L.Padgham，D.C.Parkes，J.Müller，S.Parsons（编辑），《第七届自主代理和多代理系统国际会议论文集》（AAMAS 2008），葡萄牙埃斯特里尔，2008年，第999-1006页。 [11] 伯恩斯坦，P。；Goodman，N.，《自然半联接的力量》，SIAM计算机杂志，10751-771（1981）·Zbl 0469.68090号 [12] Bilbao，J.M.，《关于组合结构的合作游戏，理论和决策库C》，第26卷（2000年），Kluwer学术出版社：Kluwer-学术出版社阅读，马萨诸塞州，美国·兹伯利0983.91013 [13] Bodlaender，H.L.，求小树宽树分解的线性时间算法，SIAM计算杂志，251305-1317（1996）·Zbl 0864.68074号 [14] Bröndsted，A.，《凸多面体导论》，《数学研究生教材》，第90卷（1983年），Springer-Verlag:Springer-Verlag，美国纽约州纽约市·Zbl 0509.52001号 [15] T.Calamoneri，《（L（h，k）》doi:10.1093/comjnl/bxr037；T.Calamoneri，《（L（h，k）》doi:10.1093/comjnl/bxr037 [16] Condon，A.，《随机博弈、信息和计算的复杂性》，96，203-224（1992）·兹标0756.90103 [17] V.Conitzer，T.Sandholm，《计算Shapley值、操作值划分方案和检查多问题域中的核心成员》，载于：D.L.McGuinness，G.Ferguson（编辑），《第19届全国人工智能会议论文集》（AAAI-04），美国加利福尼亚州圣何塞市，2004年，第219-225页。；V.Conitzer，T.Sandholm，《计算Shapley值、操作值划分方案和检查多问题域中的核心成员》，载于：D.L.McGuinness，G.Ferguson（编辑），《第19届全国人工智能会议论文集》（AAAI-04），美国加利福尼亚州圣何塞市，2004年，第219-225页。 [18] 科尼策，V。；Sandholm，T.，基于联盟间协同作用构建核心解决方案的复杂性，人工智能，170，607-619（2006）·Zbl 1131.91305号 [19] Courcelle，B.，《图形重写：代数和逻辑方法》，（van Leeuwen，J.，《理论计算机科学手册》，第B卷：形式模型和语义（1990），麻省理工学院出版社：麻省理学院出版社，美国马萨诸塞州坎布里奇），193-242·Zbl 0900.68282号 [20] 达斯古普塔，S。；Papadimitriou，C.H。；Vazirani，U.，《算法》（2006），McGraw-Hill:美国纽约州纽约市McGraw-Hill [21] C.Daskalakis，C.H.Papadimitriou，通过马尔可夫随机场计算图形游戏中的纯纳什均衡，收录于：J.Feigenbaum，J.Chuang，D.M.Pennock（编辑），《第七届ACM电子商务会议论文集》（EC’06），美国密歇根州安阿伯，2006年，第91-99页。；C.Daskalakis，C.H.Papadimitriou，通过马尔可夫随机场计算图形游戏中的纯纳什均衡，收录于：J.Feigenbaum，J.Chuang，D.M.Pennock（编辑），《第七届ACM电子商务会议论文集》（EC？06），美国密歇根州安阿伯，2006年，第91-99页。 [22] Davis，M。；Maschler，M.，合作游戏的核心，《海军研究后勤季刊》，1223-259（1965）·Zbl 0204.20202号 [23] Dechter，R.，《约束处理》（2003），Morgan Kaufmann出版社：Morgan Koufmann-Publishers San Francisco，CA，USA [24] 邓，X。；方，Q。；Sun，X.，发现流游戏的核仁，组合优化杂志，18，64-86（2009）·兹比尔1188.91024 [25] 邓，X。；茨城，T。；Nagamochi，H.，组合优化游戏核心的算法方面，运筹学数学，24751-766（1999）·Zbl 1064.91505号 [26] 邓，X。；Papadimitriou，C.H.，关于合作解决方案概念的复杂性，运筹学数学，19257-266（1994）·Zbl 0824.90146号 [27] 埃奇沃思，F.Y.，《数学心理学：从数学到道德科学的论文》（1881），C.Kegan Paul&Co.：C.Kegan-Paul&Co.伦敦·Zbl 0005.17402号 [28] Elkind，E。；Goldberg，洛杉矶。；Goldberg，P.W。；Wooldridge，M.，《加权投票游戏的计算复杂性》，《数学和人工智能年鉴》，56，109-131（2009）·Zbl 1185.91081号 [29] Elkind，E。；Goldberg，洛杉矶。；Goldberg，P.W。；Wooldridge，M.，《边际贡献网及其应用的一个易处理且富有表现力的类》，《数学逻辑季刊》，55，362-376（2009）·兹比尔1175.91022 [30] E.Elkind，D.Pasechnik，计算加权投票游戏的核仁，见：C.Mathieu（编辑），第20届ACM-SIAM离散算法年度研讨会论文集（SODA09），美国纽约州纽约市，2009年，第327-335页。；E.Elkind，D.Pasechnik，《计算加权投票游戏的核仁》，载于：C.Mathieu（Ed.），第20届ACM-SIAM离散算法年会论文集（SODA09），美国纽约州纽约市，2009年，第327-335页·Zbl 1425.91030号 [31] 美国费格尔。；Fekete，S.P。；Hochstättler，W。；Kern，W.，《欧几里德TSP游戏中的近似公平成本分配》，OR Spektrum，20，29-37（1998）·兹伯利0897.90199 [32] 美国费格尔。；Kern，W.，关于一些近似平衡的组合合作对策，ZOR-运筹学的方法和模型，38，141-152（1993）·Zbl 0788.90089号 [33] 美国费格尔。；科恩，W。；Fekete，S.P。；Hochstättler，W.，《关于最小成本生成树游戏核心中测试成员资格的复杂性》，《国际博弈论杂志》，26，361-366（1997）·Zbl 0885.90123号 [34] Galil，Z.，图中最大匹配的高效算法，ACM计算调查，18，23-38（1986）·Zbl 0606.68064号 [35] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP-完全性理论指南》（1979），W.H.Freeman&Co.：W.H.Freeman&Co.纽约，纽约，美国·Zbl 0411.68039号 [36] Gillies，D.B.，《一般非零和博弈的解决方案》（Tucker，A.W.；Luce，R.D.，《对博弈理论的贡献》，第四卷，《数学研究年鉴》，第40卷（1959年），普林斯顿大学出版社：美国新泽西州普林斯顿市普林斯顿大学出版局），47-85·Zbl 0085.13106号 [37] 戈曼斯，M.X。；Skutella，M.，合作设施定位游戏，算法杂志，50194-214（2004）·Zbl 1106.91009号 [38] G.Greco，E.Malizia，L.Palopoli，F.Scarcello，《论紧凑联盟博弈的复杂性》，载于：C.Boutiler（编辑），《第21届国际人工智能联合会议论文集》（IJCAI-09），加利福尼亚州帕萨迪纳，美国，2009年，第147-152页。；G.Greco，E.Malizia，L.Palopoli，F.Scarcello，《论紧凑联盟博弈的复杂性》，载于：C.Boutiler（编辑），《第21届国际人工智能联合会议论文集》（IJCAI-09），加利福尼亚州帕萨迪纳，美国，2009年，第147-152页·Zbl 1327.91009号 [39] 格雷科·G。；Malizia，E。；Palopoli，L。；Scarcello，F.，《通过混合整数线性约束的不可转移效用联盟博弈》，《人工智能研究杂志》，38，633-685（2010）·Zbl 1203.91017号 [40] G.Greco，E.Malizia，L.Palopoli，F.Scarcello，《论核心对联盟结构的复杂性》，T.Walsh（Ed.），《第22届国际人工智能联合会议论文集》（IJCAI-11），西班牙巴塞罗那，第216-221页。；G.Greco，E.Malizia，L.Palopoli，F.Scarcello，《论核心对联盟结构的复杂性》，T.Walsh（Ed.），《第22届国际人工智能联合会议论文集》（IJCAI-11），西班牙巴塞罗那，第216-221页·Zbl 1233.91018号 [41] 格雷科·G。；Scarcello，F.，《关于基于图形的约束问题表示的结构分解的威力》，《人工智能》，174382-409（2010）·Zbl 1207.68355号 [42] Grünbaum，B.，《凸多面体，纯粹与应用数学》，第十六卷（1967年），威利：美国纽约州威利·Zbl 0163.16603号 [43] Helly，E.，U ber Mengen konvexer Körper mit gemeinschaftlichen Punkten，德国数学研究所，32，175-176（1923）·JFM 49.0534.02号 [44] S.Ieong，Y.Shoham，《边际贡献网：联盟博弈的紧凑表示方案》，载于：J.Riedl，M.J.Kearns，M.K.Reiter（编辑），《第六届ACM电子商务会议论文集》（EC’05），加拿大不列颠哥伦比亚省温哥华，2005年，第193-202页。；S.Ieong，Y.Shoham，《边际贡献网：联盟博弈的紧凑表示方案》，载于：J.Riedl，M.J.Kearns，M.K.Reiter（编辑），《第六届ACM电子商务会议论文集》（EC’05），加拿大不列颠哥伦比亚省温哥华，2005年，第193-202页。 [45] S.Ieong，Y.Shoham，多属性联盟游戏，收录于：J.Feigenbaum，J.Chuang，D.M.Pennock（编辑），《第七届ACM电子商务会议论文集》（EC’06），美国密歇根州安阿伯，2006年，第170-179页。；S.Ieong，Y.Shoham，多属性联盟游戏，收录于：J.Feigenbaum，J.Chuang，D.M.Pennock（编辑），《第七届ACM电子商务会议论文集》（EC’06），美国密歇根州安阿伯，2006年，第170-179页。 [46] Johnson，D.S.，《复杂性类目录》，（van Leeuwen，J.，《理论计算机科学手册》，A卷：算法与复杂性（1990），麻省理工学院出版社：麻省理工学院出版社，美国马萨诸塞州剑桥），67-161·Zbl 0900.68246号 [47] 卡莱，E。；斯坦福·W·，重复博弈中的有限理性和人际复杂性，《计量经济学》，56397-410（1988）·Zbl 0647.90104号 [48] E.Kalai，E.Zemel，《关于完全平衡博弈和流博弈》，讨论论文413，西北大学，经济与管理科学数学研究中心，伊利诺伊州埃文斯顿，美国，1980年。；E.Kalai，E.Zemel，《关于完全平衡游戏和流游戏》，讨论论文413，西北大学，经济和管理科学数学研究中心，伊利诺伊州埃文斯顿，美国，1980年·Zbl 0498.90030号 [49] 科恩，W。；Paulusma，D.，《匹配游戏：最小核和核仁》，《运筹学数学》，28，294-308（2003）·Zbl 1082.91016号 [50] Klasing，R。；Kosowski，A。；Navarra，A.，《接口数量有界和无界的无线网络中的成本最小化》，《网络》，53266-275（2009）·Zbl 1178.68039号 [51] Kosowski，A。；纳瓦拉，A。；Pinotti，C.M.，《开发多接口网络：连通性和最便宜的路径》，《无线网络》，第16期，第1063-1073页（2010年） [52] M.W.Krentel，优化问题的复杂性，摘自：第18届ACM计算理论研讨会论文集（STOC’86），美国加州伯克利，第69-76页。；M.W.Krentel，优化问题的复杂性，摘自：第18届ACM计算理论研讨会论文集（STOC’86），美国加州伯克利，第69-76页。 [53] E.Malizia，L.Palopoli，F.Scarcello，不可行证书和联盟游戏中核心的复杂性，收录于：M.M.Veloso（编辑），《第20届国际人工智能联合会议论文集》（IJCAI-07），印度海得拉巴，2007年，第1402-1407页。；E.Malizia，L.Palopoli，F.Scarcello，《不可行证书和联盟游戏中核心的复杂性》，载于：M.M.Veloso（编辑），《第20届国际人工智能联合会议论文集》（IJCAI-07），印度海得拉巴，2007年，第1402-1407页。 [54] Maschler，M.，《决定谈判集的不等式》（M_1^{（i）}），以色列数学杂志，4127-134（1966）·Zbl 0204.20301号 [55] Maschler，M.，《谈判集、核和核仁》，（Aumann，R.J.；Hart，S.，《博弈论手册》，第1卷。《博弈论手册》，第一卷，《经济学手册》，第11卷（1992），北荷兰：荷兰阿姆斯特丹北荷兰），591-667·Zbl 0968.91502号 [56] Maschler，M。；佩莱，B。；Shapley，L.S.，核的几何性质，核仁和相关解概念，运筹学数学，4303-338（1979）·Zbl 0426.90097号 [57] Megiddo，N.，博弈论方法对树木成本分配的计算复杂性，运筹学数学，189-196（1978）·Zbl 0397.90111号 [58] Muroga，S.，阈值逻辑及其应用（1971），Wiley-Interscience:Wiley-Interscience，美国纽约州纽约市·Zbl 0243.94014号 [59] 冯·诺依曼，J。；Morgenstern，O.，《博弈论与经济行为》（1953），普林斯顿大学出版社：普林斯顿大学出版，美国新泽西州普林斯顿·Zbl 0053.09303号 [60] Ohta，N。；科尼策，V。；一村，R。；樱井，Y。；川崎，A。；Yokoo，M.，利用紧凑特征函数表示的联盟结构生成，（Gent，I.P.，约束编程的原理和实践-CP 2009，第15届国际会议论文集，CP 2009。约束编程原理与实践——CP 2009，第15届国际会议论文集，CP 2009，葡萄牙里斯本，2009年9月20日至24日。约束编程原理与实践——CP 2009，第15届国际会议论文集，CP 2009。约束编程的原理和实践——CP 2009，第15届国际会议论文集，CP 2009，葡萄牙里斯本，2009年9月20日至24日，计算机科学讲义，第5732卷（2009），Springer-Verlag:Springer-Verlag Berlin，Germany），623-638 [61] Okamoto，Y.，《带Monge属性的旅行推销员游戏》，《离散应用数学》，138349-369（2004）·兹比尔1056.90120 [62] 奥斯本，M.J。；Rubinstein，A.，《博弈论课程》（1994），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥，美国·Zbl 1194.91003号 [63] Owen，G.，《关于线性生产博弈的核心》，《数学规划》，9358-370（1975）·Zbl 0318.90060号 [64] Papadimitriou，C.H.，计算复杂性（1994），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州，美国·Zbl 0557.68033号 [65] Papadimitriou，C.H。；Steiglitz，K.，《组合优化：算法和复杂性》（1998），多佛出版社·Zbl 0944.90066号 [66] Papadimitriou，C.H。；Yannakakis，M.，《面的复杂性（以及复杂性的某些方面）》，《计算机与系统科学杂志》，28244-259（1984）·Zbl 0571.68028号 [67] J.Pearson，P.Jeavons，《可控制约束满足问题的调查》，技术报告CSD-TR-97-15，皇家霍洛韦，伦敦大学，1997年。；J.Pearson，P.Jeavons，《可控制约束满足问题的调查》，技术报告CSD-TR-97-15，皇家霍洛韦，伦敦大学，1997年。 [68] Prased，K。；Kelly，J.，Np-投票博弈问题的完备性，国际博弈论杂志，19，1-9（1990）·Zbl 0705.90103号 [69] Rabin，M.，关于Helly定理的注释，太平洋数学杂志，5，363-366（1955）·Zbl 0065.15303号 [70] 罗伯逊，N。；Seymour，P.，《未成年人图III：平面树宽度》，《组合理论杂志》，B辑，36，49-64（1984）·Zbl 0548.05025号 [71] 西萨德。；韩，Z。；Debbah，M。；Hjörunnes，A。；Bašar，T.，《通信网络的联合博弈理论：教程》，IEEE Signal Processing Magazine，26，77-97（2009） [72] Schaefer，M.，《图拉姆齐理论和多项式层次结构》，《计算机与系统科学杂志》，62290-322（2001）·Zbl 0986.05074号 [73] Schmeidler，D.，特征函数游戏的核仁，SIAM应用数学杂志，171163-1170（1969）·兹比尔0191.49502 [74] Selman，A.L.，《函数复杂性分类》，《计算机与系统科学杂志》，48357-381（1994）·Zbl 0806.68049号 [75] Shapley，L.S。；Shubik，M.，《任务游戏I：核心》，《国际博弈论杂志》，111-130（1971）·Zbl 0236.90078号 [76] Simon，H.A.，《有限理性理论》，（McGuire，C.B.；Radner，R.，《决策与组织》，《决策和组织，数学与管理经济学研究》，第12卷（1972年），北荷兰：荷兰阿姆斯特丹北荷兰），161-176·Zbl 0237.90002号 [77] Tijs，S.H。；帕塔萨拉蒂，T。；波特，J.A.M。；Rajendra Prasad，V.，《置换游戏：另一类完全平衡游戏》，OR Spektrum，6119-123（1984）·Zbl 0537.90101号 [78] T.Voice，M.Polukarov，N.R.Jennings，图联盟结构生成，CoRR，arXiv:1102.1747[abs]；T.Voice，M.Polukarov，N.R.Jennings，图联盟结构生成，CoRR，arXiv:1102.1747[abs]·Zbl 1253.68183号 [79] Yannakakis，M.，《平衡、不动点和复杂性类》，《计算机科学评论》，第371-85页（2009年）·Zbl 1302.68143号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。