加拿大旅行者问题变体的复杂性
计算复杂性
2012-07-20 v1
摘要
加拿大旅行者问题（CTP）是在给定图中进行遍历的问题，其中某些边可能被阻塞——这种状态仅在到达关联顶点时才被揭示。该问题最初由 Papadimitriou 和 Yannakakis (1991) 提出，其对抗版本已被证明是 PSPACE-完全的，而随机版本被证明是#P-难的。我们证明了随机 CTP 也是 PSPACE-完全的：首先证明随机 CTP 依赖版本是 PSPACE-难的，然后利用小工具将证明扩展到独立情形。由于对于不相交路径图，CTP 可以在多项式时间内求解，我们考察了更一般的遥感 CTP 的复杂性，并证明即使对于不相交路径图，它也是 NP-难的。
引用
@article{arxiv.1207.4710,
title = {Complexity of Canadian Traveler Problem Variants},
author = {Dror Fried and Solomon Eyal Shimony and Amit Benbassat and Cenny Wenner},
journal= {arXiv preprint arXiv:1207.4710},
year = {2012}
}