×
斯滕·格吕纳;弗兰克·G·拉德马赫。;沃尔夫冈·托马斯

动态网络上的连接游戏。 （英语） Zbl 1294.68035号

西奥。计算。科学。 493, 46-65 (2013)。
摘要：提出并分析了一种用于动态网络研究的博弈理论模型。该模型的动机是通信网络会出现节点故障，并且恢复需要资源。相应的两层游戏在“析构函数”（可以删除节点）和“构造函数”（可以在特定条件下恢复甚至创建节点）之间进行。我们还通过允许Constructor更改相邻节点的标签来包含信息流的功能。作为建造商的目标，将要连接的网络属性视为安全条件或可达条件（在后一种情况下，从非连接网络开始）。我们证明了Constructor对应对策的可解性在什么条件下是可判定的，在这种情况下，我们获得了复杂度的上下限，以及由获胜策略导出的算法。由于参与者之间的不对称性，安全性和可达性目标不是相互对偶的，而是分开对待的。

引用于2文件

MSC公司：

68M10个 计算机系统中的网络设计和通信
68米15 网络和计算机系统的可靠性、测试和容错
91A43型 涉及图形的游戏
91A05型 2人游戏
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
05C40号 连接性

关键词：

无限游戏;动态网络;容错系统;连接性游戏
PDF格式BibTeX公司 XML格式引用
\textit{S.Grüner}等人，Theor。计算。科学。493、46-65（2013年；Zbl 1294.68035）
全文： 内政部

参考文献：

