We analyze the puzzle video game This Game Is Not Going To Load Itself, where the player routes data packets of three different colors from given sources to given sinks of the correct color. Given the sources, sinks, and some previously placed arrow tiles, we prove that the game is in Sigma_2^P; in NP for sources of equal period; NP-complete for three colors and six equal-period sources with player input; and even without player input, simulating the game is both NP- and coNP-hard for two colors and many sources with different periods. On the other hand, we characterize which locations for three data sinks admit a perfect placement of arrow tiles that guarantee correct routing no matter the placement of the data sources, effectively solving most instances of the game as it is normally played.
翻译:我们分析解谜游戏“ 游戏不是要加载它自己 ”, 玩家将三个不同颜色的数据包从给定来源迁移到给定颜色的汇。 根据源、 汇和一些先前放置的箭牌, 我们证明游戏在 Sigma_ 2 ⁇ P 中; 在 NP 中游戏在相同时间段的源; NP 完成为三种颜色和六个相同时间段的源, 并附有玩家输入; 即使没有玩家输入, 模拟游戏的两种颜色和多个不同时间段的源, 也为NP- 和 CoNP- 硬化为两种颜色和多个源。 另一方面, 我们确定三个数据汇的哪个位置允许完美地放置箭头牌, 保证无论数据源的位置如何, 都能纠正路径, 有效地解决游戏的多数实例 。