powerpoint presentationcourses.csail.mit.edu/6.892/spring19/lectures/c05_images.pdf ·...
TRANSCRIPT
![Page 1: PowerPoint Presentationcourses.csail.mit.edu/6.892/spring19/lectures/C05_images.pdf · 2019-03-06 · Dylan H. Hendrickson* Abstract Jayson Lynch* We build a general theory for characterizing](https://reader034.vdocuments.mx/reader034/viewer/2022050212/5f5e59db310ecb2a691292de/html5/thumbnails/1.jpg)
https://arXiv.org/abs/1812.03592
![Page 2: PowerPoint Presentationcourses.csail.mit.edu/6.892/spring19/lectures/C05_images.pdf · 2019-03-06 · Dylan H. Hendrickson* Abstract Jayson Lynch* We build a general theory for characterizing](https://reader034.vdocuments.mx/reader034/viewer/2022050212/5f5e59db310ecb2a691292de/html5/thumbnails/2.jpg)
(Push)Push-1 is NP-hard in 2D[Demaine, Demaine, O’Rourke 2000]
𝑥𝑥𝑖𝑖 = 𝑇𝑇
𝑥𝑥𝑗𝑗 = 𝐹𝐹
𝑥𝑥𝑘𝑘 = 𝑇𝑇
clausegadget
blockother
lockgadget
N N
E E
SS
W W
![Page 3: PowerPoint Presentationcourses.csail.mit.edu/6.892/spring19/lectures/C05_images.pdf · 2019-03-06 · Dylan H. Hendrickson* Abstract Jayson Lynch* We build a general theory for characterizing](https://reader034.vdocuments.mx/reader034/viewer/2022050212/5f5e59db310ecb2a691292de/html5/thumbnails/3.jpg)
(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)
![Page 4: PowerPoint Presentationcourses.csail.mit.edu/6.892/spring19/lectures/C05_images.pdf · 2019-03-06 · Dylan H. Hendrickson* Abstract Jayson Lynch* We build a general theory for characterizing](https://reader034.vdocuments.mx/reader034/viewer/2022050212/5f5e59db310ecb2a691292de/html5/thumbnails/4.jpg)
Closing Door is NP-hard[≈ Metathm 4b of Viglietta 2012]
closing door(directed, multi-use)
![Page 5: PowerPoint Presentationcourses.csail.mit.edu/6.892/spring19/lectures/C05_images.pdf · 2019-03-06 · Dylan H. Hendrickson* Abstract Jayson Lynch* We build a general theory for characterizing](https://reader034.vdocuments.mx/reader034/viewer/2022050212/5f5e59db310ecb2a691292de/html5/thumbnails/5.jpg)
opening door(directed, multi-use)
Opening Door + Diode is NP-hard[≈ Metathm 3 of Forišek 2012]
diode
![Page 6: PowerPoint Presentationcourses.csail.mit.edu/6.892/spring19/lectures/C05_images.pdf · 2019-03-06 · Dylan H. Hendrickson* Abstract Jayson Lynch* We build a general theory for characterizing](https://reader034.vdocuments.mx/reader034/viewer/2022050212/5f5e59db310ecb2a691292de/html5/thumbnails/6.jpg)
opening door(directed, multi-use)
Opening Door + Diode is NP-hard[≈ Metathm 3 of Forišek 2012]
diode
![Page 7: PowerPoint Presentationcourses.csail.mit.edu/6.892/spring19/lectures/C05_images.pdf · 2019-03-06 · Dylan H. Hendrickson* Abstract Jayson Lynch* We build a general theory for characterizing](https://reader034.vdocuments.mx/reader034/viewer/2022050212/5f5e59db310ecb2a691292de/html5/thumbnails/7.jpg)
Super Mario Bros. is NP-Hard[Aloupis, Demaine, Guo, Viglietta 2014]
(old proof for contrast)