English

A Framework for Loop and Path Puzzle Satisfiability NP-Hardness Results

Computational Complexity 2022-02-07 v1

Abstract

Building on the results published in arxiv:2004.12849 we present a general framework for demonstrating the NP-hardness of satisfying many genres of loop and path puzzles using a 'T-metacell' gadget. We then use this to prove the NP-completeness of a variety of such genres, and discuss some of the limitations of this gadget.

Cite

@article{arxiv.2202.02046,
  title  = {A Framework for Loop and Path Puzzle Satisfiability NP-Hardness Results},
  author = {Hadyn Tang},
  journal= {arXiv preprint arXiv:2202.02046},
  year   = {2022}
}

Comments

40 pages, 67 figures

R2 v1 2026-06-24T09:19:34.494Z