CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research
Transcript of CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research
![Page 1: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/1.jpg)
CONTRACTIONS OF PLANAR GRAPHS
ESA 2010
Marcin KamińskiBrussels
Daniël PaulusmaDurham
Dimitrios ThilikosAthens
Saturday, May 28, 2011
![Page 2: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/2.jpg)
CONTRACTIONS OF PLANAR GRAPHS2
\v \e /e
CONTAINMENT RELATIONS
Saturday, May 28, 2011
![Page 3: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/3.jpg)
CONTRACTIONS OF PLANAR GRAPHS3
\v \e /e
induced subgraph ✓ ✗ ✗
subgraph ✓ ✓ ✗
minor ✓ ✓ ✓
contraction ✗ ✗ ✓
induced minor ✓ ✗ ✓
CONTAINMENT RELATIONS
Saturday, May 28, 2011
![Page 4: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/4.jpg)
CONTRACTIONS OF PLANAR GRAPHS4
PREVIOUS WORK
Saturday, May 28, 2011
![Page 5: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/5.jpg)
CONTRACTIONS OF PLANAR GRAPHS5
CONTRACTIONS ALGORITHMICALLY
Theorem (Matoušek and Thomas, 1992)
The problem of deciding, given two input graphs G and H, whether G is contractible to H is NP-complete even if H and G are trees:
of bounded diameter; or, all whose vertices but one have degree at most 5.
Saturday, May 28, 2011
![Page 6: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/6.jpg)
CONTRACTIONS OF PLANAR GRAPHS6
CONTRACTIONS ALGORITHMICALLY
H-contractibility
Saturday, May 28, 2011
![Page 7: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/7.jpg)
CONTRACTIONS OF PLANAR GRAPHS7
CONTRACTIONS ALGORITHMICALLY
H-contractibility
Theorem (Brouwer and Veldman, 1987)
Let H be a triangle-free graph. If H is a star, then H-contractibility is in P; otherwise is NP-complete.
Saturday, May 28, 2011
![Page 8: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/8.jpg)
CONTRACTIONS OF PLANAR GRAPHS8
CONTRACTIONS ALGORITHMICALLY
H-contractibility
Theorem (Brouwer and Veldman, 1987)
Let H be a triangle-free graph. If H is a star, then H-contractibility is in P; otherwise is NP-complete.
Remark
P4-contractibility, C4-contractibility are NP-complete problems.
Saturday, May 28, 2011
![Page 9: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/9.jpg)
CONTRACTIONS OF PLANAR GRAPHS9
CONTRACTIONS ALGORITHMICALLY
Theorem (Levin, Paulusma, and Woeginger, 2002)
Let H be a connected graph on at most 5 vertices.
If H has a dominating vertex, then H-contractibility is in P. If H does not have a dominating vertex, then H-contractibility is NP-complete.
Saturday, May 28, 2011
![Page 10: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/10.jpg)
CONTRACTIONS OF PLANAR GRAPHS10
CONTRACTIONS ALGORITHMICALLY
Theorem (Levin, Paulusma, and Woeginger, 2002)
Let H be a connected graph on at most 5 vertices.
If H has a dominating vertex, then H-contractibility is in P. If H does not have a dominating vertex, then H-contractibility is NP-complete.
Observation (van ’t Hof, Kamiński, Paulusma, Szeider, and Thilikos, 2009)
There exists a graph H on 69 vertices with a dominating vertex for which H-contractibility is NP-complete.
Saturday, May 28, 2011
![Page 11: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/11.jpg)
CONTRACTIONS OF PLANAR GRAPHS11
CONTRACTIONS ALGORITHMICALLY
Theorem (Matoušek, Nešetril, and Thomas, 1988)
There exists a non-recursive class of graphs closed under taking of contractions (and induced subgraphs).
Saturday, May 28, 2011
![Page 12: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/12.jpg)
CONTRACTIONS OF PLANAR GRAPHS12
OUR RESULTS
Saturday, May 28, 2011
![Page 13: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/13.jpg)
CONTRACTIONS OF PLANAR GRAPHS13
MAIN THEOREM
Theorem
For every graph H, there exists a polynomial-time algorithm, deciding whether the planar input graph is contractible to H.
Saturday, May 28, 2011
![Page 14: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/14.jpg)
CONTRACTIONS OF PLANAR GRAPHS14
COMBINATORIALLY EQUIVALENT
Two plane graphs G and H are combinatorially equivalent if there exists a homeomorphism of the unit sphere (in which they are embedded) which transforms one into the other.
Saturday, May 28, 2011
![Page 15: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/15.jpg)
CONTRACTIONS OF PLANAR GRAPHS15
THIN GRAPHS
Homotopic edges = edges bounding a 2-face
Saturday, May 28, 2011
![Page 16: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/16.jpg)
CONTRACTIONS OF PLANAR GRAPHS16
THIN GRAPHS
Homotopic edges = edges bounding a 2-face
Thin graph = a plane multigraph without homotopic pairs of edges
Saturday, May 28, 2011
![Page 17: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/17.jpg)
CONTRACTIONS OF PLANAR GRAPHS17
THIN GRAPHS
Homotopic edges = edges bounding a 2-face
Thin graph = a plane multigraph without homotopic pairs of edges
Lemma (Alber, Fellows, and Niedermeier, 2004)
If G is a thin graph, then |E(G)| ≤ 3|V(G)| - 6.
Saturday, May 28, 2011
![Page 18: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/18.jpg)
CONTRACTIONS OF PLANAR GRAPHS18
EMBEDDED CONTAINMENT RELATIONS
Contraction (≤c) and embedded contraction (≤ec).
Saturday, May 28, 2011
![Page 19: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/19.jpg)
CONTRACTIONS OF PLANAR GRAPHS19
EMBEDDED CONTAINMENT RELATIONS
Contraction (≤c) and embedded contraction (≤ec).
Dissolution and embedded dissolution.
Saturday, May 28, 2011
![Page 20: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/20.jpg)
CONTRACTIONS OF PLANAR GRAPHS20
EMBEDDED CONTAINMENT RELATIONS
Contraction (≤c) and embedded contraction (≤ec)
Dissolution and embedded dissolution.
Topological minor (≤tm) and embedded topological minor (≤etm).
Saturday, May 28, 2011
![Page 21: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/21.jpg)
CONTRACTIONS OF PLANAR GRAPHS21
EMBEDDED CONTAINMENT RELATIONS
Theorem
Let H and G be two thin graphs and H*, G* their respective duals.
H ≤ec G ⟺ H* ≤etm G*
Saturday, May 28, 2011
![Page 22: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/22.jpg)
CONTRACTIONS OF PLANAR GRAPHS22
PATTERNS
A simple planar graph H is a pattern of a planar multigraph H’, if
V(H) = V(H’), and two vertices are adjacent in H iff they are adjacent in H’.
Saturday, May 28, 2011
![Page 23: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/23.jpg)
CONTRACTIONS OF PLANAR GRAPHS23
PATTERNS
A simple planar graph H is a pattern of a planar multigraph H’, if
V(H) = V(H’), and two vertices are adjacent in H iff they are adjacent in H’.
C(H) = a maximal set of all combinatorially different thin plane multigraphs whose pattern is H
Saturday, May 28, 2011
![Page 24: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/24.jpg)
CONTRACTIONS OF PLANAR GRAPHS24
PATTERNS
A simple planar graph H is a pattern of a planar multigraph H’, if
V(H) = V(H’), and two vertices are adjacent in H iff they are adjacent in H’.
C(H) = a maximal set of all combinatorially different thin plane multigraphs whose pattern is H
Lemma
For every planar graph H, the set C(H) is finite.
Saturday, May 28, 2011
![Page 25: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/25.jpg)
CONTRACTIONS OF PLANAR GRAPHS25
CONTRACTIONS AND EMBEDDED TOPOLOGICAL MINORS
Theorem
Let H and G be simple planar graphs and G be a plane graph isomorphic to G.
H ≤c G ⟺ ∃ H∊C(H) such that H ≤ec G
Saturday, May 28, 2011
![Page 26: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/26.jpg)
CONTRACTIONS OF PLANAR GRAPHS26
CONTRACTIONS AND EMBEDDED TOPOLOGICAL MINORS
Theorem
Let H and G be simple planar graphs and G be a plane graph isomorphic to G.
H ≤c G ⟺ ∃ H∊C(H) such that H ≤ec G
Corollary
Let H and G be simple planar graphs and G be a plane graph isomorphic to G.
H ≤c G ⟺ ∃ H∊C(H) such that H* ≤etm G*
Saturday, May 28, 2011
![Page 27: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/27.jpg)
CONTRACTIONS OF PLANAR GRAPHS27
TESTING FOR EMBEDDED TOPOLOGICAL MINORS
Reduction to testing for a collection of disjoint paths.
Saturday, May 28, 2011
![Page 28: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/28.jpg)
CONTRACTIONS OF PLANAR GRAPHS28
TESTING FOR EMBEDDED TOPOLOGICAL MINORS
Reduction to testing for a collection of disjoint paths.
Theorem (Robertson and Seymour, 1995)
There exists an algorithm that given a graph G and k pairs (s1, t1), ..., (sk, tk) of vertices of G decides whether there are k vertex-disjoint paths P1, ..., Pk in G such that Pi joins si, ti, for all i=1, ..., k, and if so, finds them. The algorithm runs in O(|V(G)|3).
Saturday, May 28, 2011
![Page 29: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/29.jpg)
CONTRACTIONS OF PLANAR GRAPHS29
TESTING FOR EMBEDDED TOPOLOGICAL MINORS
Topological minors.
Saturday, May 28, 2011
![Page 30: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/30.jpg)
CONTRACTIONS OF PLANAR GRAPHS30
TESTING FOR EMBEDDED TOPOLOGICAL MINORS
Topological minors.
Embedded topological minors. Cyclic order of paths/neighbors.
Saturday, May 28, 2011
![Page 31: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/31.jpg)
CONTRACTIONS OF PLANAR GRAPHS31
TESTING FOR EMBEDDED TOPOLOGICAL MINORS
Topological minors.
Embedded topological minors. Cyclic order of paths/neighbors.
|V(G)|O(|V(H)|)
Saturday, May 28, 2011
![Page 32: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/32.jpg)
CONTRACTIONS OF PLANAR GRAPHS32
TESTING FOR EMBEDDED TOPOLOGICAL MINORS
Topological minors.
Embedded topological minors. Cyclic order of paths/neighbors.
|V(G)|O(|V(H)|)
Open problem
What is the parameterized complexity of deciding whether H is a topological minor of a (planar) input graph G, when parameterized by |V(H)|? FPT or W[1]-hard?
Saturday, May 28, 2011
![Page 33: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/33.jpg)
CONTRACTIONS OF PLANAR GRAPHS33
MAIN THEOREM
Theorem
For every graph H, there exists a polynomial-time algorithm, deciding whether the planar input graph is contractible to H.
Saturday, May 28, 2011
![Page 34: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/34.jpg)
CONTRACTIONS OF PLANAR GRAPHS34
MAIN THEOREM
Theorem
For every graph H, there exists a polynomial-time algorithm, deciding whether the planar input graph is contractible to H.
Generalization to bounded genus graphs.
Saturday, May 28, 2011
![Page 35: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/35.jpg)
CONTRACTIONS OF PLANAR GRAPHS35
MAIN THEOREM
Theorem
For every graph H, there exists a polynomial-time algorithm, deciding whether the planar input graph is contractible to H.
Generalization to bounded genus graphs.
Theorem
For every integer g≥0 and a graph H, there exists a polynomial-time algorithm, deciding whether the input graph, which is embeddable on a surface of Euler genus g, is contractible to H.
Saturday, May 28, 2011
![Page 36: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/36.jpg)
CONTRACTIONS OF PLANAR GRAPHS36
CYCLICITY
cyclicity of G = the largest integer k for which G is contractible to Ck
Saturday, May 28, 2011
![Page 37: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/37.jpg)
CONTRACTIONS OF PLANAR GRAPHS37
CYCLICITY
cyclicity of G = the largest integer k for which G is contractible to Ck
Theorem (Hammack, 1999)
There exists a polynomial-time algorithm to determine the cyclicity of a planar graph.
Saturday, May 28, 2011
![Page 38: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/38.jpg)
CONTRACTIONS OF PLANAR GRAPHS38
CYCLICITY
cyclicity of G = the largest integer k for which G is contractible to Ck
Theorem (Hammack, 1999)
There exists a polynomial-time algorithm to determine the cyclicity of a planar graph.
Generalization to bounded genus graphs.
Saturday, May 28, 2011
![Page 39: CONTRACTIONS OF PLANAR GRAPHS - Rutgers Center for Operations Research](https://reader035.fdocuments.net/reader035/viewer/2022071600/613d1644736caf36b759282e/html5/thumbnails/39.jpg)
CONTRACTIONS OF PLANAR GRAPHS
THANK YOU!
Saturday, May 28, 2011