DeepAI AI Chat
Log In Sign Up

On the NP-Completeness of Satisfying Certain Path and Loop Puzzles

04/23/2020
by   Hadyn Tang, et al.
0

"Eye-Witless", "Haisu" and "Oriental House" are genres of logic puzzles invented by William Hu, and "Detour" is a genre of logic puzzle invented by online user Guowen Zhang. Each of these puzzles revolves around constructing a path or loop through the cells of a grid according to certain constraints given by clues in the grid. We prove that deciding whether a particular puzzle in each of these genres is solvable is NP-complete.

READ FULL TEXT

page 3

page 10

page 13

page 14

02/04/2022

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

Building on the results published in arxiv:2004.12849 we present a gener...
12/15/2021

ZHED is NP-complete

We prove that the 2017 puzzle game ZHED is NP-complete, even with just 1...
06/30/2017

Hamiltonicity is Hard in Thin or Polygonal Grid Graphs, but Easy in Thin Polygonal Grid Graphs

In 2007, Arkin et al. initiated a systematic study of the complexity of ...
08/11/2020

A Complexity Dichotomy for Permutation Pattern Matching on Grid Classes

Permutation Pattern Matching (PPM) is the problem of deciding for a give...
03/03/2018

Path Puzzles: Discrete Tomography with a Path Constraint is Hard

We prove that path puzzles with complete row and column information--or ...
04/26/2018

Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible

We analyze the computational complexity of the many types of pencil-and-...
08/04/2022

NP Decision Procedure for Monomial and Linear Integer Constraints

Motivated by satisfiability of constraints with function symbols, we con...