Abstract:We prove that Hamiltonicity in maximum-degree-3 grid graphs (directed or undirected) is ASP-complete, i.e., it has a parsimonious reduction from every NP search problem (including a polynomial-time bijection between solutions). As a consequence, given k Hamiltonian cycles, it is NP-complete to find another; and counting Hamiltonian cycles is #P-complete. If we require the grid graph's vertices to form a full $m \times n$ rectangle, then we show that Hamiltonicity remains ASP-complete if the edges are directed or if we allow removing some edges (whereas including all undirected edges is known to be easy). These results enable us to develop a stronger "T-metacell" framework for proving ASP-completeness of rectangular puzzles, which requires building just a single gadget representing a degree-3 grid-graph vertex. We apply this general theory to prove ASP-completeness of 38 pencil-and-paper puzzles where the goal is to draw a loop subject to given constraints: Slalom, Onsen-meguri, Mejilink, Detour, Tapa-Like Loop, Kouchoku, Icelom; Masyu, Yajilin, Nagareru, Castle Wall, Moon or Sun, Country Road, Geradeweg, Maxi Loop, Mid-loop, Balance Loop, Simple Loop, Haisu, Reflect Link, Linesweeper; Vertex/Touch Slitherlink, Dotchi-Loop, Ovotovata, Building Walk, Rail Pool, Disorderly Loop, Ant Mill, Koburin, Mukkonn Enn, Rassi Silai, (Crossing) Ichimaga, Tapa, Canal View, Aqre, and Paintarea. The last 14 of these puzzles were not even known to be NP-hard. Along the way, we prove ASP-completeness of some simple forms of Tree-Residue Vertex-Breaking (TRVB), including planar multigraphs with degree-6 breakable vertices, or with degree-4 breakable and degree-1 unbreakable vertices.

Hamiltonian (s, t)-paths in solid supergrid graphs

The Hamiltonicity, Hamiltonian Connectivity, and Longest (s, t)-path of L-shaped Supergrid Graphs

Finding Hamiltonian and Longest (s, t)-paths of C-shaped Supergrid Graphs in Linear Time

Hamiltonian Paths in C-shaped Grid Graphs

Hamiltonian cycles in linear-convex supergrid graphs

Hamiltonian Paths in Two Classes of Grid Graphs

The hamiltonian path graph is connected for simple s, t paths in rectangular grid graphs

Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number

Graphs with Many Hamiltonian Paths

Computing Tutte Paths

Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Simple Necessary Conditions for the Existence of a Hamiltonian Path with Applications to Cactus Graphs

The Hamiltonian problem and $t$-path traceable graphs

ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles

On the Structure of Hamiltonian Graphs with Small Independence Number

Solving the Hamiltonian path problem with a light-based computer

On regular 2-path Hamiltonian graphs

Transversal Hamilton paths and cycles

Hamiltonian Property of 3-Connected -Graph

Computing Hamiltonian Paths with Partial Order Restrictions

Beyond Quasi-Adjoint Graphs: On Polynomial-Time Solvable Cases of the Hamiltonian Cycle and Path Problems