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...
Main Author: | |
---|---|
Other Authors: | |
Format: | Thesis |
Published: |
Massachusetts Institute of Technology
2023
|
Online Access: | https://hdl.handle.net/1721.1/150149 |