Corpus ID: 211082799

Recursed is not Recursive: A Jarring Result

@article{Demaine2020RecursedIN,
  title={Recursed is not Recursive: A Jarring Result},
  author={Erik D. Demaine and Justin Kopinsky and Jayson Lynch},
  journal={ArXiv},
  year={2020},
  volume={abs/2002.05131}
}
  • Erik D. Demaine, Justin Kopinsky, Jayson Lynch
  • Published in ArXiv 2020
  • Computer Science
  • Recursed is a 2D puzzle platform video game featuring treasure chests that, when jumped into, instantiate a room that can later be exited (similar to function calls), optionally generating a \jar that returns back to that room (similar to continuations). We prove that Recursed is RE-complete and thus undecidable (not recursive) by a reduction from the Post Correspondence Problem. Our reduction is "practical": the reduction from PCP results in fully playable levels that abide by all constraints… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.

    Magic: the Gathering is as Hard as Arithmetic

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 13 REFERENCES

    Recursed

    • Portponky
    • https://store.steampowered.com/app/497780/Recursed/,
    • 2016
    VIEW 1 EXCERPT

    Braid is undecidable

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    recursed-xls2lua

    • Erik D. Demaine, Justin Kopinsky
    • https://github.com/edemaine/ recursed-xls2lua,
    • 2020
    VIEW 3 EXCERPTS

    In Abstracts from the 22nd Japan Conference on Discrete and Computational Geometry

    • Joshua Ani, Sualeh Asif, +5 authors Adam Suhl. PSPACE-completeness of pulling blocks to rea goal
    • Graphs, and Games (JCDCGGG 2019), pages 31–32, Tokyo, Japan, September
    • 2019

    In Proceedings of the 9th International Conference on Fun with Algorithms (FUN 2018)

    • Erik D. Demaine, Isaac Grosof, Jayson Lynch, Mikhail Rudoy. Computational complexity of motion planning gadgets
    • volume 100 of LIPIcs, pages 18:1–18:21, La Maddalena, Italy, June
    • 2018
    VIEW 1 EXCERPT

    Cengage Learning

    • Michael Sipser. Introduction to the Theory of Computation
    • 3rd edition,
    • 2012
    VIEW 15 EXCERPTS
    HIGHLY INFLUENTIAL

    MA

    • Robert A. Hearn, Erik D. Demaine. Games, +3 authors Natick
    • USA,
    • 2009
    VIEW 1 EXCERPT