Adding one edge to planar graphs makes crossing number...
Transcript of Adding one edge to planar graphs makes crossing number...
![Page 1: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/1.jpg)
Adding one edge to planar graphsmakes crossing number hard
Sergio CabelloUniversity of Ljubljana
Slovenia
Bojan MoharSimon Fraser University
Canada
Sergio Cabello Near-planar
![Page 2: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/2.jpg)
Crossing number
cr(G ) = minimum number of crossings over all drawings
I vertices to pointsI edges to curvesI edge-vertex incidence preservedI no point in the interior of 3 edgesI no vertex in the interior of an edge
cr(G) ≥ 5
Sergio Cabello Near-planar
![Page 3: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/3.jpg)
Planar graphs
G planar ⇔ cr(G ) = 0
Sergio Cabello Near-planar
![Page 4: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/4.jpg)
Crossing number: algorithmic results
I ”is cr(G ) = 0?” decidable in linear time [Hopcroft, Tarjan, ’74]
I computing cr(G ) is NP-hard [Garey, Johnson ’83]
• for cubic graphs [Hlineny ’06]• with rotation systems [Pelsmajer, Schaefer, Stefankovic ’08]
I computing cr(G ) is FPT wrt cr(G ) [Grohe ’04][Kawarabayashi, Reed ’07]
I cr(G ) + |V (G )| approximable within O(log3 |V (G )|)[Even, Guha, Schieber ’02]
I f (∆)-approximation algorithms for special graphs of max deg ∆[Hlineny, Salazar, Chimani, C., M.]
Sergio Cabello Near-planar
![Page 5: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/5.jpg)
Near-planar graphs
G near-planar if G − e planar for some e.
e
I weak relaxation of planarity
I near-planar ⇒ toroidal, apex
Sergio Cabello Near-planar
![Page 6: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/6.jpg)
Near-planar – Previous work
I G planar, 3-connected, and 3-regular⇒ cr(G + xy) is a distance in (G − x − y)∗. [Riskin ’96]
• draw G − xy planarly and insert xy minimizing crossings.
x
y
I No extension to non-cubic graphs possible [Mohar ’06]
Sergio Cabello Near-planar
![Page 7: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/7.jpg)
Near-planar – Previous work II
I G near-planar with max degree ∆⇒ b∆
2 c-approximation to cr(G ) [Cabello, Mohar ’08]
• implies Riskin’s result• improves previous ∆-approximation [Hlineny, Salazar ’06]• number of edge-disjoint cycles separating x and y• number of vertex-disjoint cycles separating x and y
I G near-planar. Why do we approximate cr(G )?
Sergio Cabello Near-planar
![Page 8: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/8.jpg)
Our new result
TheoremComputing cr(G ) for near-planar graphs is NP-hard.
I adding one edge messes up a lot
I we knew it for weighted crossing number
• polynomial weights would be ok
I new reduction from SAT
• previous reductions are from Linear Ordering
I new problem: anchored drawings
Sergio Cabello Near-planar
![Page 9: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/9.jpg)
Our new result
TheoremComputing cr(G ) for near-planar graphs is NP-hard.
I adding one edge messes up a lot
I we knew it for weighted crossing number
• polynomial weights would be ok
I new reduction from SAT
• previous reductions are from Linear Ordering
I new problem: anchored drawings
Sergio Cabello Near-planar
![Page 10: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/10.jpg)
Tool: anchored drawings
I Ω a disk
I Anchored graph: graph G with assigned placements for a subsetAG ⊆ V (G ) of anchors on the boundary of Ω
I Anchored drawing: drawing in Ω extending the placement of AG
I Anchored embedding: anchored drawing without crossings
I Anchored crossing number: minimize crossings
Sergio Cabello Near-planar
![Page 11: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/11.jpg)
Tool: anchored drawings
Sergio Cabello Near-planar
![Page 12: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/12.jpg)
New problem: red-blue anchored drawings
I Ω a disk
I R an anchored embedded red graph in Ω
I B an anchored embedded blue graph in Ω
I anchored drawing D of R ∪ B in Ω
• we may require D|R and/or D|R is an embedding• or same combinatorial embedding
I anchored crossing number of R ∪ B
• we may only count red-blue crossings
Sergio Cabello Near-planar
![Page 13: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/13.jpg)
New problem: red-blue anchored drawings
R B
Sergio Cabello Near-planar
![Page 14: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/14.jpg)
New problem: red-blue anchored drawings
Sergio Cabello Near-planar
![Page 15: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/15.jpg)
New theorem: red-blue anchored drawings
TheoremIt is NP-hard to compute the anchored crossing number of R ∪ B.
I also true if R and B disjoint
I also true if restricted to embeddings of R or B
I reduction from SAT
Sergio Cabello Near-planar
![Page 16: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/16.jpg)
New theorem: red-blue anchored drawings
TheoremIt is NP-hard to compute the anchored crossing number of R ∪ B.
I also true if R and B disjoint
I also true if restricted to embeddings of R or B
I reduction from SAT
Sergio Cabello Near-planar
![Page 17: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/17.jpg)
Why red-blue anchored drawings?
Sergio Cabello Near-planar
![Page 18: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/18.jpg)
Why red-blue anchored drawings?
Sergio Cabello Near-planar
![Page 19: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/19.jpg)
New theorem: red-blue anchored drawings
TheoremIt is NP-hard to compute the anchored crossing number of R ∪ B.
I reduction from SAT
I proof by example
I we will use polynomial weights
Sergio Cabello Near-planar
![Page 20: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/20.jpg)
¬x1 ∨ ¬x3 ∨ x4
¬x2 ∨ ¬x4
x2 ∨ ¬x3
x1 ∨ x2
x1 x2 x3 x4
forcing
Sergio Cabello Near-planar
![Page 21: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/21.jpg)
¬x1 ∨ ¬x3 ∨ x4
forcing
¬x2 ∨ ¬x4
x2 ∨ ¬x3
x1 ∨ x2
−1 −1
−1 −1
−1 −1
−1−1−1
T F T F T F T F
+1 +1 +2 +1 +2 +1 +1
x1 x2 x3 x4
Sergio Cabello Near-planar
![Page 22: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/22.jpg)
¬x1 ∨ ¬x3 ∨ x4
forcing
¬x2 ∨ ¬x4
x2 ∨ ¬x3
x1 ∨ x2
T F T F T F T F
x1 x2 x3 x4
Sergio Cabello Near-planar
![Page 23: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/23.jpg)
¬x1 ∨ ¬x3 ∨ x4
forcing
¬x2 ∨ ¬x4
x2 ∨ ¬x3
x1 ∨ x2
T F T F T F T F
x1 x2 x3 x4
Sergio Cabello Near-planar
![Page 24: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/24.jpg)
¬x1 ∨ ¬x3 ∨ x4
forcing
¬x2 ∨ ¬x4
x2 ∨ ¬x3
x1 ∨ x2
T F T F T F T F
x1 x2 x3 x4
Sergio Cabello Near-planar
![Page 25: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/25.jpg)
¬x1 ∨ ¬x3 ∨ x4
¬x2 ∨ ¬x4
x2 ∨ ¬x3
x1 ∨ x2
forcing
T F T F T F T F
x1 x2 x3 x4
Sergio Cabello Near-planar
![Page 26: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/26.jpg)
Conclusions
I Crossing numbers are hard. Any doubt?
I New proof of NP-hardness for crossing numbers.
• reduction from SAT• works cubic graphs (Hlineny)
I New problem: anchored drawing in a disk.
• approximation?• other surfaces (P2 is done)
I Crossing number
• approximation?• bounded treewidth?
Sergio Cabello Near-planar
![Page 27: Adding one edge to planar graphs makes crossing number hardcabello/publications/slides-near-planar.pdf · Sergio Cabello Near-planar. Near-planar graphs G near-planarif G e planar](https://reader035.fdocuments.us/reader035/viewer/2022063013/5fcda26d1718c848647ed89b/html5/thumbnails/27.jpg)
The end
I thanks
I thanks
I . . .
¬x1 ∨ ¬x3 ∨ x4
¬x2 ∨ ¬x4
x2 ∨ ¬x3
x1 ∨ x2
forcing
T F T F T F T F
x1 x2 x3 x4
Sergio Cabello Near-planar