Puzzle and Dragons is Hard

JunYi Guo,Po-Chun Yu
DOI: https://doi.org/10.1016/j.tcs.2024.114477
IF: 1.002
2024-03-02
Theoretical Computer Science
Abstract:Candy Crush Saga(CCS) is a mobile game released in 2012. Based on a specific game-play, it was proven to be NP-complete in 2014. The 15-slide puzzle is also a classic game that has been proven to be NP-complete. In 2012, a brand new ball-spinning game called Puzzle and Dragons emerged. Puzzle and Dragons(PAD) combines the three-elimination game-play of Candy Crush Saga and the 15-puzzle. This study developed a construction and proved that under certain rules, PAD can be reduced to a one-in-three positive Boolean satisfiability problem (1-3-SAT + ), which also proves that PAD is NP-Hard.
computer science, theory & methods
What problem does this paper attempt to address?