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
POST COMMENT

Comments

There are no comments yet.

Authors

page 3

page 10

page 13

page 14

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.