汉森、托马斯·杜霍姆；拉斯穆斯·易卜森·延森；彼得·布罗·米尔特森 一种更快的算法，用于求解单时钟定价的计时游戏。 （英语） Zbl 1390.68387号 D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，531-545（2013）。 摘要：单块定价时间博弈是一类两层、零和、连续时间的博弈，在以往的研究中得到了定义和深入的研究。我们证明了单时钟定价的计时游戏可以在时间（m12^{n}n^{O（1）}）中求解，其中（n）是状态数，（m）是动作数。由于Rutkowski的原因，之前最著名的解决单时钟定价计时游戏的时限是（2^{O（n^2+m）}）。为了我们的改进，我们引入并研究了一种新的求解单时钟定价时间博弈的算法，该算法基于计算几何中的扫线技术和马尔可夫决策过程算法理论中的策略迭代范式。作为推论，我们还改进了对Bouyer、Cassez、Fleury和Larsen的先前算法的分析；阿勒、伯纳德斯基和马都苏丹。有关整个系列，请参见[Zbl 1269.68020号]. 引用于8文件 MSC公司： 65年第68季度 形式语言和自动机 91A43型 涉及图形的游戏 91A80型 博弈论的应用 PDF格式BibTeX公司 XML格式引用 \textit｛T.D.Hansen｝等人，Lect。票据计算。科学。8052、531--545（2013；Zbl 1390.68387） 全文： 内政部 arXiv公司