We establish that the subgame perfect equilibrium (SPE) threshold problem for mean-payoff games is NP-complete. While the SPE threshold problem was recently shown to be decidable (in doubly exponential time) and NP-hard, its exact worst case complexity was left open.
翻译:我们确定中值还清游戏的子游戏完美平衡(SPE)门槛问题已经完全解决了。 虽然最近发现SPE门槛问题可以分级(倍指数时间 ), NP-硬化,但其最坏的复杂情况却没有解决。