在准多项式时间与准线性空间内求解奇偶博弈的一种有序方法
计算机科学中的逻辑
2018-01-30 v2
摘要
奇偶博弈在模型检测与综合中起着重要作用。Calude 等人在其论文中证明了这些博弈可在准多项式时间内求解。我们证明其算法可被高效实现：我们将其数据结构用作进度度量，从而允许后向实现，而非对博弈进行完全解构。为此，必须对其技术进行若干修改，其中主要修改是赋予对抗玩家额外能力，使其能在不改变博弈结果的情况下确定其合理走法。我们提供了准多项式算法的首个实现，在小规模示例上进行了测试，并给出了若干附带结果，包括次要的算法改进、在状态数与边数上关于固定颜色数的准双线性复杂度，以及与 Calude 等人算法相匹配的下界。
引用
@article{arxiv.1703.01296,
title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space},
author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak},
journal= {arXiv preprint arXiv:1703.01296},
year = {2018}
}