Planar Vertex Cover -...
Transcript of Planar Vertex Cover -...
![Page 1: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/1.jpg)
Planar Vertex Cover[Lichtenstein 1982]
clause
variable
![Page 2: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/2.jpg)
Planar Connected Vertex Cover[Garey & Johnson 1977]
![Page 3: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/3.jpg)
Rectilinear Steiner Tree[Garey & Johnson 1977]
![Page 4: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/4.jpg)
Vertex 3-Coloring[Garey, Johnson, Stockmeyer 1976]
clause gadgetcolors gadget
𝑥𝑥𝑖𝑖 𝑥𝑥𝑖𝑖variable gadget
𝑥𝑥𝑖𝑖
𝑥𝑥𝑗𝑗
𝑥𝑥𝑘𝑘
![Page 5: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/5.jpg)
Vertex 3-Coloring[Garey, Johnson, Stockmeyer 1976]
clause gadgetcolors gadget
𝑥𝑥𝑖𝑖 𝑥𝑥𝑖𝑖variable gadget
𝑥𝑥𝑖𝑖
𝑥𝑥𝑗𝑗
𝑥𝑥𝑘𝑘
![Page 6: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/6.jpg)
Vertex 3-Coloring[Garey, Johnson, Stockmeyer 1976]
clause gadgetcolors gadget
𝑥𝑥𝑖𝑖 𝑥𝑥𝑖𝑖variable gadget
𝑥𝑥𝑖𝑖
𝑥𝑥𝑗𝑗
𝑥𝑥𝑘𝑘
![Page 7: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/7.jpg)
Planar 3-Coloring[Garey, Johnson, Stockmeyer 1976]
𝑥𝑥 𝑥𝑥′
𝑦𝑦
𝑦𝑦′
crossover gadget[Michael Paterson]
![Page 8: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/8.jpg)
Planar 3-Coloring[Garey, Johnson, Stockmeyer 1976]
𝑥𝑥 𝑥𝑥′
𝑦𝑦
𝑦𝑦′
crossover gadget[Michael Paterson]
![Page 9: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/9.jpg)
Planar 3-Coloring[Garey, Johnson, Stockmeyer 1976]
𝑥𝑥 𝑥𝑥′
𝑦𝑦
𝑦𝑦′
crossover gadget[Michael Paterson]
![Page 10: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/10.jpg)
Planar 3-Coloring[Garey, Johnson, Stockmeyer 1976]
𝑥𝑥 𝑥𝑥′
𝑦𝑦
𝑦𝑦′
crossover gadget[Michael Paterson]
![Page 11: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/11.jpg)
Planar 3-Coloring, Max Degree 4[Garey, Johnson, Stockmeyer 1976]
𝑥𝑥 𝑥𝑥′′
𝑥𝑥𝑥
high-degree gadget
𝑥𝑥′′
𝑥𝑥′′′′
𝑥𝑥′′′
𝑥𝑥
𝑥𝑥𝑥
![Page 12: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/12.jpg)
Planar 3-Coloring, Max Degree 4[Garey, Johnson, Stockmeyer 1976]
𝑥𝑥 𝑥𝑥′′
𝑥𝑥𝑥
high-degree gadget
𝑥𝑥′′
𝑥𝑥′′′′
𝑥𝑥′′′
𝑥𝑥
𝑥𝑥𝑥
![Page 13: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/13.jpg)
Pushing 𝟏𝟏 × 𝟏𝟏 Blocks ComplexityName Push Fixed Slide Goal Complexity ReferencePush-𝑘𝑘 𝑘𝑘 ≥ 1 no min path NP-hard D, D, O’Rourke 2000Push-∗ ∞ no min path NP-hard Hoffmann 2000PushPush-𝑘𝑘 𝑘𝑘 ≥ 1 no max path PSPACE-complete D, Hoffmann, Holzer
2004PushPush-∗ ∞ no max path NP-hard Hoffmann 2000Push-1F 1 yes min path NP-hard DDO 2000Push-𝑘𝑘F 𝑘𝑘 ≥ 2 yes min path PSPACE-complete D, Hearn, Hoffmann
2002Push-∗F ∞ yes min path PSPACE-complete Bremner, O’Rourke,
Shermer 1994Push-𝑘𝑘X 𝑘𝑘 ≥ 1 no min simple
pathNP-complete D, Hoffmann 2001
Push-∗X ∞ no min simple path
NP-complete Hoffmann 2000
Sokoban 1 yes min storage PSPACE-complete Culberson 1998
![Page 14: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/14.jpg)
Planar Euler Tours
[Demaine, Demaine, Hoffmann, O’Rourke 2003]
![Page 15: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/15.jpg)
Push-1X is NP-complete[Demaine, Demaine, Hoffmann, O’Rourke 2003]
equalnonequal
![Page 16: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/16.jpg)
Push-1X is NP-complete[Demaine, Demaine, Hoffmann, O’Rourke 2003]
forkone-way
equalnonequal
equal
non-equal
non-equal
![Page 17: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/17.jpg)
Push-1X is NP-complete[Demaine, Demaine, Hoffmann, O’Rourke 2003]
forkone-way
equalnonequal
equal
non-equal
non-equal
fork
one way
![Page 18: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/18.jpg)
Push-1X is NP-complete[Demaine, Demaine, Hoffmann, O’Rourke 2003]
NANDgadget
XORcrossover
nonequalgadget
![Page 19: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/19.jpg)
Push-1X is NP-complete[Demaine, Demaine, Hoffmann, O’Rourke 2003]
equalgadget
![Page 20: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/20.jpg)
Push-1G is NP-hard[Friedman 2002]
one way
XOR crossover
fork
NAND
=
=
![Page 21: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/21.jpg)
Graph Orientation[Horiyama, Ito, Nakatsuka, Suzuki, Uehara 2012]
0-or-3
1-in-3 2-in-3
0-or-3
1-in-3 2-in-3
![Page 22: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/22.jpg)
Packing L Trominoes into Polygon[Horiyama, Ito, Nakatsuka, Suzuki, Uehara 2012]
edge gadget
![Page 23: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/23.jpg)
Packing L Trominoes into Polygon[Horiyama, Ito, Nakatsuka, Suzuki, Uehara 2012]
crossover
![Page 24: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/24.jpg)
Packing L Trominoes into Polygon[Horiyama, Ito, Nakatsuka, Suzuki, Uehara 2012]
1-in-3
double 0-or-3
2-in-3
![Page 25: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/25.jpg)
Packing I Trominoes into Polygon[Horiyama, Ito, Nakatsuka, Suzuki, Uehara 2012]
crossover
edge gadget
![Page 26: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/26.jpg)
Packing I Trominoes into Polygon[Horiyama, Ito, Nakatsuka, Suzuki, Uehara 2012]
1-in-3
double 0-or-3
2-in-3
![Page 27: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/27.jpg)
[Díaz, Petit, Serna 2002]
![Page 28: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/28.jpg)
Bipartite Crossing Number[Garey & Johnson 1983]
𝐸𝐸 2
![Page 29: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/29.jpg)
Crossing Number is NP-Complete[Garey & Johnson 1983]
3𝑘𝑘 + 1
![Page 30: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/30.jpg)
How To Solve Rubik’s Cube Faster[Demaine, Demaine, Eisenstat, Lubiw, Winslow 2011]
• Kill Θ log 𝑛𝑛 birds with Θ 1 stones• Look for cubies arranged in a grid
that have the same solution sequence 𝑋𝑋 × 𝑌𝑌 grid can be solved in Θ 𝑋𝑋 + 𝑌𝑌 moves
instead of the usual Θ 𝑋𝑋 ⋅ 𝑌𝑌 moves Can always find Θ log𝑛𝑛 -factor savings like this
![Page 31: Planar Vertex Cover - courses.csail.mit.educourses.csail.mit.edu/6.892/spring19/lectures/L09_images.pdf · 2019-02-25 · Planar Connected Vertex Cover [Garey& Johnson 1977]](https://reader036.fdocuments.net/reader036/viewer/2022081222/5f7845058fbd4b635714c9a4/html5/thumbnails/31.jpg)
Optimal Rubik’s Cube Solutions[Demaine, Demaine, Eisenstat, Lubiw, Winslow 2011]
• NP-hard to solve a specified subset of 𝑛𝑛 × 𝑛𝑛 × 1“Rubik’s Square” using fewest possible moves
• Open: NP-hard if allcubies are important?[Erickson 2010]
important & solved
important & unsolved
unimportant /don’t care / chameleon
first 𝑥𝑥2 between first 𝑥𝑥1 & first 𝑥𝑥3