警察与强盗游戏是 EXPTIME-完全的
组合数学
2014-12-05 v2 计算复杂性
离散数学
摘要
我们研究了判定 个警察能否在图 上抓住强盗这一问题的计算复杂性。Goldstein 和 Reingold 于 1995 年猜想，当 和 均作为输入的一部分时，该问题是 EXPTIME-完全的；我们证明了这一猜想。
引用
@article{arxiv.1309.5405,
title = {Cops and Robbers is EXPTIME-complete},
author = {William B. Kinnersley},
journal= {arXiv preprint arXiv:1309.5405},
year = {2014}
}
备注
v2: updated figures and slightly clarified some minor points