Slide from Lecture 1. http://erikdemaine.org/papers/GPC/
Constraint Logic[Hearn & Demaine 2009]
PSPACE EXPTIME
P
Undecidable
NEXPTIME
PSPACE
NPPSPACE
0 players(simulation)
1 player(puzzle)
2 players(game)
team,imperfect info
Presenter
Presentation Notes
Slide from Lecture 1. http://erikdemaine.org/papers/GPC/
Conway’s Game of Life [1970]
Glider
Pulsar
Spaceship
Gosper’s Glider GunStill Life
Presenter
Presentation Notes
Images are in public domain: http://commons.wikimedia.org/wiki/File:Game_of_life_pulsar.gif http://commons.wikimedia.org/wiki/File:Game_of_life_block_with_border.svg http://en.wikipedia.org/wiki/File:Game_of_life_beehive.svg http://en.wikipedia.org/wiki/File:Game_of_life_loaf.svg http://commons.wikimedia.org/wiki/File:Game_of_life_animated_glider.gif http://commons.wikimedia.org/wiki/File:Game_of_life_animated_LWSS.gif Glider Gun image created by Erik Demaine using Golly software: http://golly.sourceforge.net/
Life is PSPACE-hard [Paul Rendell 2000]
Turing machine simulation
Presenter
Presentation Notes
http://rendell-attic.org/gol/tm.htm
Life is PSPACE-hard [Paul Rendell 2000]
universal Turing machine simulation
Presenter
Presentation Notes
http://rendell-attic.org/gol/utm/index.htm
Life is Undecidable [Paul Rendell 2001]
universal Turing machine simulation
149 milliongenerations
Presenter
Presentation Notes
http://rendell-attic.org/gol/fullutm/index.htm
Life is Undecidable[Berlekamp, Conway, Guy 1982]
wire
terminator
Presenter
Presentation Notes
Figures 17 & 24 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
turn
Presenter
Presentation Notes
Figures 19 & 20 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
multiple turns/delay
Presenter
Presentation Notes
Figure 22 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
shift
Presenter
Presentation Notes
Figure 21 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
OR
Life is Undecidable[Berlekamp, Conway, Guy 1982]
AND OR
Presenter
Presentation Notes
Figure 29 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
kick back
Presenter
Presentation Notes
Figure 27 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
thinning/crossover
Presenter
Presentation Notes
Figure 28 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
split/NOT
Presenter
Presentation Notes
Figure 30 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
incr
emen
t
integer registerstest
create
Presenter
Presentation Notes
Figures 25 & 19 & 30 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
pull blockback 3
push blockforward 1
Presenter
Presentation Notes
Figure 30 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
precise glider
positioning
boomerang
Presenter
Presentation Notes
Figures 34 & 35 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
Life is Undecidable[Berlekamp, Conway, Guy 1982]
destroy terminator
destroy gun
self-destruction
Presenter
Presentation Notes
Figures 37 & 38 & 25 of “Winning Ways for Your Mathematical Plays” by Elwyn R. Berlakmp, John H. Conway, Richard K. Guy, 2nd edition, volume 4
DCLSwitch
Presenter
Presentation Notes
Figure C.1 of http://erikdemaine.org/papers/GPC/
Reduction from Q-CNF-SAT
𝑥𝑥 𝑥𝑥 𝑦𝑦 𝑦𝑦 𝑤𝑤 𝑤𝑤 𝑧𝑧 𝑧𝑧
Presenter
Presentation Notes
Figure 5.4 of http://erikdemaine.org/papers/GPC/
DCL is PSPACE-complete
existentialquantifier
universalquantifier
Presenter
Presentation Notes
Figure 4.3 of http://erikdemaine.org/papers/GPC/
CNFFormula
Presenter
Presentation Notes
Slide from Lecture 17
DCL is PSPACE-complete
OR′
AND′
…before…
split
connectionbetween CNF& quantifiers
Presenter
Presentation Notes
Figures 4.4 & 4.5 of http://erikdemaine.org/papers/GPC/
Removing Degree-2 Vertices
Presenter
Presentation Notes
Mostly new figures with parts from Figures 2.4 & 2.5 of http://erikdemaine.org/papers/GPC/
Planar DCL
Presenter
Presentation Notes
Figure 4.7 of http://erikdemaine.org/papers/GPC/
PlanarDCL
Presenter
Presentation Notes
Figures C.11 & C.12 of http://erikdemaine.org/papers/GPC/
Reversi/Othello[<1883]
Presenter
Presentation Notes
Images from http://gamescrafters.berkeley.edu/games.php?game=Othello & http://www.iggamecenter.com/info/en/reversi.html
Reversi/Othello is PSPACE-complete[Iwata & Kasai 1994]
Presenter
Presentation Notes
http://dx.doi.org/10.1016/0304-3975(94)90131-7
Reversi/Othello is PSPACE-complete[Iwata & Kasai 1994]
shift
turn/degree 2
Presenter
Presentation Notes
http://dx.doi.org/10.1016/0304-3975(94)90131-7
Reversi/Othello is PSPACE-complete[Iwata & Kasai 1994]
double visit⇒ black wins
double visit⇒ white wins
Presenter
Presentation Notes
http://dx.doi.org/10.1016/0304-3975(94)90131-7
Reversi/Othello is PSPACE-complete[Iwata & Kasai 1994]
white chooses black chooses
Presenter
Presentation Notes
http://dx.doi.org/10.1016/0304-3975(94)90131-7
Constraint Logic[Hearn & Demaine 2009]
PSPACE EXPTIME
P
Undecidable
NEXPTIME
PSPACE
NPPSPACE
0 players(simulation)
1 player(puzzle)
2 players(game)
team,imperfect info
Presenter
Presentation Notes
Slide from Lecture 1. http://erikdemaine.org/papers/GPC/
Constraint GraphSatisfaction isNP-complete
Presenter
Presentation Notes
Slide from Lecture 17. Based on Theorem 5.4. Figures 5.1 & 2.5 of http://erikdemaine.org/papers/GPC/
Bounded NCL isNP-complete
Presenter
Presentation Notes
Figures 5.1 & 2.5 of http://erikdemaine.org/papers/GPC/
Bounded Crossover Gadget
Presenter
Presentation Notes
Figures 5.2 & 5.3 of http://erikdemaine.org/papers/GPC/
Bounded 2CLis PSPACE-complete
Presenter
Presentation Notes
Figures 6.1 & 6.2 of http://erikdemaine.org/papers/GPC/
Bounded Crossover Gadget
Presenter
Presentation Notes
Figures 6.2 & 5.3 of http://erikdemaine.org/papers/GPC/
Protected OR
free edge
Presenter
Presentation Notes
Figures 6.2 & 10.12 of http://erikdemaine.org/papers/GPC/
Amazons[Walter Zamkauskas 1988]
Presenter
Presentation Notes
Images from http://en.wikipedia.org/wiki/Game_of_the_Amazons licensed under BSD license by en:User:Cburnett