列车是否到达目的地：寻找见证的复杂性
计算复杂性
2017-01-09 v2 计算机科学与博弈论
摘要
最近，Dohrau 等人研究了 switch graph 上的零玩家博弈，并证明判定该博弈是否终止属于 NP coNP。在本文中，我们证明该博弈在 switch graph 上的搜索版本，即寻找终止（或非终止）见证的任务，属于 PLS。
关键词
引用
@article{arxiv.1609.03840,
title = {Did the Train Reach its Destination: The Complexity of Finding a Witness},
author = {Karthik C. S.},
journal= {arXiv preprint arXiv:1609.03840},
year = {2017}
}