Path Puzzles: Discrete Tomography with a Path Constraint is Hard

10 Feb 2019 · Bosboom Jeffrey, Demaine Erik D., Demaine Martin L., Hesterberg Adam, Kimball Roderick, Kopinsky Justin ·

We prove that path puzzles with complete row and column information--or equivalently, 2D orthogonal discrete tomography with Hamiltonicity constraint--are strongly NP-complete, ASP-complete, and #P-complete. Along the way, we newly establish ASP-completeness and #P-completeness for 3-Dimensional Matching and Numerical 3-Dimensional Matching.

PDF Abstract

Code

Add Remove Mark official

edemaine/svgtiler official

Datasets

Add Datasets introduced or used in this paper

Edit Social Preview

Path Puzzles: Discrete Tomography with a Path Constraint is Hard

Code Edit Add Remove Mark official

Categories

Datasets Edit

Code

Add Remove Mark official

Datasets