Holzer and Holzer [HH04] proved that the Tantrix™ rotation puzzle problem is NP-complete. They also showed that for infinite rotation puzzles, this problem becomes undecidable. We study the counting version and the unique version of this problem. We prove that the satisfiability problem parsimoniously reduces to the Tantrix rotation puzzle problem. In particular, this reduction preserves the uniqueness of the solution, which implies that the unique Tantrix™ rotation puzzle problem is as hard as the unique satisfiability problem, and so is DP-complete under polynomial-time randomized reductions, where DP is the second level of the boolean hierarchy over NP. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Baumeister, D., & Rothe, J. (2007). Satisfiability parsimoniously reduces to the tantrixTM rotation puzzle problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4664 LNCS, pp. 134–148). Springer Verlag. https://doi.org/10.1007/978-3-540-74593-8_12
Mendeley helps you to discover research relevant for your work.