《Baba is You》是不可判定的
摘要：2019谜题游戏《Baba is You》的不可判定性通过从后缀对问题的缩减实现。特别地，我们考虑了Neary引入的后缀对问题的限制形式，即仅限于五对单词。《Baba is You》是一款基于图块的获奖游戏，玩家可以通过推动拼出规则的方块来重新编程游戏的机制。我们通过在水平方向上对游戏场地的规模进行推广，将一侧的关卡添加了一个“走廊”，从而实现了不可判定性。《Baba is You》的不可判定性已经多次在网上使用不同的源问题进行声明，包括模拟图灵机和康威生命游戏，然而，本研究似乎是该结果的首个正式证明。
作者：Jonathan Geller
论文ID：2205.00127
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-05-03