×
阿夫尼，盖伊;什巴希斯·古哈;奥尔纳·库普弗曼

一种用于网络游戏推理的抽象再定义方法。 （英语） 兹比尔1418.91097

游戏 9，第3号，第39号论文，21页（2018年）.
摘要：网络游戏是在有向图上进行的，广泛用于网络设计和分析。NGs的搜索问题包括寻找特殊的策略配置文件，如纳什均衡和全局最优解决方案。由NGs建模的网络可能非常庞大。在形式验证中，抽象已被证明是一种非常有效的技术，用于推理具有大甚至无限状态空间的系统。我们描述了一种用于推理NGs的抽象重定义方法。我们的方法基于一个抽象函数，该函数将NG的状态空间映射到一个小得多的状态空间。我们通过在这个较小的状态空间上定义的欠近似和过近似进行推理，来搜索全局最优和纳什均衡。当近似值过于粗糙而无法找到这样的轮廓时，我们会细化抽象函数。我们将抽象再定义方法扩展到标记网络，其中参与者的目标是正则语言。我们的实验结果证明了该方法的有效性。

引用于5文件

MSC公司：

91A43型 涉及图形的游戏
05第57页 图形游戏（图形理论方面）
65年第68季度 形式语言和自动机

关键词：

网络编队游戏;抽象重定义;纳什均衡;社会最优

软件：

游戏萎缩;NetworkX公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}等人，Games 9，No.3，论文编号39，21 p.（2018；Zbl 1418.91097）
全文： 内政部

参考文献：

