Who witnesses the witness? Finding witnesses in the witness is hard and sometimes impossible

We analyze the computational complexity of the many types of pencil-and-paper-style puzzles featured in the 2016 puzzle video game The Witness. In all puzzles, the goal is to draw a path in a rectangular grid graph from a start vertex to a destination vertex. The different puzzle types place differe...

Full description

Bibliographic Details
Main Authors: Abel, Zachary R (Author), Bosboom, Jeffrey William (Author), Demaine, Erik D (Author), Hamilton, Linus Ulysses (Author), Hesterberg, Adam Classen (Author), Kopinsky, Justin (Author), Lynch, Jayson R. (Author), Rudoy, Mikhail (Author)
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor), Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Mathematics (Contributor)
Format: Article
Language:English
Published: Dagstuhl Research, 2020-12-21T22:50:00Z.
Subjects:
Online Access:Get fulltext