[2] 格罗斯，J。；拉德马赫，F.G。；Thomas，W.，《对抗条件下路由的游戏理论方法》，（IFIP TCS会议录，IFIP TCS.会议录，《IFIP信息与通信技术进展》，第323卷（2010），施普林格），355-370·兹比尔1198.90078
[3] Reif，J.H.，《不完全信息两层博弈的复杂性》，《计算机与系统科学杂志》，29274-301（1984）·Zbl 0551.90100号
[4] 扎尔，S.A。；彼得森，G.L。；Reif，J.H.，不完全信息多人非合作博弈的下限，《计算机与数学应用杂志》，41，957-992（2001）·Zbl 0991.91007号
[5] van Benthem，J.，《关于破坏和阻碍的论文》（《机械化数学推理：纪念Jörg H.Siekmann 60岁生日的论文》），268-276·Zbl 1098.68632号
[7] Löding，C。；Rohde，P.，解决破坏游戏是PSPACE-hard，（MFCS会议录，MFCS会议记录，计算机科学讲义，第2747卷（2003），Springer），531-540·Zbl 1124.68369号
[9] 克莱因，D。；拉德马赫，F.G。；Thomas，W.，《在随机故障下的网络中移动：复杂性分析》（《计算机编程科学》（2010），出版社文章）
[10] Gierasimczuk，N。；Kurzen，L。；Velázquez-Quesada，F.R.，《作为游戏的学习和教学：一种破坏方法》，（LORI会议录，LORI大会录，计算机科学讲义，第5834卷（2009年），Springer），119-132·兹伯利1196.03034
[12] 奥尔特曼，E。；布洛涅，T。；El-Azouzi，R。；Jiménez，T。；Wynter，L.，《电信网络游戏调查》，计算机与运筹学，33286-311（2006）·Zbl 1116.91310号
[13] 菲亚特，A。；Woeginger，G.J.，（《在线算法：现状》，在线算法：最新进展，计算机科学讲稿，第1442卷（1998年），Springer）·Zbl 1177.68009号
[14] 硼蛋白，A。；El-Yaniv，R.，《在线计算与竞争分析》（1998），剑桥大学出版社·Zbl 0931.68015号
[15] Albers，S.，《在线算法：调查》，《数学规划》，97，3-26（2003）·Zbl 1035.68136号
[16] Rajaraman，R.，《自组网中的拓扑控制和路由：一项调查》，SIGACT News，33，60-73（2002）
[17] Scheideler，C.，《动态网络中通信的模型和技术》，（STACS会议录，STACS会议记录，计算机科学讲稿，第2285卷（2002），Springer），27-49·Zbl 1054.68011号
[18] Awerbuch，B。；Berenbrink，P。；Brinkmann，A。；Scheidler，C.，对抗系统的简单路由策略，（FOCS会议录（2001），IEEE计算机学会），158-167
[19] Awerbuch，B。；Brinkmann，A。；Scheideler，C.，《对抗系统中的任何广播：路由和准入控制》，（ICALP会议录，ICALP的会议录，计算机科学讲稿，第2719卷（2003），Springer），1153-1168·Zbl 1039.68534号
[20] 德米特里斯库，C。；艾普斯坦，D。；加利尔，Z。；Italiano，G.F.，动态图算法，（Atallah，M.J.；Blanton，M.，算法和计算理论手册。算法和计算理论手册，一般概念和技术，第1卷（2010），CRC出版社），9-1-9-28·Zbl 1193.68001号
[21] Feigenbaum，J。；Kannan，S.，《动态图算法》（Rosen，K.H.，《离散和组合数学手册》（2000），CRC出版社），1142-1151
[22] 霍尔姆，J。；de Lichtenberg，K。；Thorup，M.，连通性、最小生成树、2-边和双连通性的多元算术确定性全动态算法，ACM杂志，48，723-760（2001）·Zbl 1127.68408号
[23] 罗德蒂，L。；Zwick，U.，具有几乎线性更新时间的有向图的完全动态可达性算法，（STOC（2004），ACM学报），184-191·兹比尔1192.90238
[24] 韦伯，V。；Schwentick，T.，重温动态复杂性理论，计算系统理论，40，355-377（2007）·Zbl 1121.68053号
[26] Pucella，R。；韦斯曼，V.，《关于动态政策的推理》，（FoSSaCS会议录，FoSSaAS会议录，计算机科学讲稿，第2987卷（2004），斯普林格），453-467·兹比尔1126.03317
[27] Demri，S.，《从DLP到PDL的简化》，《逻辑与计算杂志》，15767-785（2005）·Zbl 1092.03016号
[28] Göller，S。；Lohrey，M.，命题动态逻辑的无限状态模型检验，（CSL会议录，CSL会议记录，计算机科学讲义，第4207卷（2006），Springer），349-364·Zbl 1225.68116号
[29] （Rozenberg，G.，《图形语法和图形变换计算手册》，第1卷：基础（1997），《世界科学》）·Zbl 0908.68095号
[30] Corradini，A.，《GETGRATS:科学结果摘要》（附注释书目），（GETGRATS闭幕研讨会论文集。GETGRAT闭幕研讨会文献集，理论计算机科学电子笔记，第51卷（2001），爱思唯尔），1-61·Zbl 1263.68069号
[31] Heckel，R.，简而言之的图形变换，（FoVMT会议录，FoVMT会录，理论计算机科学电子笔记，第148卷（1）（2006），Elsevier），187-198
[32] Gadducci，F。；赫克尔，R。；Koch，M.，《图形解释时序逻辑的完全抽象模型》，（TAGT会议录，TAGT，计算机科学讲义，第1764卷（1998年），Springer），310-322·Zbl 0948.03025号
[33] 库普夫曼，O。；瓦尔迪，M.Y。；Wolper，P.，模块检查，信息与计算，164，322-344（2001）·Zbl 1003.68071号
[34] 拉德马赫，F.G。；Thomas，W.，《动态网络分析的博弈论方法》（Proceedings of VerAS），《VerAS Proceeding of VerAS，Electronic Notes in Theory Computer Science，vol.200（2）（2008），Elsevier），21-37·Zbl 1277.68026号
[35] Grüner，S。；拉德马赫，F.G。；Thomas，W.，《动态网络上的连通性游戏》，（D'Agostino，G.；Torre，S.L.，《GandALF会议录》，《Gadalf会议记录》，《理论计算机科学电子会议录》第54卷（2011）），131-145·Zbl 1460.91047号
[36] Thomas，W.，《论无限博弈中的策略综合》，（STACS会议录，STACS会议录，计算机科学讲义，第900卷（1995年），施普林格出版社），1-13·Zbl 1379.68233号
[37] Thomas，W.，（《教会问题的解决：教程》，《教会问题解决：教程，逻辑与游戏课本》，第4卷（2008年），阿姆斯特丹大学出版社），211-236·Zbl 1377.03027号
[38] Grädel，E。；托马斯·W·。；Wilke，T.，（自动化、逻辑和无限游戏：当前研究指南。自动化、逻辑与无限游戏：当代研究指南，计算机科学讲义，第2500卷（2002），Springer）·Zbl 1011.00037号
[39] Papadimitriou，C.H.，《计算复杂性》（1994），艾迪森·韦斯利·Zbl 0833.68049号
[40] Pnueli，A。；Rosner，R.，《异步反应模块的合成》，（ICALP会议录，ICALP，计算机科学讲稿，第372卷（1989年），Springer），652-671·Zbl 0686.68015号
[42] 阿鲁尔（Alur，R.）。；La Torre，S。；Madhusudan，P.，《玩方块和钻石游戏》，（CONCUR会议录，计算机科学讲义，第2761卷（2003），Springer），127-141·Zbl 1274.68173号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。