Paper by Erik D. Demaine

Reference:

Erik D. Demaine, Sarah Eisenstat, and Mikhail Rudoy, “Solving the Rubik's Cube Optimally is NP-complete”, in Proceedings of the 35th International Symposium on Theoretical Aspects of Computer Science (STACS 2018), Caen, France, February 28–March 3, 2018.

BibTeX

@InProceedings{Rubik_STACS2018,
  AUTHOR        = {Erik D. Demaine and Sarah Eisenstat and Mikhail Rudoy},
  TITLE         = {Solving the {Rubik}'s {Cube} Optimally is {NP}-complete},
  BOOKTITLE     = {Proceedings of the 35th International Symposium on Theoretical Aspects of Computer Science (STACS 2018)},
  bookurl       = {https://stacs2018.sciencesconf.org/},
  ADDRESS       = {Caen, France},
  MONTH         = {February 28--March 3},
  YEAR          = 2018,

  length        = {13 pages},
  withstudent   = 1,
  doi           = {https://dx.doi.org/10.4230/LIPIcs.STACS.2018.24},
  dblp          = {https://dblp.org/rec/conf/stacs/DemaineER18},
  comments      = {The full version of this paper is available as
                   <A HREF="https://arXiv.org/abs/1706.06708">arXiv:1706.06708</A>, and from <A HREF="https://doi.org/10.4230/LIPIcs.STACS.2018.24">LIPIcs</A>.},
  papers        = {Rubik_ESA2011},
}

Abstract:

In this paper, we prove that optimally solving an n × n × n Rubik's Cube is NP-complete by reducing from the Hamiltonian Cycle problem in square grid graphs. This improves the previous result that optimally solving an n × n × n Rubik's Cube with missing stickers is NP-complete. We prove this result first for the simpler case of the Rubik's Square—an n × n × 1 generalization of the Rubik's Cube—and then proceed with a similar but more complicated proof for the Rubik's Cube case. Our results hold both when the goal is make the sides monochromatic and when the goal is to put each sticker into a specific location.

Comments:

The full version of this paper is available as arXiv:1706.06708, and from LIPIcs.

Length:

The paper is 13 pages.

Availability:

The paper is available in PDF (658k).

See information on file formats.

[Google Scholar search]

Related papers:

Rubik_ESA2011 (Algorithms for Solving Rubik's Cubes)