×
罗曼·布伦吉尔

均值对负博弈中的稳健均衡。 （英语） Zbl 1475.68202号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 217-233 (2016).
摘要：我们研究了在具有平均收益目标的多人并发博弈中寻找鲁棒均衡的问题。（k，t）-稳健均衡是一种策略配置文件，因此大小联盟（k）不能通过偏离来提高一个成员的收益，大小联盟（t）也不能降低其他参与者的收益。虽然决定是否存在这样的均衡一般来说是不可判定的，但我们为策略复杂性的两个有意义的限制提出了算法。第一个限制与内存有关。我们证明了我们可以将无记忆鲁棒平衡点的存在性问题简化为实（存在）理论中的一个公式。第二个限制涉及随机性。我们建议从多人游戏到两人游戏的一般转换，以便第一个游戏中的纯平衡对应于第二个游戏的获胜策略。通过这种变换，我们证明了鲁棒平衡点的存在性可以在多项式空间中判定，并且该决策问题是PSPACE-完全的。
关于整个系列，请参见[Zbl 1333.68011号].

引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
91A12号机组 合作游戏
91A80型 博弈论的应用
PDF格式BibTeX公司 XML格式引用
\textit{R.Brenguier}，莱克特。注释计算。科学。9634，217--233（2016；Zbl 1475.68202）
全文： 内政部 链接

参考文献：

[1] Abraham，I.、Dolev，D.、Gonen，R.、Halpern，J.：分布式计算与博弈论：理性秘密共享和多方计算的鲁棒机制。载：第二十五届ACM分布式计算原理年度研讨会论文集，第53–62页。ACM（2006）·Zbl 1314.68051号 ·数字对象标识代码：10.1145/1146381.1146393
[2] Alur，R.，Henzinger，T.A.，Kupferman，O.：交替时间时序逻辑。J.ACM（JACM）49（5），672–713（2002）·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[3] Aumann，R.：一般合作n人游戏中的可接受点。顶部。数学。经济。博弈论论文荣誉罗伯特J奥曼23287–324（1959）·Zbl 0085.13005号
[4] Bouyer，P.，Brenguier，R.，Markey，N.，Ummels，M.：有序目标的并发游戏。收录：Birkedal，L.（编辑）FOSSACS 2012。LNCS，第7213卷，第301-315页。斯普林格，海德堡（2012）·Zbl 1352.68177号 ·doi:10.1007/978-3-642-28729-9_20
[5] Bouyer，P.，Markey，N.，Stan，D.：并发最终报酬博弈中的混合纳什均衡。参加：第34届软件技术与理论计算机科学基础国际会议（FSTTCS 2014）。莱布尼茨国际信息学论文集（LIPIcs），德国达格斯图尔，第29卷，第351-363页（2014）·Zbl 1360.91041号
[6] Brenguier，R.：并发游戏中的纳什均衡：计时游戏的应用。Cachan博士论文，Ecole normale supérieure（2012）
[7] Brenguier，R.：并发博弈中的稳健均衡。CoRR公司，http://arxiv.org/abs/1311.7683 (2015) ·Zbl 1475.68202号
[8] Brenguier，R.，Raskin，J.-F.：多维均值对负博弈的最优值（2014）。https://hal.archives-ouvertes.fr/hal-00977352/
[9] Brenguier，R.，Raskin，J.-F.：多维均值对负博弈的帕累托曲线。收录人：Kroening，D.，Psreanu，C.s.（eds.）CAV 2015。LNCS，第9207卷，第251-267页。斯普林格，海德堡（2015）·Zbl 1382.91012号 ·doi:10.1007/978-3-319-21668-3_15
[10] Brihaye，T.，Bruyère，V.，De Pril，J.：定量可达性博弈中的均衡。摘自：Ablayev，F.，Mayr，E.W.（编辑）CSR 2010。LNCS，第6072卷，第72-83页。斯普林格，海德堡（2010）·兹比尔1285.91023 ·doi:10.1007/978-3-642-13182-0-7
[11] Canny，J.：pspace中的一些代数和几何计算。摘自：第二十届ACM计算机理论研讨会论文集，第460-467页。ACM（1988）·数字对象标识代码：10.1145/62212.62257
[12] Chatterjee，K.，Henzinger，T.A.，Jurdzináski，M.：安全平衡游戏\[^{,}\]。收录人：de Boer，F.S.，Bonsangue，M.M.，Graf，S.，de Roever，W.-P.（编辑）FMCO 2004。LNCS，第3657卷，第141-161页。斯普林格，海德堡（2005）·Zbl 1143.68447号 ·doi:10.1007/11561163_7
[13] Chatterjee，K.，Henzinger，T.A.，Piterman，N.：战略逻辑。通知。计算。208(6), 677–693 (2010) ·Zbl 1205.68197号 ·doi:10.1016/j.ic.2009.07.004
[14] Mogavero，F.，Murano，A.，Perelli，G.，Vardi，M.Y.：是什么使得Atl*可以判定？战略逻辑的一个决定性片段。收录：Koutny，M.，Ulidowski，I.（编辑）CONCUR 2012。LNCS，第7454卷，第193–208页。斯普林格，海德堡（2012）·Zbl 1365.68329号 ·doi:10.1007/978-3-642-32940-115
[15] Nash Jr.，J.F.：平衡点\[n个\]n人游戏。程序。美国国家科学院。科学。美国36（1），48–49（1950）·Zbl 0036.01104号 ·doi:10.1073/pnas.36.1.48
[16] Puterman，M.L.：马尔可夫决策过程：离散随机动态规划（1994）·Zbl 0829.90134号
[17] Ummels，M.：无限多人游戏中纳什均衡的复杂性。收录：Amadio，R.M.（编辑）FOSSACS 2008。LNCS，第4962卷，第20-34页。斯普林格，海德堡（2008）·Zbl 1138.91359号 ·doi:10.1007/978-3-540-78499-93
[18] Ummels，M.，Wojtczak，D.：简单随机多人游戏中纳什均衡的复杂性。收录人：Albers，S.、Marchetti-Paccamela，A.、Matias，Y.、Nikoletseas，S..、Thomas，W.（编辑）ICALP 2009，第二部分。LNCS，第5556卷，第297–308页。斯普林格，海德堡（2009）·Zbl 1248.91016号 ·doi:10.1007/978-3-642-02930-125
[19] Ummels，M.，Wojtczak，D.：极限平均博弈中纳什均衡的复杂性。在：Katoen，J.-P.，König，B.（编辑）CONCUR 2011。LNCS，第6901卷，第482-496页。施普林格，海德堡（2011）·Zbl 1343.68177号 ·doi:10.1007/978-3642-23217-6_32
[20] Velner，Y.、Chatterjee，K.、Doyen，L.、Henzinger，T.A.、Rabinovich，A.、Raskin，J.-F.：多均值和多能量游戏的复杂性。CoRR abs/1209.3234（2012）·Zbl 1309.68082号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。