芯片点火可达性问题的复杂度
组合数学
2017-05-23 v4
摘要
本文研究芯片点火可达性问题的复杂度。我们证明，对于欧拉有向图，即使图包含多重边，可达性问题也可在强多项式时间内判定。我们还展示了一般有向图中可达性问题可在多项式时间内判定的一种特殊情况：若目标分布在每个强连通分量上均为常返的。作为进一步的正面结果，我们证明一般有向图的芯片点火可达性问题属于co-NP。我们还证明，对于欧拉有向图，芯片点火停机问题属于co-NP。
引用
@article{arxiv.1507.03209,
title = {On the complexity of the chip-firing reachability problem},
author = {Bálint Hujter and Viktor Kiss and Lilla Tóthmérész},
journal= {arXiv preprint arXiv:1507.03209},
year = {2017}
}