Transcript
https://arXiv.org/abs/1812.03592
Presenter
Presentation Notes
https://arXiv.org/abs/1812.03592
(Push)Push-1 is NP-hard in 2D[Demaine, Demaine, O’Rourke 2000]
𝑥𝑥𝑖𝑖 = 𝑇𝑇
𝑥𝑥𝑗𝑗 = 𝐹𝐹
𝑥𝑥𝑘𝑘 = 𝑇𝑇
clausegadget
blockother
lockgadget
N N
E E
SS
W W
Presenter
Presentation Notes
Slide 10 from Lecture 4 / Figures 5 & 6 of http://erikdemaine.org/papers/CCCG2000b/
(Push)Push-1 is NP-hard in 2D[Demaine, Demaine, O’Rourke 2000]
blockother
lockgadget
N N
E E
SS
W W
closing door(directed, multi-use)
opening door(directed, multi-use)
Presenter
Presentation Notes
Slide 10 from Lecture 4 / Figures 5 & 6 of http://erikdemaine.org/papers/CCCG2000b/
Closing Door is NP-hard[≈ Metathm 4b of Viglietta 2012]
closing door(directed, multi-use)
Presenter
Presentation Notes
Slide 1 from Lecture 5 / http://arxiv.org/abs/1203.1895
opening door(directed, multi-use)
Opening Door + Diode is NP-hard[≈ Metathm 3 of Forišek 2012]
diode
Presenter
Presentation Notes
Figures from http://arxiv.org/abs/1203.1895 & http://erikdemaine.org/papers/CCCG2000b/ & http://erikdemaine.org/papers/Push2F_CCCG2002/
opening door(directed, multi-use)
Opening Door + Diode is NP-hard[≈ Metathm 3 of Forišek 2012]
diode
Presenter
Presentation Notes
Figures from http://arxiv.org/abs/1203.1895
Super Mario Bros. is NP-Hard[Aloupis, Demaine, Guo, Viglietta 2014]
(old proof for contrast)
Presenter
Presentation Notes
Slide 1 from Lecture 5 / http://arxiv.org/abs/1203.1895