Trainyard is NP-Hard

被引:2
|
作者
Almanza, Matteo [1 ]
Leucci, Stefano [2 ]
Panconesi, Alessandro [1 ]
机构
[1] Sapienza Univ Roma, Dipartimento Informat, Rome, Italy
[2] Swiss Fed Inst Technol, Inst Theoret Comp Sci, Zurich, Switzerland
关键词
Computational complexity; Puzzle games; Solitaire games; Trainyard;
D O I
10.1016/j.tcs.2017.09.039
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Recently, due to the widespread diffusion of smart-phones, mobile puzzle games have experienced a huge increase in their popularity. A successful puzzle has to be both captivating and challenging, and it has been suggested that these features are somehow related to their computational complexity [6]. Indeed, many puzzle games - such as Mahjongg, Sokoban, Candy Crush, and 2048, to name a few - are known to be NP-hard [3,4,8, 12]. In this paper we consider Trainyard: a popular mobile puzzle game whose goal is to get colored trains from their initial stations to suitable destination stations. We prove that the problem of determining whether there exists a solution to a given Trainyard level is NP-hard. We also provide an implementation of our hardness reduction. (C) 2017 Elsevier B.V. All rights reserved.
引用
收藏
页码:66 / 76
页数:11
相关论文
共 50 条
  • [1] Polynomial algorithms that prove an NP-hard hypothesis implies an NP-hard conclusion
    Bauer, D
    Broersma, HJ
    Morgana, A
    Schmeichel, E
    DISCRETE APPLIED MATHEMATICS, 2002, 120 (1-3) : 13 - 23
  • [2] Terrain Guarding is NP-Hard
    King, James
    Krohn, Erik
    PROCEEDINGS OF THE TWENTY-FIRST ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2010, 135 : 1580 - +
  • [3] Automating Resolution is NP-Hard
    Atserias, Albert
    Mueller, Moritz
    2019 IEEE 60TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2019), 2019, : 498 - 509
  • [4] STORAGE ALLOCATION IS NP-HARD
    ROBSON, JM
    INFORMATION PROCESSING LETTERS, 1980, 11 (03) : 119 - 125
  • [5] TERRAIN GUARDING IS NP-HARD
    King, James
    Krohn, Erik
    SIAM JOURNAL ON COMPUTING, 2011, 40 (05) : 1316 - 1339
  • [6] Automating Resolution is NP-Hard
    Atserias, Albert
    Muller, Moritz
    JOURNAL OF THE ACM, 2020, 67 (05)
  • [7] Protein design is NP-hard
    Pierce, NA
    Winfree, E
    PROTEIN ENGINEERING, 2002, 15 (10): : 779 - 782
  • [8] INFLATING BALLS IS NP-HARD
    Batog, Guillaume
    Goaoc, Xavier
    INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, 2011, 21 (04) : 403 - 415
  • [9] Unshuffling a square is NP-hard
    Buss, Sam
    Soltys, Michael
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2014, 80 (04) : 766 - 776
  • [10] RIGID FOLDABILITY IS NP-HARD
    Akitaya, Hugo A.
    Demaine, Erik D.
    Horiyama, Takashi
    Hull, Thomas C.
    Ku, Jason S.
    Tachi, Tomohiro
    JOURNAL OF COMPUTATIONAL GEOMETRY, 2020, 11 (01) : 93 - 124