Unsimulability, Universality, and Undecidability in the Gizmo Framework

The gizmo framework is a recent development of the gadget framework used for proving computational complexity results of videogames and other motion planning problems. This thesis explores three aspects of the gizmo framework: unsimulability (the inability of one gizmo to simulate another gizmo), un...

Full description

Bibliographic Details
Main Author: Ani, Joshua
Other Authors: Demaine, Erik D.
Format: Thesis
Published: Massachusetts Institute of Technology 2023
Online Access:https://hdl.handle.net/1721.1/150149