关于若干路径与环路谜题满足性的 NP 完全性
组合数学
2020-04-28 v1 计算复杂性
摘要
“Eye-Witless”、“Haisu”与“Oriental House”是由 William Hu 发明的逻辑谜题类型，“Detour”是由在线用户 Guowen Zhang 发明的逻辑谜题类型。这些谜题均围绕依据网格中线索所给约束，在网格单元中构建一条路径或环路展开。我们证明了判定上述各类谜题特定实例是否可解均为 NP 完全。
引用
@article{arxiv.2004.12849,
title = {On the NP-Completeness of Satisfying Certain Path and Loop Puzzles},
author = {Hadyn Tang},
journal= {arXiv preprint arXiv:2004.12849},
year = {2020}
}
备注
15 pages, 21 figures