English

A simple proof that the $(n^2-1)$-puzzle is hard

Computational Complexity 2018-04-30 v1 Computational Geometry

Abstract

The 15 puzzle is a classic reconfiguration puzzle with fifteen uniquely labeled unit squares within a 4×44 \times 4 board in which the goal is to slide the squares (without ever overlapping) into a target configuration. By generalizing the puzzle to an n×nn \times n board with n21n^2-1 squares, we can study the computational complexity of problems related to the puzzle; in particular, we consider the problem of determining whether a given end configuration can be reached from a given start configuration via at most a given number of moves. This problem was shown NP-complete in Ratner and Warmuth (1990). We provide an alternative simpler proof of this fact by reduction from the rectilinear Steiner tree problem.

Keywords

Cite

@article{arxiv.1707.03146,
  title  = {A simple proof that the $(n^2-1)$-puzzle is hard},
  author = {Erik D. Demaine and Mikhail Rudoy},
  journal= {arXiv preprint arXiv:1707.03146},
  year   = {2018}
}

Comments

6 pages, 3 figures

R2 v1 2026-06-22T20:43:13.732Z