Zig-Zag Numberlink 是 NP 完全的
计算复杂性
2014-10-23 v1
摘要
在 的网格中， 对终端何时能被 条覆盖网格所有顶点的顶点不相交路径连接？我们证明了该问题是 NP 完全的。我们的困难性结果可与两个先前的 NP 困难性证明相比较：Lynch 1975 年没有“覆盖所有顶点”约束的证明，以及 Kotsuma 和 Takenaga 2010 年当路径被限制在其同伦类中具有尽可能少的拐角时的证明。后一种限制是著名 Nikoli 谜题 \emph{Numberlink} 的常见形式；我们的问题是 Numberlink 的另一种常见形式，有时被称为 \emph{Zig-Zag Numberlink}，并因智能手机应用 \emph{Flow Free} 而流行。
引用
@article{arxiv.1410.5845,
title = {Zig-Zag Numberlink is NP-Complete},
author = {Aaron Adcock and Erik D. Demaine and Martin L. Demaine and Michael P. O'Brien and Felix Reidl and Fernando Sánchez Villaamil and Blair D. Sullivan},
journal= {arXiv preprint arXiv:1410.5845},
year = {2014}
}