什巴希斯·古哈;桑卡拉·纳拉亚南·克里希纳;拉克希米·马纳萨;阿舒托什·特里维迪 重新审视定价时间游戏的稳健性。 （英语） Zbl 1366.68145号 Harsha，Prahladh（编辑）等人，第35届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2015，印度班加罗尔，2015年12月16-18日。诉讼程序。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-97-2）。LIPIcs–莱布尼茨国际信息学论文集45，261-277（2015）。 摘要：定价时间游戏是两个玩家（控制器和环境）之间通过沿定价时间自动机配置的无限图的边缘移动标记进行的最优成本可达性游戏。控制器的目标是以尽可能低的成本到达一组给定的目标位置，而环境的目标则相反。定价计时游戏对于具有3个或更多时钟的计时自动机来说是不可判定的，而对于具有1个时钟的自动机来说则是可判定的。试图恢复定价计时游戏的可判定性P.鲍耶等【Lect.Notes Comput.Sci.7392，128–140（2012；Zbl 1367.68161号)]研究了鲁棒定价的定时游戏，其中环境有能力稍微扰动控制器提出的延迟。然而，不幸的是，他们表明，决定最优极限策略存在的自然问题——扰动趋向于在极限内消失的控制器的最优策略——是无法用10个或更多时钟来决定的。在本文中，我们重新审视了这个问题，并提高了我们对这些博弈的可判定性的理解。我们证明，对于一个子类具有5个或更多时钟的鲁棒定价时间博弈，极限策略问题已经是不可判定的。从积极的方面来看，我们通过对单时钟定价的时间博弈采用经典结构[loc.cit.]，证明了同一子类的单时钟稳健定价时间博弈存在几乎最优策略的可判定性。关于整个系列，请参见[Zbl 1338.68006号]. MSC公司： 65年第68季度 形式语言和自动机 91A43型 涉及图形的游戏 91A80型 博弈论的应用 关键词：定价定时游戏;可判定性;最优策略;稳健性 引文：Zbl 1367.68161号 PDF格式BibTeX公司 XML格式引用 \textit{S.Guha}等人，LIPIcs——莱布尼茨国际程序。通知。45、261--277（2015；Zbl 1366.68145） 全文： 内政部 arXiv公司