  Holzer and Holzer (Discrete Applied Mathematics 144(3):345--358, 2004) provedthat the Tantrix(TM) rotation puzzle problem is NP-complete. They also showedthat for infinite rotation puzzles, this problem becomes undecidable. We studythe counting version and the unique version of this problem. We prove that thesatisfiability problem parsimoniously reduces to the Tantrix(TM) rotationpuzzle problem. In particular, this reduction preserves the uniqueness of thesolution, which implies that the unique Tantrix(TM) rotation puzzle problem isas hard as the unique satisfiability problem, and so is DP-complete underpolynomial-time randomized reductions, where DP is the second level of theboolean hierarchy over NP.
We study the counting version and the unique version of this problem. We prove that the satisfiability problem parsimoniously reduces to the Tantrix(TM) rotation puzzle problem.