勒鲁（Le Roux，Stéphane） 获胜策略的时间-软件统一化。 （英语） Zbl 07633508号 Anselmo，Marcela（编辑）等人，《超越可计算性的范围》。第十六届欧洲可计算性会议，CiE 2020，意大利费西亚诺，2020年6月29日至7月3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12098, 193-204 (2020). 摘要：两人无限长输赢游戏涉及多个学科，包括计算机科学和逻辑。如果这样的游戏有确定的获胜策略，人们可能会问这样的策略有多简单。答案可能有助于实际执行，或在信息不完善的情况下获胜，或隐藏敏感信息，尤其是在重复游戏时。给定一个持续时间无限的并发两层输赢游戏，本文考虑了所玩动作历史上的等价关系。这里使用的一个经典限制是等效历史具有相等的长度，因此时间意识.给出了一个充分条件，即如果一个玩家有获胜策略，那么她有一个在等价历史中规定相同动作的策略，因此均匀化证明是相当有建设性的，并且保留了策略记忆的有限性，反例显示了结果的相对紧密性。以下是几个带有状态和颜色的游戏的推论。关于整个系列，请参见[Zbl 1502.68017号]. 引用于1文件 理学硕士： 68季度xx 计算理论 关键词：两层输赢游戏;不完全信息;一致获胜策略存在的判据;有限存储器 PDF格式BibTeX公司 XML格式引用 \textit{S.Le Roux}，莱克特。注释计算。科学。12098、193--204（2020；Zbl 07633508） 全文： 内政部 arXiv公司 参考文献： [1] Aghajohari，M.，Avni，G.，Henzinger，T.A.：离散投标无限长博弈中的确定性。CoRR abs/1905.03588（2019）。网址：http://arxiv.org/abs/11905.03588 ·Zbl 1509.91007号 [2] Berthon，R.、Maubert，B.、Murano，A.、Rubin，S.、Vardi，M.Y.：信息不完全的战略逻辑。2017年6月20日至23日，冰岛雷克雅未克，2017年LICS，第32届ACM/IEEE计算机科学逻辑年会，第1-12页（2017）·Zbl 1458.68113号 [3] Berwanger，D.，Doyen，L.：观察与区分。在无限游戏中表示信息。CoRR abs/1809.05978（2018）。http://arxiv.org/abs/1809.05978 ·Zbl 07650933号 [4] 查特吉，K.，亨辛格，T.A.，皮特曼，N.：战略逻辑。Inf.计算。208(6), 677-693 (2010). https://doi.org/10.1016/j.ic.2009.07.004 ·Zbl 1205.68197号 ·doi:10.1016/j.ic.2009.07.004 [5] 艾默生，A.，朱特拉，C.：树自动机，微积分和确定性。摘自：第32届IEEE计算机科学基础研讨会，第368-377页（1991） [6] 哥德尔（Gödel，K.）：《逻辑推理公理》（Die vollständigkeit der axiome des logischen funktitonenkalküls）。Monatsheft für Mathematik und Physik《数学与物理》37（1），349-360（1930）·doi:10.1007/BF01696781 [7] Gurevich，Y.，Harrington，L.：树、自动机和游戏。收录于：STOC 1982，第60-65页。ACM出版社（1982） [8] Hintikka，J.：知识与信仰：两个概念的逻辑介绍。《逻辑学研究》16，119-122（1962） [9] 库恩：广泛的游戏。程序。美国国家科学院。科学。3570-576页（1950年）·Zbl 0039.13402号 ·doi:10.1073/pnas.36.10.570 [10] 勒鲁（Le Roux），S.：并发博弈与半随机确定性。参见：2018年8月27日至31日，英国利物浦，2018年MFCS，第43届计算机科学数学基础国际研讨会，第40:1-40:15页（2018）。https://doi.org/10.4230/LIPIcs.MFCS.2018.40 ·Zbl 1512.91023号 [11] Le Roux，S.：获胜策略的时间-软件统一化。CoRR abs/1907.05128（2019）。http://arxiv.org/abs/1907.05128 ·Zbl 07633508号 [12] Martin，D.A.：Borel确定性。安。数学。102, 363-371 (1975) ·兹比尔0336.02049 ·doi:10.2307/1971035 [13] Maubert，B.，Pinchinat，S.：统一策略的一般概念。《国际博弈论》第16版（01），1440004（2014）。https://doi.org/10.1142/S0219198914400040 ·Zbl 1293.91030号 ·doi:10.1142/S0219198914400040 [14] Maubert，B.，Pinchinat，S.，Schwarzentruber，F.：动态认知逻辑中的可达性游戏。CoRR abs/1905.12422（2019）。http://arxiv.org/abs/1905.12422 ·兹比尔1464.68367 [15] 莫斯托夫斯基：禁地游戏。格但斯克大学研究报告78（1991） [16] Neumann，J.，Morgenstern，O.：博弈论与经济行为。普林斯顿大学出版社，普林斯顿（1944）·兹比尔0063.05930 [17] Rabin，M.O.，Scott，D.：有限自动机及其决策问题。IBM J.Res.Dev.3（2），114-125（1959）。https://doi.org/10.1147/rd.32.0114 ·Zbl 0158.25404号 ·doi:10.1147/rd.32.0114 [18] Reif，J.H.：不完全信息两层博弈的复杂性。J.计算。系统。科学。29(2), 274-301 (1984) ·Zbl 0551.90100号 ·doi:10.1016/0022-0000（84）90034-5 [19] Roy，S.、Ellis，C.、Shiva，S.G.、Dasgupta，D.、Shandilya，V.、Wu，Q.：博弈论应用于网络安全的调查。在：第43届夏威夷国际系统科学会议（HICS-43，2010），《会议记录》，科洛亚，考艾岛，美国，2010年1月5-8日，第1-10页（2010）。https://doi.org/10.109/HICSS.2010.35 [20] Van Benthem，J.：动态认知逻辑中的游戏。牛市。经济。第53（4）号决议，219-248（2001）。https://doi.org/10.1111/1467-8586.00133 ·Zbl 1230.03046号 ·数字对象标识代码：10.1111/1467-8586.00133 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。