
TL;DR
This paper proves that the puzzle game Baba is You is undecidable by reducing a restricted Post correspondence problem to the game's mechanics, providing the first formal proof of its undecidability.
Contribution
It offers the first formal proof of Baba is You's undecidability using a reduction from a specific form of the Post correspondence problem.
Findings
Baba is You is undecidable.
The proof uses a reduction from a restricted Post correspondence problem.
This is the first formal proof of the game's undecidability.
Abstract
We establish the undecidability of 2019 puzzle game Baba is You through a reduction from the Post correspondence problem. In particular, we consider a restricted form of the Post correspondence problem introduced by Neary (arXiv:1312.6700) that is limited to five pairs of words. Baba is You is an award winning tile-based game in which the player can reprogram the game's mechanisms by pushing blocks that spell out the rules. We achieve undecidability through a generalization of the size of the playfield in the horizontal direction, adding a "hallway" to one side of the level. The undecidability of Baba is You has been claimed several times online using different source problems, including the simulation of Turing machines and Conway's Game of Life, however, this contribution appears to be the first formal proof of the result.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsArtificial Intelligence in Games · Digital Games and Media · Algorithms and Data Compression