[1] Fabrikant，A。；卢特拉，A。；Maneva，E。；帕帕迪米特里奥，C。；申克，S。；论网络创作游戏；美国计算机学会分布式计算原理研讨会论文集：·Zbl 1322.91013号
[2] 阿尔伯斯，S。；Elits，S。；Even-Dar，E。；Mansour，Y。；罗德蒂，L。；网络创造博弈的纳什均衡研究；第七届ACM-SIAM离散算法研讨会论文集：·Zbl 1192.91036号
[3] Anshelevich，E。；Dasgupta，A。；Kleinberg，J。；塔尔多斯，E。；韦克斯勒，T。；拉夫加登，T。；具有公平成本分配的网络设计的稳定性价格；SIAM J.计算：2008; 第38卷，1602-1623·Zbl 1173.91321号
[4] 罗森塔尔，R.W。；一类具有纯策略纳什均衡的博弈；国际博弈论：1973；第2卷，65-67·兹比尔0259.90059
[5] 拉夫加登，T。；塔尔多斯，E。；自私路线有多糟糕？；《美国医学杂志》：2002年；第49卷，236-259·Zbl 1323.90011号
[6] 纳什，J。；n人博弈中的平衡点；程序。国家。阿卡德。科学。美国：1950年；第36卷，第48-49页·Zbl 0036.01104号
[7] 塔尔多斯，E。；韦克斯勒，T。；网络形成博弈与势函数法；算法博弈论：剑桥，英国2007·Zbl 1152.91315号
[8] 梅耶斯，C.A。；网络流问题与拥塞博弈：复杂性与近似结果；博士论文：剑桥，马萨诸塞州，美国2006。
[9] Fabrikant，A。；帕帕迪米特里奥，C。；Talwar，K。；纯纳什均衡的复杂性；第36届ACM交响乐团会议录。关于计算理论：，604-612. ·Zbl 1192.91042号
[10] Syrgkanis，V。；成本分担博弈均衡的复杂性；2010年12月13日至17日，美国加利福尼亚州斯坦福市，计算机科学讲稿，互联网和网络经济学国际研讨会论文集：德国柏林，2010年；卷6484，366-377。
[11] 约翰逊，D.S。；帕帕迪米特里奥，C.H。；Yannakakis，M。；本地搜索有多容易？；J.计算。系统。科学：1988; 第37卷，第79-100页·Zbl 0655.68074号
[12] Babichenko，Y。；近似纳什均衡的查询复杂性；J.ACM:2016年；第63卷，第36页·Zbl 1407.91016号
[13] 鲁宾斯坦，A。；解决近似二人纳什均衡计算的复杂性；第57届IEEE计算机科学基础研讨会论文集：，258-265.
[14] 张杰。；波拉扎姆，S。；卡桑德拉斯，C.G。；Paschalidis，I.C.公司。；交通网络无政府状态下的价格：基于数据的评估与降低策略；程序。IEEE:2018年；第106卷，第538-553页。
[15] Koutsopias，E。；帕帕迪米特里奥，C。；最坏情况均衡；计算。科学。版次：2009；第3卷，65-69·Zbl 1303.91012号
[16] 纽曼，M。；复杂网络的结构与功能；SIAM版本：2003；第45卷，167-256·Zbl 1029.68010号
[17] 巴拉巴西，A.L；Linked-Hown Everything Is Connected to Everythong Else and What It Measures for Business，Science，and Everyday Life:纽约，纽约，美国2003。
[18] Paluch，R。；卢，X。；Suchecki，K。；英国西马恩斯基。；Holyst，J.A。；大型复杂网络中传播源的快速准确检测；科学。代表：2018年；第8卷，1-10。
[19] 克拉克，E。；Grumberg，O。；Peled，D；模型检查：剑桥，马萨诸塞州，美国1999·Zbl 0847.68063号
[20] 库索特，P。；库索特，R。；抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型；第四届ACM程序设计语言原理研讨会论文集：，238-252.
[21] 拉森，K。；模态规范；1989年6月12日至14日在法国格勒诺布尔举行的计算机辅助验证国际会议记录：1989年德国柏林；第407卷，第232-246页。
[22] Dams，D。；Gerth，R。；格伦伯格，O。；反应系统的抽象解释；ACM事务处理。程序。语言系统：1997; 第19卷，253-291。
[23] 布伦斯，G。；Godefroid，P。；基于三值时序逻辑的部分状态空间模型检验；计算机辅助验证国际会议记录：，274-287. ·Zbl 1046.68583号
[24] Shoham，S。；格伦伯格，O。；CTL的单调抽象精化；系统构造和分析工具和算法国际会议论文集：；卷2988546-560·Zbl 1126.68487号
[25] 克拉克，E.M。；格伦伯格，O。；Jha，S。；卢，Y。；维思，H。；用于符号模型检查的反例引导抽象求精；《美国医学杂志》：2003年；第50卷，752-794·Zbl 1325.68145号
[26] Gilpin，A。；桑德霍姆，T。；不完全信息游戏的无损抽象；《美国医学杂志》：2007年；第54卷，第25页·Zbl 1314.91025号
[27] Brown，N。；桑德霍姆，T。；博弈中的同时抽象与均衡发现；第二十四届国际人工智能联合会议论文集：，489-496.
[28] Gilpin，A。；桑德霍姆，T。；瑟伦森，T.B。；一个头脑清醒的无限制德克萨斯扑克玩家：离散赌博模型和自动生成的均衡筹资程序；第七届自主代理和多代理系统国际联合会议记录：，911年至918年。
[29] 阿鲁尔（Alur，R.）。；Henzinger，T。；库普夫曼，O。；瓦尔迪，M。；交替求精关系；并发理论国际会议论文集：；卷1466163-178·Zbl 1070.68524号
[30] Henzinger，T。；马朱姆达尔，R。；Mang，F。；Raskin，J.F。；博弈属性的抽象解释；国际静态分析研讨会论文集：；卷1824，245-252·Zbl 0966.68150号
[31] De Alfaro，L。；Godefroid，P。；Jagadeesan，R。；游戏的三值抽象：不确定性，但有精确性；第19届IEEE计算机科学逻辑年会论文集：，170-179.
[32] 球，T。；库普夫曼，O。；一种多智能体系统的抽象精化框架；第21届IEEE计算机科学逻辑研讨会论文集：。
[33] 古铁雷斯，J。；Harrenstein，P。；佩雷利，G。；伍尔德里奇，M。；纳什均衡与互模拟不变性；第28届并行理论国际会议论文集：；第85卷，1-16·兹比尔1442.68143
[34] 古铁雷斯，J。；Harrenstein，P。；伍尔德里奇，M。；迭代布尔对策；信息计算：2015; 第242卷，第53-79页·Zbl 1318.91012号
[35] Avni，G。；库普夫曼，O。；使加权包容可行：一种基于模拟和抽象的启发式方法；第23届并行理论国际会议论文集：；卷7454，84-99·Zbl 1364.68242号
[36] Daniele，N。；Guinchiglia，F。；瓦尔迪，M。；线性时间逻辑的改进自动机生成；第十一届计算机辅助验证国际会议记录：；卷1633，249-260·Zbl 1046.68588号
[37] Avni，G。；库普夫曼，O。；塔米尔，T。；有规则目标的网络形成游戏；信息计算：2016; 第251卷，165-178页·Zbl 1353.91012号
[38] 维西奇奥，S。；Vanbever，L。；伯纳文图尔，O。；混合软件定义网络的机遇和研究挑战；计算。Commun公司。版次：2014；第44卷，70-75页。
[39] 科尼策，V。；桑德霍姆，T。；关于Nash均衡的新复杂性结果；游戏经济。行为：2008; 第63卷，第621-641页·Zbl 1142.91365号
[40] 哈格伯格，A.A。；舒尔特，D.A。；斯瓦特，P。；使用NetworkX探索网络结构、动态和功能；第七届Python科学大会论文集（SciPy2008）：，11-15.
[41] Godefroid，P。；胡特，M。；Jagadeesan，R。；基于抽象的模态转换系统模型检验；第12届并发理论国际会议论文集：；卷2154426-440·Zbl 1006.68077号
[42] Avni，G。；库普夫曼，O。；塔米尔，T。；具有多资源集的拥挤与成本分担博弈；软件技术和理论计算机科学基础国际会议论文集：·兹比尔1369.91007
[43] 阿鲁尔（Alur，R.）。；Henzinger，T。；库普夫曼，O。；交替时间时序逻辑；《美国医学杂志》：2002年；第49卷，672-713·Zbl 1326.68181号
[44] 查特吉，K。；亨廷格，T.A。；北卡罗来纳州皮特曼。；战略逻辑；信息计算：2010; 第208卷，677-693·Zbl 1205.68197号
[45] 莫加维罗，F。；Murano，A。；佩雷利，G。；M.Y.瓦尔迪。；关于策略的推理：关于模型检验问题；ACM事务处理。计算。日志：2014; 第15卷，第34卷·Zbl 1354.68178号
[46] 查特吉，K。；亨廷格，T.A。；Jurdzinski，M。；具有安全均衡的博弈；理论。计算。科学：2006; 第365卷，第67-82页·Zbl 1108.91007号
[47] 查特吉，K。；向上封闭目标的纳什均衡；欧洲计算机科学逻辑协会第十五届年会论文集；卷4207，271-286·Zbl 1225.91009号
[48] Fisman，D。；库普夫曼，O。；Lustig，Y。；理性综合；第十六届系统构造与分析工具与算法国际会议论文集：；第6015190-204卷·Zbl 1284.68396号
[49] 阿尔马戈尔，S。；Avni，G。；库普夫曼，O。；修复多人游戏；第26届国际并发会议记录：；第42卷，第325-339页·兹比尔1374.68317
[50] 查特吉，K。；马朱姆达尔，R。；Jurdzinski，M。；随机博弈中的纳什均衡；欧洲计算机科学逻辑协会第十三届年会论文集：；卷3210，26-40·Zbl 1095.91001号
[51] Brihaye，T。；布鲁埃，V。；De Pril，J。；Gimbert，H。；定量可达性博弈中的子博弈完善；arXiv:2012年·Zbl 1352.68146号
[52] Avni，G。；Henzinger，T。；库普夫曼，O。；动态资源分配博弈；算法博弈论国际研讨会论文集：；第9928卷，153-166页·Zbl 1403.91059号
[53] Avni，G。；Guha，S。；库普夫曼，O。；定时网络游戏；第42届计算机科学数学基础国际研讨会论文集：；第83卷，1-16·Zbl 1441.91014号
[54] 阿夫尼，G。；Guha，S。；库普夫曼，O。；计时网络游戏；第43届计算机科学数学基础国际研讨会论文集：；第117卷。
[55] 库普夫曼，O。；塔米尔，T。；层次网络形成博弈；系统构建和分析工具和算法国际会议论文集：；卷10205229-246·Zbl 1457.91106号
[56] 格鲁斯曼，M。；卡米，G。；Mador-Haim，S。；弗雷尔，R。；瓦尔迪，M。；多重反例引导的迭代抽象精化：一种工业评价；第九届系统构造与分析工具与算法国际会议论文集：；第2619卷，176-191年·Zbl 1031.68549号
[57] 皮斯托尔，M。；特拉弗索，P。；规划作为非确定性领域中扩展目标的模型检验；第十七届国际人工智能联合会议记录：。
[58] 菲拉尔，J。；Vrieze，K；竞争马尔可夫决策过程：德国柏林，1996·Zbl 0934.91002号
[59] 萨顿，R.S。；巴托，A.G。；强化学习——简介；自适应计算和机器学习：剑桥，马萨诸塞州，美国1998年。
[60] Michalak，T。；Rahwan，T。；伍尔德里奇，M。；战略社会网络分析；第31届人工智能会议记录：，4841-4845.
[61] 桑德霍姆，T。；组合拍卖中最优获胜者的确定算法；Artif公司。智力：2002; 第135卷，1-54·Zbl 0984.68039号
[62] Fatima，S。；克劳斯，S。；伍尔德里奇，M；自动谈判原则：英国剑桥，2014。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。