We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CG

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Computational Geometry

Title: Rectangular Spiral Galaxies are Still Hard

Abstract: Spiral Galaxies is a pencil-and-paper puzzle played on a grid of unit squares: given a set of points called centers, the goal is to partition the grid into polyominoes such that each polyomino contains exactly one center and is 180{\deg} rotationally symmetric about its center. We show that this puzzle is NP-complete, ASP-complete, and #P-complete even if (a) all solutions to the puzzle have rectangles for polyominoes; or (b) the polyominoes are required to be rectangles and all solutions to the puzzle have just 1$\times$1, 1$\times$3, and 3$\times$1 rectangles. The proof for the latter variant also implies NP/ASP/#P-completeness of finding a noncrossing perfect matching in distance-2 grid graphs where edges connect vertices of Euclidean distance 2. Moreover, we prove NP-completeness of the design problem of minimizing the number of centers such that there exists a set of galaxies that exactly cover a given shape
Comments: 24 pages, 24 figures. Thorough revision including new Section 2 proof which handles the promise problem
Subjects: Computational Geometry (cs.CG)
Cite as: arXiv:2110.00058 [cs.CG]
  (or arXiv:2110.00058v2 [cs.CG] for this version)

Submission history

From: Erik Demaine [view email]
[v1] Thu, 30 Sep 2021 19:33:32 GMT (2644kb,D)
[v2] Wed, 20 Jul 2022 18:00:16 GMT (536kb,D)

Link back to: arXiv, form interface, contact.