单时钟定价时序游戏是 PSPACE-难的
计算机科学与博弈论
2020-03-06 v2 形式语言与自动机理论
计算机科学中的逻辑
摘要
本文的主要结果是：计算单时钟定价时序游戏（OCPTG）的值是 PSPACE-难的。在此过程中，我们给出一类具有指数个事件点的 OCPTG 族。即便在诸如树宽三的 DAG 等非常受限的游戏类中，这两个结果均成立。最后，我们给出若干正向结果，包括针对诸如树等更受限的 OCPTG 类的多项式时间算法。
引用
@article{arxiv.2001.04458,
title = {One-Clock Priced Timed Games are PSPACE-hard},
author = {John Fearnley and Rasmus Ibsen-Jensen and Rahul Savani},
journal= {arXiv preprint arXiv:2001.04458},
year = {2020}
}