首页 | 本学科首页   官方微博 | 高级检索  
     


The three-color and two-color Tantrix? rotation puzzle problems are NP-complete via parsimonious reductions
Authors:Dorothea Baumeister  Jörg Rothe
Affiliation:Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, Universitatsstrasse 1, D-40225 Düsseldorf, Germany;European Research Council (ERC) Executive Agency, European Commission, 16 Place Rogier/Rogierplein, 1210 Brussels, Belgium;Research Group on Mathematical Linguistics, Rovira i Virgili University, Av. Catalunya 35, 43003 Tarragona, Spain
Abstract:Holzer and Holzer M. Holzer, W. Holzer, Tantrix? rotation puzzles are intractable, Discrete Applied Mathematics 144(3) (2004) 345–358] proved that the Tantrix? rotation puzzle problem with four colors is NP-complete, and they showed that the infinite variant of this problem is undecidable. In this paper, we study the three-color and two-color Tantrix? rotation puzzle problems (3-TRP and 2-TRP) and their variants. Restricting the number of allowed colors to three (respectively, to two) reduces the set of available Tantrix? tiles from 56 to 14 (respectively, to 8). We prove that 3-TRP and 2-TRP are NP-complete, which answers a question raised by Holzer and Holzer M. Holzer, W. Holzer, Tantrix? rotation puzzles are intractable, Discrete Applied Mathematics 144(3) (2004) 345–358] in the affirmative. Since our reductions are parsimonious, it follows that the problems Unique-3-TRP and Unique-2-TRP are DP-complete under randomized reductions. We also show that the another-solution problems associated with 4-TRP, 3-TRP, and 2-TRP are NP-complete. Finally, we prove that the infinite variants of 3-TRP and 2-TRP are undecidable.
Keywords:
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号