graph minor theory and its algorithmic …1 - characterization of graph classes by forbidden con...
TRANSCRIPT
![Page 1: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/1.jpg)
Graph Minor Theory and its algorithmic consequencesMPRI Graph Algorithms
Pierre Aboulker - [email protected]
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 1 / 121
![Page 2: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/2.jpg)
1 - Characterization of graph classes by forbiddenconfigurations
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 2 / 121
![Page 3: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/3.jpg)
Graph theory
Graphs: a mathematical object and an efficient modeling tool.
Important questions:
What classes of graphs have good algorithmic properties? (colouring, cliquemax...)
What classes of graphs have good structural properties? (decompositiontheorem, elimination ordering...)
Forbidding a substructure:
Minors: Robertson and Seymour, 1983-2012
Topological minors
Induced subgraphs
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 3 / 121
![Page 4: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/4.jpg)
Basic Definitions and Terminology
In this course, all graphs are simple (no parallel edges) and without loop.
If G is a graph, we denote V (G ) its set of vertices and E (G ) its set of edges.
A vertex v is a neighbour of a vertex u if uv ∈ E (G ). The neighbourhood of u,denoted N(u) is the set of neighbours of u.Its degree, denoted d(u) is the cardinality of its neighbourhood. The maximumdegree of a graph is denoted ∆(G ).
A graph with no edge is stable set, or independent set, and a graph with allpossible edges (
(n2
)) is a clique, or complete graph. The complete graph on n
vertices is denoted Kn. The complete bipartite graph with parts of size a and b isdenoted Ka,b.
The path Pk is a graph with V (Pk) = x1, x2, . . . , xk, with edgesE (Pk) = xixi+1, 1 ≤ i ≤ k − 1. The vertices x1 and xk are called theendpoints of the path. If we add the edge xkx1 to Pk then the resulting graph isthe cycle on k vertices, denoted Ck .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 4 / 121
![Page 5: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/5.jpg)
Chromatic number
χ(G )= minimum number of colors needed to color the vertices in such a way thatadjacent vertices receive distinct colors. In other words its a partitioning of thevertex sets into stable sets, minimizing the number of stable sets.
Exercice 1What is the chromatic of Ka,b? Kn? Cn?
Let k an integer. A class of graphs C is k-degenerate if for all G ∈ C, G has avertex of degree at most k.
Exercice 2Let C be a k-degenerate class of graphs closed under taking induced subgraph.Prove that all graphs in G has chromatic number at most k + 1.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 5 / 121
![Page 6: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/6.jpg)
Containment relationsWe define four operations on a graph G :
1 Remove a vertex v (and all its incident edges) , denoted G \ v .
2 Remove an edge e (but not its end vertices) , denoted G \ e.
3 Contract an edge e = xy , denoted G/e :(i.e. remove x and y , add a new vertex z with neighbourhoodN(z) = (N(x) ∪ N(u)) \ z (no loops))
4 Topological contraction is a contraction of edge e that has an endvertex ofdegree 2. Its inverse is the subdivision operation which consists in removingan edge xy , adding a new vertex z , and adding the edges xz and zy .
DefinitionLet G and H be two graphs.
H induced subgraph of G if H obtained from G by the repeated use of 1.
H subgraph of G if H obtained from G by the repeated use of 1 and 2.
H topological minor of G if H is a minor of G and every contraction usedwas topological.
H minor of G if H obtained from G by the repeated use of rule 1,2 and 3.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 6 / 121
![Page 7: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/7.jpg)
Containment relationsWe define four operations on a graph G :
1 Remove a vertex v (and all its incident edges) , denoted G \ v .
2 Remove an edge e (but not its end vertices) , denoted G \ e.
3 Contract an edge e = xy , denoted G/e :(i.e. remove x and y , add a new vertex z with neighbourhoodN(z) = (N(x) ∪ N(u)) \ z (no loops))
4 Topological contraction is a contraction of edge e that has an endvertex ofdegree 2. Its inverse is the subdivision operation which consists in removingan edge xy , adding a new vertex z , and adding the edges xz and zy .
DefinitionLet G and H be two graphs.
H induced subgraph of G if H obtained from G by the repeated use of 1.
H subgraph of G if H obtained from G by the repeated use of 1 and 2.
H topological minor of G if H is a minor of G and every contraction usedwas topological.
H minor of G if H obtained from G by the repeated use of rule 1,2 and 3.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 6 / 121
![Page 8: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/8.jpg)
Partial orders
Each of these containment relation defines a partial order on graphs:
H induced subgraph of G : H ⊆i G
H subgraph of G : H ⊆ G
H topological minor of G : H t G
H minor of G : H m G
Let be any of these orders. We say that a class of graphs C is -closed(subgraph-closed, minor-closed...) if for all G ∈ C: H G ⇒ H ∈ C. .
The class of planar graphs if minor closed (and thus topological-minor-closed,subgraph-closed and induced-subgraph-closed).
The class of bipartite graphs is subgraph-closed, but nottopological-minor-closed.
The class of all graphs whose connected components are cliques isinduced-subgraph-closed, but not subgraph-closed.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 7 / 121
![Page 9: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/9.jpg)
Partial orders
Each of these containment relation defines a partial order on graphs:
H induced subgraph of G : H ⊆i G
H subgraph of G : H ⊆ G
H topological minor of G : H t G
H minor of G : H m G
Let be any of these orders. We say that a class of graphs C is -closed(subgraph-closed, minor-closed...) if for all G ∈ C: H G ⇒ H ∈ C. .
The class of planar graphs if minor closed (and thus topological-minor-closed,subgraph-closed and induced-subgraph-closed).
The class of bipartite graphs is subgraph-closed, but nottopological-minor-closed.
The class of all graphs whose connected components are cliques isinduced-subgraph-closed, but not subgraph-closed.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 7 / 121
![Page 10: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/10.jpg)
Minors
Here is an equivalent definition for minors that is often useful:
Lemma
Let G and H be two graphs, and denote V (H) = v1, . . . , vp. Then H is a minorof G if and only if there exists p connected and disjoint subgraphs G1, . . . ,Gp ofG such that for every edge vivj of H, there exists an edge between Gi and Gj .The graphs induced by G1, . . . ,Gp is called a H-model of G .
Exercice 3
Show that the (3× 3)-grid has a K4-minor
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 8 / 121
![Page 11: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/11.jpg)
Topological Minors
A topological minor is also called subdivision.Here is an equivalent definition of topological minor.
DefinitionA graph H is topological minor of a graph G if there exists a injective mapping ffrom V (H) to V (G ) such that for each edge uv of H, there exists in G a pathPuv connecting f (u) and f (v) in G with the property that all these path areinternally disjoint.
Exercice 4Describe the graphs that do not contain the following graphs as topologicalminors : K3, K1,3, K1,4.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 9 / 121
![Page 12: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/12.jpg)
Classes of graph defined by forbidden configurations
For a set F of graphs, let Forb4(F) = G : ∀F ∈ F ,F G i.e. the class ofgraphs not containing any graphs of F under 4-relation. We say such graph areF-4-free.
Forb4t (K5,K3,3) = planar graphs = (K5,K3,3-topological minor free graphs.
Forb⊆(C3,C5,C7, ...) = ??
Forb⊆i (K1,2) = ??
A graph F is a 4-obstruction for a class G if F /∈ G but for every H 4 G , H ∈ C.Let Obst4(C) be the set of all 4-obstruction of G.
K5 is a topological-minor-obstruction for planar graphs since K5 is not planar,but every proper topological-minor of K5 is.
K6 is not a topological-minor-obstruction for planar graphs since K5 4t K6
and K5 is not planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 10 / 121
![Page 13: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/13.jpg)
Classes of graph defined by forbidden configurations
For a set F of graphs, let Forb4(F) = G : ∀F ∈ F ,F G i.e. the class ofgraphs not containing any graphs of F under 4-relation. We say such graph areF-4-free.
Forb4t (K5,K3,3) = planar graphs = (K5,K3,3-topological minor free graphs.
Forb⊆(C3,C5,C7, ...) = bipartite graphs.
Forb⊆i (K1,2) = ??
A graph F is a 4-obstruction for a class G if F /∈ G but for every H 4 G , H ∈ C.Let Obst4(C) be the set of all 4-obstruction of G.
K5 is a topological-minor-obstruction for planar graphs since K5 is not planar,but every proper topological-minor of K5 is.
K6 is not a topological-minor-obstruction for planar graphs since K5 4t K6
and K5 is not planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 10 / 121
![Page 14: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/14.jpg)
Classes of graph defined by forbidden configurations
For a set F of graphs, let Forb4(F) = G : ∀F ∈ F ,F G i.e. the class ofgraphs not containing any graphs of F under 4-relation. We say such graph areF-4-free.
Forb4t (K5,K3,3) = planar graphs = (K5,K3,3-topological minor free graphs.
Forb⊆(C3,C5,C7, ...) = bipartite graphs.
Forb⊆i (K1,2) = graphs whose connected components are cliques.
A graph F is a 4-obstruction for a class G if F /∈ G but for every H 4 G , H ∈ C.Let Obst4(C) be the set of all 4-obstruction of G.
K5 is a topological-minor-obstruction for planar graphs since K5 is not planar,but every proper topological-minor of K5 is.
K6 is not a topological-minor-obstruction for planar graphs since K5 4t K6
and K5 is not planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 10 / 121
![Page 15: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/15.jpg)
Classes of graph defined by forbidden configurations
For a set F of graphs, let Forb4(F) = G : ∀F ∈ F ,F G i.e. the class ofgraphs not containing any graphs of F under 4-relation. We say such graph areF-4-free.
Forb4t (K5,K3,3) = planar graphs = (K5,K3,3-topological minor free graphs.
Forb⊆(C3,C5,C7, ...) = bipartite graphs.
Forb⊆i (K1,2) = graphs whose connected components are cliques.
A graph F is a 4-obstruction for a class G if F /∈ G but for every H 4 G , H ∈ C.Let Obst4(C) be the set of all 4-obstruction of G.
K5 is a topological-minor-obstruction for planar graphs since K5 is not planar,but every proper topological-minor of K5 is.
K6 is not a topological-minor-obstruction for planar graphs since K5 4t K6
and K5 is not planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 10 / 121
![Page 16: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/16.jpg)
Classes of graph defined by forbidden configurations
For a set F of graphs, let Forb4(F) = G : ∀F ∈ F ,F G i.e. the class ofgraphs not containing any graphs of F under 4-relation. We say such graph areF-4-free.
Forb4t (K5,K3,3) = planar graphs = (K5,K3,3-topological minor free graphs.
Forb⊆(C3,C5,C7, ...) = bipartite graphs.
Forb⊆i (K1,2) = graphs whose connected components are cliques.
A graph F is a 4-obstruction for a class G if F /∈ G but for every H 4 G , H ∈ C.Let Obst4(C) be the set of all 4-obstruction of G.
K5 is a topological-minor-obstruction for planar graphs since K5 is not planar,but every proper topological-minor of K5 is.
K6 is not a topological-minor-obstruction for planar graphs since K5 4t K6
and K5 is not planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 10 / 121
![Page 17: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/17.jpg)
Exercises
Exercice 5 (*)
Let C be a class of graphs and 4 a containment relation on graphs. Prove that Cis 4-closed if and only if there exists a (possibly infinite) set of graphs F suchthat C = Forb4(F).
Exercice 6Prove that a graph G is a forest if and only if it does not contain C3 as a minor.
Exercice 71 Prove that every graph with average degree at least 2r−2 contains Kr as a
minor.
2 For r fixed, does there exist Kr minor-free graphs with arbitrarily largechromatic number?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 11 / 121
![Page 18: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/18.jpg)
2 - Three Algorithmic Problems
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 12 / 121
![Page 19: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/19.jpg)
A Classical Connectivity Problem
Consider the following problem of connectivity.
Problem ( k disjoint paths problem)
Input : A graph G , an integer k and two subsets of vertices A and B of size kOutput : TRUE if there exists k vertex disjoint paths from A to B
CLASSIC : Can be solved in time O((k|E (G )|) using Ford-Fulkerson Algorithm.
From a structural point view, the maximum number of paths linking A and Bcorrecponds to a minimum vertex cut separating A and B and is a classical resultof Menger.
Theorem (Menger,1927)
Let x and y be distinct vertices of a graph G . Then the minimum number ofvertices whose deletion separates x from y is equal to the maximum number ofinternally disjoint paths linking x and y .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 13 / 121
![Page 20: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/20.jpg)
A Classical Connectivity Problem
Consider the following problem of connectivity.
Problem ( k disjoint paths problem)
Input : A graph G , an integer k and two subsets of vertices A and B of size kOutput : TRUE if there exists k vertex disjoint paths from A to B
CLASSIC : Can be solved in time O((k |E (G )|) using Ford-Fulkerson Algorithm.
From a structural point view, the maximum number of paths linking A and Bcorrecponds to a minimum vertex cut separating A and B and is a classical resultof Menger.
Theorem (Menger,1927)
Let x and y be distinct vertices of a graph G . Then the minimum number ofvertices whose deletion separates x from y is equal to the maximum number ofinternally disjoint paths linking x and y .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 13 / 121
![Page 21: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/21.jpg)
A Classical Connectivity Problem
Consider the following problem of connectivity.
Problem ( k disjoint paths problem)
Input : A graph G , an integer k and two subsets of vertices A and B of size kOutput : TRUE if there exists k vertex disjoint paths from A to B
CLASSIC : Can be solved in time O((k |E (G )|) using Ford-Fulkerson Algorithm.
From a structural point view, the maximum number of paths linking A and Bcorrecponds to a minimum vertex cut separating A and B and is a classical resultof Menger.
Theorem (Menger,1927)
Let x and y be distinct vertices of a graph G . Then the minimum number ofvertices whose deletion separates x from y is equal to the maximum number ofinternally disjoint paths linking x and y .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 13 / 121
![Page 22: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/22.jpg)
Exercise on connectivity
Let G be a graph, x ∈ V (G ) and Y ⊆ V (G ) \ x. A family of k internallydisjoint (x ,Y )-paths whose terminal vertices are distinct is referred to as a k-fanfrom x to Y .
Exercice 8Let G be a k-connected graph.
1 Let x be a vertex of G, and let Y ⊆ V \ x be a set of at least k vertices ofG . Then there exists a k-fan in G from x to Y . (This property is known asthe Fan Lemma).
2 Let S be a set of k vertices in a k-connected graph G , where k ≥ 2. Thenthere is a cycle in G which includes all the vertices of S .
For a very good presentation of Menger Theorem and its consequences, see thebook Graph Theory of J. A. Bondy and U. S. R. Murty, chapters 9.1 and 9.2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 14 / 121
![Page 23: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/23.jpg)
A similar problem.
Problem (k-disjoint rooted paths problem)
Input : A graph G , an integer k , and two subsets of vertices S = s1, s2, . . . , skand T = t1, t2, . . . , tkOutput : TRUE iff there exists disjoint paths P1,P2, . . . ,Pk , such that Pi is apath from si to ti .
Crucial role in VLSI design, related to commodity flow problem, manyapplications.
With k ≥ 2 part of the input, this problem is NP-complete, even restricted tothe class of planar graphs.
Nevertheless, in the Graph Minor series of papers, Robertson and Seymourproved a polynomial algorithm for fixed k .
Theorem (Robertson-Seymour, 1995 (XIII))
The k-disjoint rooted path problem can be solved in time O((f (k).n3
)(improved to quadratic time by Kawarabayashi, Kobashi and Reed, 2012)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 15 / 121
![Page 24: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/24.jpg)
A similar problem.
Problem (k-disjoint rooted paths problem)
Input : A graph G , an integer k , and two subsets of vertices S = s1, s2, . . . , skand T = t1, t2, . . . , tkOutput : TRUE iff there exists disjoint paths P1,P2, . . . ,Pk , such that Pi is apath from si to ti .
Crucial role in VLSI design, related to commodity flow problem, manyapplications.
With k ≥ 2 part of the input, this problem is NP-complete, even restricted tothe class of planar graphs.
Nevertheless, in the Graph Minor series of papers, Robertson and Seymourproved a polynomial algorithm for fixed k.
Theorem (Robertson-Seymour, 1995 (XIII))
The k-disjoint rooted path problem can be solved in time O((f (k).n3
)(improved to quadratic time by Kawarabayashi, Kobashi and Reed, 2012)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 15 / 121
![Page 25: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/25.jpg)
A similar problem.
Problem (k-disjoint rooted paths problem)
Input : A graph G , an integer k , and two subsets of vertices S = s1, s2, . . . , skand T = t1, t2, . . . , tkOutput : TRUE iff there exists disjoint paths P1,P2, . . . ,Pk , such that Pi is apath from si to ti .
Crucial role in VLSI design, related to commodity flow problem, manyapplications.
With k ≥ 2 part of the input, this problem is NP-complete, even restricted tothe class of planar graphs.
Nevertheless, in the Graph Minor series of papers, Robertson and Seymourproved a polynomial algorithm for fixed k.
Theorem (Robertson-Seymour, 1995 (XIII))
The k-disjoint rooted path problem can be solved in time O((f (k).n3
)(improved to quadratic time by Kawarabayashi, Kobashi and Reed, 2012)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 15 / 121
![Page 26: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/26.jpg)
A similar problem.
Problem (k-disjoint rooted paths problem)
Input : A graph G , an integer k , and two subsets of vertices S = s1, s2, . . . , skand T = t1, t2, . . . , tkOutput : TRUE iff there exists disjoint paths P1,P2, . . . ,Pk , such that Pi is apath from si to ti .
Crucial role in VLSI design, related to commodity flow problem, manyapplications.
With k ≥ 2 part of the input, this problem is NP-complete, even restricted tothe class of planar graphs.
Nevertheless, in the Graph Minor series of papers, Robertson and Seymourproved a polynomial algorithm for fixed k .
Theorem (Robertson-Seymour, 1995 (XIII))
The k-disjoint rooted path problem can be solved in time O((f (k).n3
)(improved to quadratic time by Kawarabayashi, Kobashi and Reed, 2012)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 15 / 121
![Page 27: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/27.jpg)
A similar problem.
Problem (k-disjoint rooted paths problem)
Input : A graph G , an integer k , and two subsets of vertices S = s1, s2, . . . , skand T = t1, t2, . . . , tkOutput : TRUE iff there exists disjoint paths P1,P2, . . . ,Pk , such that Pi is apath from si to ti .
Crucial role in VLSI design, related to commodity flow problem, manyapplications.
With k ≥ 2 part of the input, this problem is NP-complete, even restricted tothe class of planar graphs.
Nevertheless, in the Graph Minor series of papers, Robertson and Seymourproved a polynomial algorithm for fixed k .
Theorem (Robertson-Seymour, 1995 (XIII))
The k-disjoint rooted path problem can be solved in time O((f (k).n3
)(improved to quadratic time by Kawarabayashi, Kobashi and Reed, 2012)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 15 / 121
![Page 28: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/28.jpg)
A similar problem.
Problem (k-disjoint rooted paths problem)
Input : A graph G , an integer k , and two subsets of vertices S = s1, s2, . . . , skand T = t1, t2, . . . , tkOutput : TRUE iff there exists disjoint paths P1,P2, . . . ,Pk , such that Pi is apath from si to ti .
Crucial role in VLSI design, related to commodity flow problem, manyapplications.
With k ≥ 2 part of the input, this problem is NP-complete, even restricted tothe class of planar graphs.
Nevertheless, in the Graph Minor series of papers, Robertson and Seymourproved a polynomial algorithm for fixed k .
Theorem (Robertson-Seymour, 1995 (XIII))
The k-disjoint rooted path problem can be solved in time O((f (k).n3
)(improved to quadratic time by Kawarabayashi, Kobashi and Reed, 2012)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 15 / 121
![Page 29: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/29.jpg)
Topological Minor Detection I
Problem (Topological H-minor detection)
Input : A graph G and a graph H.Output : TRUE if H is a topological minor of G , FALSE otherwise.
With H part of the input : NP-complete
With H fixed, polynomial thanks to the k-disjoint path problem algorithm:
I Complexity : O(f (k)nk
), where k = |V (H)|, and n = |V (G)|. Therefore
polynomial for every fixed k. Such an algorithm is called (XP), see later inthe course.
I In 2010, Grohe, Kawabarayashi, Marx, and Wollan proved much better:O(f (k)n3
). Such an algorithm is called Fixed Parameter Tractable (FPT)
algorithm (see later in the course)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 16 / 121
![Page 30: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/30.jpg)
Topological Minor Detection I
Problem (Topological H-minor detection)
Input : A graph G and a graph H.Output : TRUE if H is a topological minor of G , FALSE otherwise.
With H part of the input : NP-complete
With H fixed, polynomial thanks to the k-disjoint path problem algorithm:
I Complexity : O(f (k)nk
), where k = |V (H)|, and n = |V (G)|. Therefore
polynomial for every fixed k. Such an algorithm is called (XP), see later inthe course.
I In 2010, Grohe, Kawabarayashi, Marx, and Wollan proved much better:O(f (k)n3
). Such an algorithm is called Fixed Parameter Tractable (FPT)
algorithm (see later in the course)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 16 / 121
![Page 31: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/31.jpg)
Topological Minor Detection I
Problem (Topological H-minor detection)
Input : A graph G and a graph H.Output : TRUE if H is a topological minor of G , FALSE otherwise.
With H part of the input : NP-complete
With H fixed, polynomial thanks to the k-disjoint path problem algorithm:
I Complexity : O(f (k)nk
), where k = |V (H)|, and n = |V (G)|. Therefore
polynomial for every fixed k. Such an algorithm is called (XP), see later inthe course.
I In 2010, Grohe, Kawabarayashi, Marx, and Wollan proved much better:O(f (k)n3
). Such an algorithm is called Fixed Parameter Tractable (FPT)
algorithm (see later in the course)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 16 / 121
![Page 32: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/32.jpg)
Topological Minor Detection I
Problem (Topological H-minor detection)
Input : A graph G and a graph H.Output : TRUE if H is a topological minor of G , FALSE otherwise.
With H part of the input : NP-complete
With H fixed, polynomial thanks to the k-disjoint path problem algorithm:
I Complexity : O(f (k)nk
), where k = |V (H)|, and n = |V (G)|. Therefore
polynomial for every fixed k. Such an algorithm is called (XP), see later inthe course.
I In 2010, Grohe, Kawabarayashi, Marx, and Wollan proved much better:O(f (k)n3
). Such an algorithm is called Fixed Parameter Tractable (FPT)
algorithm (see later in the course)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 16 / 121
![Page 33: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/33.jpg)
Topological Minor Detection I
Problem (Topological H-minor detection)
Input : A graph G and a graph H.Output : TRUE if H is a topological minor of G , FALSE otherwise.
With H part of the input : NP-complete
With H fixed, polynomial thanks to the k-disjoint path problem algorithm:
I Complexity : O(f (k)nk
), where k = |V (H)|, and n = |V (G)|. Therefore
polynomial for every fixed k. Such an algorithm is called (XP), see later inthe course.
I In 2010, Grohe, Kawabarayashi, Marx, and Wollan proved much better:O(f (k)n3
). Such an algorithm is called Fixed Parameter Tractable (FPT)
algorithm (see later in the course)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 16 / 121
![Page 34: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/34.jpg)
Topological Minor Detection II
TheoremLet H be a fixed graph with k edges. One can decide whether H is a topologicalminor of a given graph G in time O
(f (k)nk
).
Sketch proof:Let f : V (H)→ V (G ) be an injection.Observe that there is
(n
|V (H)|)
such objects
We want to decide if there exists disjoint paths in G between the f (v)corresponding to edges of H.To do that, we replace each vertex f (v) by dH(v) copies of f (v) (having the sameneighbours).Now, for k = |E (H)|, solving the k-Rooted Disjoint Path Problem for thesesources clearly solves the desired question.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 17 / 121
![Page 35: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/35.jpg)
Consequences
In particular, the previous theorem implies that any family of graphs that isdefined with forbidding a FINITE family of graphs as topological minors ispolynomially testable.
In other words if C = Forb4t (F) where F is a finite set of graphs, then we candecide in polynomial time if a graph G belongs to C.
Example of such class?
Theorem (Kuratowski, 1930)
A graph G is planar if and only if it does not contain K5 nor K3,3 as a topologicalminor.
Note that one does not need to solve k rooted paths problem to get polytimealgorithms for recognizing planar graphs (there exist even linear algorithms to dothat).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 18 / 121
![Page 36: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/36.jpg)
Consequences
In particular, the previous theorem implies that any family of graphs that isdefined with forbidding a FINITE family of graphs as topological minors ispolynomially testable.
In other words if C = Forb4t (F) where F is a finite set of graphs, then we candecide in polynomial time if a graph G belongs to C.
Example of such class?
Theorem (Kuratowski, 1930)
A graph G is planar if and only if it does not contain K5 nor K3,3 as a topologicalminor.
Note that one does not need to solve k rooted paths problem to get polytimealgorithms for recognizing planar graphs (there exist even linear algorithms to dothat).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 18 / 121
![Page 37: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/37.jpg)
3 - Wagner Conjecture and minor closed classes
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 19 / 121
![Page 38: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/38.jpg)
Wagner Conjecture (now Graph Minor Theorem)
Reinhart Diestel
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 20 / 121
![Page 39: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/39.jpg)
Minors Vs Topological Minors
By definition: H topological minor of G ⇒ H minor of G
Exercise: converse not true: find a pair of graphs G and H such that H is aminor of G but H is not a topological minor of G .
When H is subcubic (maximum degree at most 3), this is nevertheless true.
TheoremLet H be a graph with maximum degree at most 3. Then a graph G has anH-minor if and only if it contains an H-subdivision.
Sketch proof:
Assume H is a minor of G
Let G ′ be a minimal topological minor of G such that H is a minor of G (i.e.(i.e. [V (G )|+ |E (G )| is minimized).
Look at an H-model (G1, . . . ,Gp) (where p = |V (H)|) of G .
By minimality of G , each Gi is a tree with at most 3 leaves and no vertex ofdegree 2
Each such tree must be a star, so we get the topological minor
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 21 / 121
![Page 40: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/40.jpg)
Minors Vs Topological Minors
By definition: H topological minor of G ⇒ H minor of G
Exercise: converse not true: find a pair of graphs G and H such that H is aminor of G but H is not a topological minor of G .
When H is subcubic (maximum degree at most 3), this is nevertheless true.
TheoremLet H be a graph with maximum degree at most 3. Then a graph G has anH-minor if and only if it contains an H-subdivision.
Sketch proof:
Assume H is a minor of G
Let G ′ be a minimal topological minor of G such that H is a minor of G (i.e.(i.e. [V (G )|+ |E (G )| is minimized).
Look at an H-model (G1, . . . ,Gp) (where p = |V (H)|) of G .
By minimality of G , each Gi is a tree with at most 3 leaves and no vertex ofdegree 2
Each such tree must be a star, so we get the topological minor
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 21 / 121
![Page 41: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/41.jpg)
Minors Vs Topological Minors
A similar argument proves this more general result.
TheoremFor every graph F , there exists a finite family of graphs F such that:G contains F as a minor if and only if it contains some graph in F as atopological minor.In other words: Forb4t (F ) = Forb4m(F).
This result combined with the theorem on topological minor detection now clearlyimplies the following theorem.
Theorem (Robertson and Seymour, 1995)
Let H be a fixed graph. There exists a polynomial time algorithm to decidewhether H is a minor of a given graph G .
Corollary
If C is a class of graphs defined by forbidding finitely many minors, then thereexists a polynomial algorithm to decide wether an input graph belongs to C
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 22 / 121
![Page 42: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/42.jpg)
Minors Vs Topological Minors
A similar argument proves this more general result.
TheoremFor every graph F , there exists a finite family of graphs F such that:G contains F as a minor if and only if it contains some graph in F as atopological minor.In other words: Forb4t (F ) = Forb4m(F).
This result combined with the theorem on topological minor detection now clearlyimplies the following theorem.
Theorem (Robertson and Seymour, 1995)
Let H be a fixed graph. There exists a polynomial time algorithm to decidewhether H is a minor of a given graph G .
Corollary
If C is a class of graphs defined by forbidding finitely many minors, then thereexists a polynomial algorithm to decide wether an input graph belongs to C
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 22 / 121
![Page 43: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/43.jpg)
Minors Vs Topological Minors
A similar argument proves this more general result.
TheoremFor every graph F , there exists a finite family of graphs F such that:G contains F as a minor if and only if it contains some graph in F as atopological minor.In other words: Forb4t (F ) = Forb4m(F).
This result combined with the theorem on topological minor detection now clearlyimplies the following theorem.
Theorem (Robertson and Seymour, 1995)
Let H be a fixed graph. There exists a polynomial time algorithm to decidewhether H is a minor of a given graph G .
Corollary
If C is a class of graphs defined by forbidding finitely many minors, then thereexists a polynomial algorithm to decide wether an input graph belongs to C
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 22 / 121
![Page 44: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/44.jpg)
Wagner Conjecture
QuestionWhat are the families defined by finitely many forbidden minors?
Examples :
Graph Class Minor minimal graphsForests triangle
Union of Paths triangle, clawPlanar K5 , K3,3
Toric ≥ 16629 (but finite)
Exercice 9For each of the following classes, decide if it is minor closed or not. If not, try todescribe the smallest minor closed class containing it : cliques, paths, cycles,graphs of max degree k?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 23 / 121
![Page 45: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/45.jpg)
Wagner Conjecture
QuestionWhat are the families defined by finitely many forbidden minors?
Examples :
Graph Class Minor minimal graphsForests triangle
Union of Paths triangle, clawPlanar K5 , K3,3
Toric ≥ 16629 (but finite)
Exercice 9For each of the following classes, decide if it is minor closed or not. If not, try todescribe the smallest minor closed class containing it : cliques, paths, cycles,graphs of max degree k?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 23 / 121
![Page 46: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/46.jpg)
Wagner Conjecture
QuestionWhat are the families defined by finitely many forbidden minors?
Examples :
Graph Class Minor minimal graphsForests triangle
Union of Paths triangle, clawPlanar K5 , K3,3
Toric ≥ 16629 (but finite)
Exercice 9For each of the following classes, decide if it is minor closed or not. If not, try todescribe the smallest minor closed class containing it : cliques, paths, cycles,graphs of max degree k?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 23 / 121
![Page 47: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/47.jpg)
Minor Closed Classes
QuestionWhat are the families defined by finitely many forbidden minors?
A trivial fact is that such families are closed under minors (every minor of agraph in the family is in the family).
In a monumental work (>700 pages of proof, Graph Minors I-II-III-...-XXV),Robertson and Seymour solved a conjecture of Wagner from 1937 saying thatthis is sufficient.
Theorem (Graph Minor Theorem, Robertson and Seymour, XX)
Any minor closed class of graphs is defined by a finite list of forbidden minors
With an important consequence (among many others):
Corollary
If C is a minor closed class, then there exists a polynomial time algorithm todecide if an input graph belongs to C.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 24 / 121
![Page 48: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/48.jpg)
Minor Closed Classes
QuestionWhat are the families defined by finitely many forbidden minors?
A trivial fact is that such families are closed under minors (every minor of agraph in the family is in the family).
In a monumental work (>700 pages of proof, Graph Minors I-II-III-...-XXV),Robertson and Seymour solved a conjecture of Wagner from 1937 saying thatthis is sufficient.
Theorem (Graph Minor Theorem, Robertson and Seymour, XX)
Any minor closed class of graphs is defined by a finite list of forbidden minors
With an important consequence (among many others):
Corollary
If C is a minor closed class, then there exists a polynomial time algorithm todecide if an input graph belongs to C.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 24 / 121
![Page 49: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/49.jpg)
Minor Closed Classes
QuestionWhat are the families defined by finitely many forbidden minors?
A trivial fact is that such families are closed under minors (every minor of agraph in the family is in the family).
In a monumental work (>700 pages of proof, Graph Minors I-II-III-...-XXV),Robertson and Seymour solved a conjecture of Wagner from 1937 saying thatthis is sufficient.
Theorem (Graph Minor Theorem, Robertson and Seymour, XX)
Any minor closed class of graphs is defined by a finite list of forbidden minors
With an important consequence (among many others):
Corollary
If C is a minor closed class, then there exists a polynomial time algorithm todecide if an input graph belongs to C.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 24 / 121
![Page 50: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/50.jpg)
Minor Closed Classes
QuestionWhat are the families defined by finitely many forbidden minors?
A trivial fact is that such families are closed under minors (every minor of agraph in the family is in the family).
In a monumental work (>700 pages of proof, Graph Minors I-II-III-...-XXV),Robertson and Seymour solved a conjecture of Wagner from 1937 saying thatthis is sufficient.
Theorem (Graph Minor Theorem, Robertson and Seymour, XX)
Any minor closed class of graphs is defined by a finite list of forbidden minors
With an important consequence (among many others):
Corollary
If C is a minor closed class, then there exists a polynomial time algorithm todecide if an input graph belongs to C.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 24 / 121
![Page 51: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/51.jpg)
Minor Closed Classes
QuestionWhat are the families defined by finitely many forbidden minors?
A trivial fact is that such families are closed under minors (every minor of agraph in the family is in the family).
In a monumental work (>700 pages of proof, Graph Minors I-II-III-...-XXV),Robertson and Seymour solved a conjecture of Wagner from 1937 saying thatthis is sufficient.
Theorem (Graph Minor Theorem, Robertson and Seymour, XX)
Any minor closed class of graphs is defined by a finite list of forbidden minors
With an important consequence (among many others):
Corollary
If C is a minor closed class, then there exists a polynomial time algorithm todecide if an input graph belongs to C.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 24 / 121
![Page 52: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/52.jpg)
Exercises
Exercice 10
Prove that the following problems are solvable in time O(f (k)n3
).
k-Feedback vertex setInput : A graph G .Output : TRUE if there exists k vertices in G that intersect every cycle of G .
k-Vertex CoverInput : A graph G .Output : TRUE if there exists a set S of at most k vertices in G such thatevery edge of G is incident to at least one vertex of S .
k-leaf Spanning TreeInput : A graph G .Output : TRUE if there exists in G a spanning tree T with at least k leaves.
HINT: Observe that for each of these problems, the set of TRUE instances isclosed under taking minor.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 25 / 121
![Page 53: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/53.jpg)
4 - Well Quasi Orders and Wagner Conjecture
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 26 / 121
![Page 54: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/54.jpg)
Introduction
In this section we will try to understand some of the ideas behind the proof ofWagner’s conjecture by proving similar but (much) easier results.
We first introduce the notion of well quasi order that gives an equivalent way tostate Wagner Conjecture.
Then we will prove a theorem due to Kruskal saying that trees are well quasiordered for the minor relation.
In the next section, we will explain through the notion of treewidth why KruskalTheorem and its proof is central in Robertson and Seymour’s proof.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 27 / 121
![Page 55: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/55.jpg)
Wagner’s Conjecture
Definition (Bounds)
For a given minor closed class C, a graph H is said to be a bound of C if H is notin C but every strict minor of H is.
Proposition
Let C be a minor closed class, and B be its (possibly infinite) set of bounds. ThenG ∈ C if and only if G does not contain any graph of B as a minorIn particular C = Forb4m(B). Moreover, B is the smallest set of graphs with thisproperty.
So Wagner’s conjecture is to prove that a set of bounds is always finite.
Observe that by definition the set of bounds forms an antichain of the minorpartial order: no bound is a minor of another bound.
Is it true that every antichain is finite?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 28 / 121
![Page 56: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/56.jpg)
Wagner’s Conjecture
Definition (Bounds)
For a given minor closed class C, a graph H is said to be a bound of C if H is notin C but every strict minor of H is.
Proposition
Let C be a minor closed class, and B be its (possibly infinite) set of bounds. ThenG ∈ C if and only if G does not contain any graph of B as a minorIn particular C = Forb4m(B). Moreover, B is the smallest set of graphs with thisproperty.
So Wagner’s conjecture is to prove that a set of bounds is always finite.
Observe that by definition the set of bounds forms an antichain of the minorpartial order: no bound is a minor of another bound.
Is it true that every antichain is finite?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 28 / 121
![Page 57: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/57.jpg)
Wagner’s Conjecture
Definition (Bounds)
For a given minor closed class C, a graph H is said to be a bound of C if H is notin C but every strict minor of H is.
Proposition
Let C be a minor closed class, and B be its (possibly infinite) set of bounds. ThenG ∈ C if and only if G does not contain any graph of B as a minorIn particular C = Forb4m(B). Moreover, B is the smallest set of graphs with thisproperty.
So Wagner’s conjecture is to prove that a set of bounds is always finite.
Observe that by definition the set of bounds forms an antichain of the minorpartial order: no bound is a minor of another bound.
Is it true that every antichain is finite?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 28 / 121
![Page 58: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/58.jpg)
Wagner’s Conjecture
Definition (Bounds)
For a given minor closed class C, a graph H is said to be a bound of C if H is notin C but every strict minor of H is.
Proposition
Let C be a minor closed class, and B be its (possibly infinite) set of bounds. ThenG ∈ C if and only if G does not contain any graph of B as a minorIn particular C = Forb4m(B). Moreover, B is the smallest set of graphs with thisproperty.
So Wagner’s conjecture is to prove that a set of bounds is always finite.
Observe that by definition the set of bounds forms an antichain of the minorpartial order: no bound is a minor of another bound.
Is it true that every antichain is finite?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 28 / 121
![Page 59: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/59.jpg)
Wagner’s Conjecture
Definition (Bounds)
For a given minor closed class C, a graph H is said to be a bound of C if H is notin C but every strict minor of H is.
Proposition
Let C be a minor closed class, and B be its (possibly infinite) set of bounds. ThenG ∈ C if and only if G does not contain any graph of B as a minorIn particular C = Forb4m(B). Moreover, B is the smallest set of graphs with thisproperty.
So Wagner’s conjecture is to prove that a set of bounds is always finite.
Observe that by definition the set of bounds forms an antichain of the minorpartial order: no bound is a minor of another bound.
Is it true that every antichain is finite?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 28 / 121
![Page 60: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/60.jpg)
Wagner’s Conjecture - continued
Proposition
The following are equivalent :
Every minor closed class has a finite set of bounds
There is no infinite antichain for the minor relation
Definition
A partial order 4 defined on a set X is a well quasi order (WQO) if there is noinfinite decreasing sequence and no infinite antichain.
Wagner’s conjecture is equivalent to say that the class of all graphs with theminor relation is a wqo.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 29 / 121
![Page 61: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/61.jpg)
Wagner’s Conjecture - continued
Proposition
The following are equivalent :
Every minor closed class has a finite set of bounds
There is no infinite antichain for the minor relation
Definition
A partial order 4 defined on a set X is a well quasi order (WQO) if there is noinfinite decreasing sequence and no infinite antichain.
Wagner’s conjecture is equivalent to say that the class of all graphs with theminor relation is a wqo.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 29 / 121
![Page 62: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/62.jpg)
Exercises on well quasi ordering
Exercice 11For each of these, say if it is a wqo.
(N,6).
(R,6).
(N2,4) where (x , y) 4 (x ′y ′) iff (x 4 x ′ and y 4 y ′),
(G,⊆i ) where G is the class of all graphs (recall that H ⊆i G means H is aninduce subgraph of G ).
Finite trees ordered by subgraph relation.
(G,4) where G 4 H if G topological minor of H
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 30 / 121
![Page 63: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/63.jpg)
Dealing with wqo: a first tool
Proposition
Let (X ,4) be a partially ordered set and (xi )i∈N be any sequence. Then thissequence has an infinite subsequence that is either increasing, or decreasing or anantichain.
Corollary
Let (X ,4) be a partially ordered set. The three assertions are equivalent
1 (X ,4) is a wqo.
2 from every sequence (xi )i∈N one can extract an infinite increasingsubsequence.
3 from every sequence (xi )i∈N one can extract i < j such that xi 4 xj .
This will be useful: in order to prove that a given partial order is a wqo, we willonly prove the third statement, but when we use the fact that an order is a wqo(for example in a proof by induction), we can use the second statement which is(in appearance) much stronger.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 31 / 121
![Page 64: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/64.jpg)
Dealing with wqo: a first tool
Proposition
Let (X ,4) be a partially ordered set and (xi )i∈N be any sequence. Then thissequence has an infinite subsequence that is either increasing, or decreasing or anantichain.
Corollary
Let (X ,4) be a partially ordered set. The three assertions are equivalent
1 (X ,4) is a wqo.
2 from every sequence (xi )i∈N one can extract an infinite increasingsubsequence.
3 from every sequence (xi )i∈N one can extract i < j such that xi 4 xj .
This will be useful: in order to prove that a given partial order is a wqo, we willonly prove the third statement, but when we use the fact that an order is a wqo(for example in a proof by induction), we can use the second statement which is(in appearance) much stronger.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 31 / 121
![Page 65: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/65.jpg)
Second tool: extending a partial order
Let (X ,≤) be a partial order. For finite subsets A,B ⊂ X , write A 4 B if there isan injective mapping f : A→ B such that a ≤ f (a) for all a ∈ A.
This naturally extends ≤ to a partial order on [X ]ω, the set of all finite subsets ofX .
Lemma
If X is a WQO, then so is [X ]ω.
Proof [see Diestel, Lemma 12.1.3]: Main idea: start with a “minimum”infinite antichain.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 32 / 121
![Page 66: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/66.jpg)
Second tool: extending a partial order
Let (X ,≤) be a partial order. For finite subsets A,B ⊂ X , write A 4 B if there isan injective mapping f : A→ B such that a ≤ f (a) for all a ∈ A.
This naturally extends ≤ to a partial order on [X ]ω, the set of all finite subsets ofX .
Lemma
If X is a WQO, then so is [X ]ω.
Proof [see Diestel, Lemma 12.1.3]: Main idea: start with a “minimum”infinite antichain.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 32 / 121
![Page 67: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/67.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 68: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/68.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 69: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/69.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 70: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/70.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 71: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/71.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 72: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/72.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 73: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/73.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 74: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/74.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 75: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/75.jpg)
Proof sketch
Assume for contradiction that [X ]w has an infinite antichain.
We start by constructing a bad sequence (An)n∈N as follows:
Assume inductively that Ai has been defined for every i < n, and that thereexists a bad sequence in [X ]w starting with A0, . . . ,An−1.
Choose An such that some bad sequence starts with (A0, . . . ,An−1,An) and|An| is minimum with this property.
For each n, pick en element an ∈ An, and set Bn = An \ an.
Since X is wqo, (an)n∈N has an infinite increasing subsequence (ani )i∈N
Now look at sequence (A0, . . . ,An0−1,Bn0 ,Bn1 , . . . ).
By the the minimal choice of An, it is not a bad sequence.
Conclude.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 33 / 121
![Page 76: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/76.jpg)
The graph minor theorem for trees
Theorem (Kruskal 1960)
The finite trees are WQO by the topological minor relation, i.e. for every infinitesequence of trees T0,T1, . . . , there exists i < j such that Ti 4t Tj .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 34 / 121
![Page 77: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/77.jpg)
Proof
Let T1 and T2 be two rooted trees. We say that T1 ≤ T2 if there is a subdivisionof T1 that can be embedded into T2 so that the root of T1 is mapped onto theroot of T2.
We are going to prove (on board) that the set of tree is wqo by ≤ (which isslightly stronger than the announced result).
Reinhart Diestel
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 35 / 121
![Page 78: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/78.jpg)
5 - TreeWidth
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 36 / 121
![Page 79: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/79.jpg)
Treewidth
We proved (Kruskal Theorem) that Wagner conjecture holds for trees. Somaybe we can use the same ideas to prove Wagner conjecture for graphs thatlook like trees. So we would like a notion that measure how much a graphlooks like a tree.
Moreover, since it is easy to compute on trees, it should be easy to computeon graphs that “looks like” trees.
This is achieved by the notion of Treewidth which is a notion of“treelikeness”. In other words it measures how much a graph look like a tree.
You can understand it like this: if a graph has treewidth 5, then it is atdistance 5 from being a tree. Or it is a tree of width 5.
The goal of this section is to introduce treewidth, tree decomposition, and toextend Kruskal Theorem to graphs with bounded treewidth (no proof), lookat graphs of treewidth at most 3.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 37 / 121
![Page 80: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/80.jpg)
Treewidth
We proved (Kruskal Theorem) that Wagner conjecture holds for trees. Somaybe we can use the same ideas to prove Wagner conjecture for graphs thatlook like trees. So we would like a notion that measure how much a graphlooks like a tree.
Moreover, since it is easy to compute on trees, it should be easy to computeon graphs that “looks like” trees.
This is achieved by the notion of Treewidth which is a notion of“treelikeness”. In other words it measures how much a graph look like a tree.
You can understand it like this: if a graph has treewidth 5, then it is atdistance 5 from being a tree. Or it is a tree of width 5.
The goal of this section is to introduce treewidth, tree decomposition, and toextend Kruskal Theorem to graphs with bounded treewidth (no proof), lookat graphs of treewidth at most 3.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 37 / 121
![Page 81: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/81.jpg)
Treewidth
We proved (Kruskal Theorem) that Wagner conjecture holds for trees. Somaybe we can use the same ideas to prove Wagner conjecture for graphs thatlook like trees. So we would like a notion that measure how much a graphlooks like a tree.
Moreover, since it is easy to compute on trees, it should be easy to computeon graphs that “looks like” trees.
This is achieved by the notion of Treewidth which is a notion of“treelikeness”. In other words it measures how much a graph look like a tree.
You can understand it like this: if a graph has treewidth 5, then it is atdistance 5 from being a tree. Or it is a tree of width 5.
The goal of this section is to introduce treewidth, tree decomposition, and toextend Kruskal Theorem to graphs with bounded treewidth (no proof), lookat graphs of treewidth at most 3.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 37 / 121
![Page 82: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/82.jpg)
Treewidth
We proved (Kruskal Theorem) that Wagner conjecture holds for trees. Somaybe we can use the same ideas to prove Wagner conjecture for graphs thatlook like trees. So we would like a notion that measure how much a graphlooks like a tree.
Moreover, since it is easy to compute on trees, it should be easy to computeon graphs that “looks like” trees.
This is achieved by the notion of Treewidth which is a notion of“treelikeness”. In other words it measures how much a graph look like a tree.
You can understand it like this: if a graph has treewidth 5, then it is atdistance 5 from being a tree. Or it is a tree of width 5.
The goal of this section is to introduce treewidth, tree decomposition, and toextend Kruskal Theorem to graphs with bounded treewidth (no proof), lookat graphs of treewidth at most 3.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 37 / 121
![Page 83: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/83.jpg)
How much a graph look like a tree
How can we measure how much a graph look like a tree?
1 Number of cycles is bounded
2 The number of vertices we need to remove to get a tree is bounded.
3 Bounded-size parts connected in a treelike way.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 38 / 121
![Page 84: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/84.jpg)
How much a graph look like a tree
How can we measure how much a graph look like a tree?
1 Number of cycles is bounded
2 The number of vertices we need to remove to get a tree is bounded.
3 Bounded-size parts connected in a treelike way.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 38 / 121
![Page 85: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/85.jpg)
How much a graph look like a tree
How can we measure how much a graph look like a tree?
1 Number of cycles is bounded
2 The number of vertices we need to remove to get a tree is bounded.
3 Bounded-size parts connected in a treelike way.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 38 / 121
![Page 86: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/86.jpg)
How much a graph look like a tree
How can we measure how much a graph look like a tree?
1 Number of cycles is bounded
2 The number of vertices we need to remove to get a tree is bounded.
3 Bounded-size parts connected in a treelike way.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 38 / 121
![Page 87: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/87.jpg)
Definition of a tree decomposition and of treewidth
Let G be a graph. A tree decomposition of G is a pair (T ,W ), where T is atree and W = (Wt)t∈V (T ) a collection of subsets of V (G ) indexed on V (T )satisfying :
(T1) For every v ∈ V (G ), there exists t ∈ V (T ) such that v ∈Wt
- every vertex is in some bag -
(T2) For every edge uv ∈ E (G ), there exists t ∈ V (T ) such that u, v ∈Wt
- every edge is in a bag -
(T3) For every u ∈ V (G ), Tu = t ∈ V (T ) , u ∈Wt induces a connectedsubgraph of T .
The width of a tree decomposition is maxt∈V (T )(|Wt | − 1)
The tree width of a graph G , denoted tw(G), is the minimum width of a treedecomposition of G .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 39 / 121
![Page 88: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/88.jpg)
Equivalent definitions of tree decomposition
Definition 2: a tree decomposition of G is a tree T along with a collection ofsubtrees Tv , one for each vertex of G , with the condition that Tu and Tv intersectif uv is an edge of G .
Definition 3: replace property (T3) by the following:
(T3) Vt1 ∩ Vt3 ⊆ Vt2 whenever t1, t2, t3 ∈ V (T ) satisfy t2 ∈ t1Tt3 (where t1Tt3denote the unique path linking t1 and t3 in T ).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 40 / 121
![Page 89: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/89.jpg)
Example of a tree decomposition
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 41 / 121
![Page 90: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/90.jpg)
Example of a tree decomposition
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 42 / 121
![Page 91: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/91.jpg)
Helly Property
Here is a key lemma regarding subtrees intersection; by analogy with Helly’sTheorem on convex subsets of Rd , this property is often called Helly property forsubtrees of a tree.
LemmaLet T be a collection of pairwise intersecting subtrees of a given tree T . Then∩T∈FT 6= ∅.
Corollary
Let G be a graph and K be a complete subgraph of G . In any tree decomposition(T ,W ) of G , there exists a vertex t of T such that K ⊆Wt .in particular, tw(G ) ≥ ω(G )− 1
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 43 / 121
![Page 92: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/92.jpg)
Helly Property
Here is a key lemma regarding subtrees intersection; by analogy with Helly’sTheorem on convex subsets of Rd , this property is often called Helly property forsubtrees of a tree.
LemmaLet T be a collection of pairwise intersecting subtrees of a given tree T . Then∩T∈FT 6= ∅.
Corollary
Let G be a graph and K be a complete subgraph of G . In any tree decomposition(T ,W ) of G , there exists a vertex t of T such that K ⊆Wt .in particular, tw(G ) ≥ ω(G )− 1
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 43 / 121
![Page 93: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/93.jpg)
A first lower bound on tree-width
Proposition
For every graph G , there exists a tree decomposition of width tw(G ) such that forevery edge st ∈ E (T ), Ws 6⊂Wt and Wt 6⊂Ws . In particular, for every leaff ∈ V (T ), there exists a vertex u ∈ V (G ) such that Tu = f .Such a tree decomposition is called irreducible.
Theorem
In every graph G , there exists a vertex of degree at most tw(G ), i.e.δ(G ) ≤ tw(G ).
Corollary
The class of graph with treewidth at most k is k-degenerated.Hence, for all graphs G , χ(G ) ≤ tw(G ) + 1.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 44 / 121
![Page 94: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/94.jpg)
A first lower bound on tree-width
Proposition
For every graph G , there exists a tree decomposition of width tw(G ) such that forevery edge st ∈ E (T ), Ws 6⊂Wt and Wt 6⊂Ws . In particular, for every leaff ∈ V (T ), there exists a vertex u ∈ V (G ) such that Tu = f .Such a tree decomposition is called irreducible.
Theorem
In every graph G , there exists a vertex of degree at most tw(G ), i.e.δ(G ) ≤ tw(G ).
Corollary
The class of graph with treewidth at most k is k-degenerated.Hence, for all graphs G , χ(G ) ≤ tw(G ) + 1.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 44 / 121
![Page 95: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/95.jpg)
Separation property of tree decompositions
The following is an easy but fundamental result. It says that a tree decompositiontransfers the separation properties of the tree to the decomposed graph.
Proposition
Let (T ,W ) be a tree decomposition of G and t1t2 be an edge of T and letS = Wt1 ∩Wt2 . For i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S). Then S is acutset of G separating G1 from G2.
Or equivalently
Theorem
If H is a connected subgraph of G , then for any tree decomposition (T ,W ) of G ,∪v∈V (H)Tv induces a subtree of T .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 45 / 121
![Page 96: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/96.jpg)
Separation property of tree decompositions
The following is an easy but fundamental result. It says that a tree decompositiontransfers the separation properties of the tree to the decomposed graph.
Proposition
Let (T ,W ) be a tree decomposition of G and t1t2 be an edge of T and letS = Wt1 ∩Wt2 . For i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S). Then S is acutset of G separating G1 from G2.
Or equivalently
Theorem
If H is a connected subgraph of G , then for any tree decomposition (T ,W ) of G ,∪v∈V (H)Tv induces a subtree of T .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 45 / 121
![Page 97: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/97.jpg)
Closure property
Proposition
Let G be a graph, v a vertex of G and e an edge of G .
tw(G \ e) ≤ tw(G )
tw(G \ v) ≤ tw(G )
tw(G/e) ≤ tw(G )
Proof:
for G \ e, do nothing
for G \ v , just remove v from every bag containing it.
for G/e, where e = uv : let w be the new vertex. Add w in every bagcontaining u or v , and delete every occurrence of u and v .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 46 / 121
![Page 98: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/98.jpg)
Treewidth and Minors
Proposition
If H is a minor of G , then tw(H) ≤ tw(G )
Corollary
The class of graphs of treewidth at most k is closed under taking minors.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 47 / 121
![Page 99: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/99.jpg)
Wagner’s conjecture for graphs with bounded tree-width
Graphs with bounded treewidth are sufficiently similar to trees that it becomespossible to adapt the proof of Kruskal Theorem to them.
Very roughly, one has to iterate the “minimal bad sequence” used in Kruskal prooftw(G ) times.
This takes us a step further towards a proof of the Graph Minor Theorem:
Theorem (Robertson and Seymour, IV)
For every integer k, the class of graphs with treewidth at most k is well quasiordered by the minor relation.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 48 / 121
![Page 100: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/100.jpg)
Bounds for graphs with treewidth at most 2
So, for every fixed k , the class G : tw(G ) 4 k has a finite number of bounds.
Let us try to describe the bounds for small values of k .
Theorem
tw(G ) ≤ 1⇔ G is a forest ⇔ G does not contain K3 as a minor⇔ G ∈ Forb4m(K4)
tw(G ) ≤ 2⇔ G does not contain K4 as a minor ⇔ G ∈ Forb4m(K4)
The first item is easy, let us prove the second.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 49 / 121
![Page 101: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/101.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 102: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/102.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 103: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/103.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 104: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/104.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 105: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/105.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 106: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/106.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 107: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/107.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.
If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 108: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/108.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 109: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/109.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 110: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/110.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 111: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/111.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 112: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/112.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 113: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/113.jpg)
Proof sketch:
If G contains K4 as a minor, then tw(G ) ≥ tw(K4) = 3. Sotw(G ) ≤ 2⇒ G ∈ Forb4m(K4).
Let G ∈ Forb4m(K4) and let us prove that tw(G ) ≤ 2. We proceed byinduction on V (G ).
So every proper induced subgraph of G has treewidth at most 2.
Prove first that every 3-connected graph contains K4 as a minor (Use MengerTheorem).
So we may assume that G has a cutset of size S at most 2.
If S is of size 1, conclude.
Assume S = a, b.If ab /∈ E (G ), then add ab to G and prove that this does not create aK4-minor.
So now S is a clique (we call that a clique cutset).
Let C1 be a connected component of G \ S and C2 = G \ (S ∪ C1).
For i = 1, 2, set Gi = G [Ci ∪ S ] (The Gi are often called blockdecomposition). By minimality of G , tw(Gi ) 4 2.
Take a tree decomposition of G1 and G2 of width at most 2 and link a bag ofG1 containing ab to a bag of G2 containing ab.
Prove that this is a tree decomposition of G of width 2.Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 50 / 121
![Page 114: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/114.jpg)
Bounds for graphs with treewidth at most 2
Theorem
tw(G ) ≤ 1⇔ G ∈ Forb4m(K3)
tw(G ) ≤ 2⇔ G ∈ Forb4m(K4)
The proof for tw(G ) = 2 shows the role of separators with treewidth.
One could hope for a general result of the type:
tw(G ) ≤ k iff G ∈ Forb4m(Kk+2) FALSE
There exists graph with no K5 minor with arbitrarily large treewidth.(As we will soon see, even planar graphs can have arbitrarily large treewidth).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 51 / 121
![Page 115: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/115.jpg)
Bounds for graphs with treewidth at most 2
Theorem
tw(G ) ≤ 1⇔ G ∈ Forb4m(K3)
tw(G ) ≤ 2⇔ G ∈ Forb4m(K4)
The proof for tw(G ) = 2 shows the role of separators with treewidth.
One could hope for a general result of the type:
tw(G ) ≤ k iff G ∈ Forb4m(Kk+2) FALSE
There exists graph with no K5 minor with arbitrarily large treewidth.(As we will soon see, even planar graphs can have arbitrarily large treewidth).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 51 / 121
![Page 116: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/116.jpg)
Bounds for graphs with treewidth at most 2
Theorem
tw(G ) ≤ 1⇔ G ∈ Forb4m(K3)
tw(G ) ≤ 2⇔ G ∈ Forb4m(K4)
The proof for tw(G ) = 2 shows the role of separators with treewidth.
One could hope for a general result of the type:
tw(G ) ≤ k iff G ∈ Forb4m(Kk+2) FALSE
There exists graph with no K5 minor with arbitrarily large treewidth.(As we will soon see, even planar graphs can have arbitrarily large treewidth).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 51 / 121
![Page 117: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/117.jpg)
Bounds for graphs with treewidth at most 3
Theorem
tw(G ) ≤ 3⇔ G does not contain one of the four following graphs as as a minor :K5,W8, O and C5 × K2.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 52 / 121
![Page 118: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/118.jpg)
Digression : Hadwiger Conjecture
We know that for every graph G :
ω(G ) ≤ χ(G ) ≤ tw(G ) + 1
ω(G ) ≤ ωm(G ) ≤ tw(G ) + 1
where ωm(G ) denotes the largest integer k such that G has a Kk minor.
Conjecture (Hadwiger)
For every graph G , χ(G ) ≤ ωm(G ).
For k = 2: ωm(G ) ≤ 2⇔ G is a forest ⇒ χ(G ) ≤ 2.
For k = 3: ωm(G ) ≤ 3⇔ tw(G ) ≤ 2⇒ χ(G ) ≤ 3 by the above inequalities.
For k = 4: ωm(G ) ≤ 4⇒ χ(G ) ≤ 4 contains the Four Colour Theorem sinceplanar graphs are K5-minor free. In fact it is equivalent (and hence true),thanks to a structural characterisation of graphs with no K5 minor due toWagner.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 53 / 121
![Page 119: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/119.jpg)
Digression : Hadwiger Conjecture
We know that for every graph G :
ω(G ) ≤ χ(G ) ≤ tw(G ) + 1
ω(G ) ≤ ωm(G ) ≤ tw(G ) + 1
where ωm(G ) denotes the largest integer k such that G has a Kk minor.
Conjecture (Hadwiger)
For every graph G , χ(G ) ≤ ωm(G ).
For k = 2: ωm(G ) ≤ 2⇔ G is a forest ⇒ χ(G ) ≤ 2.
For k = 3: ωm(G ) ≤ 3⇔ tw(G ) ≤ 2⇒ χ(G ) ≤ 3 by the above inequalities.
For k = 4: ωm(G ) ≤ 4⇒ χ(G ) ≤ 4 contains the Four Colour Theorem sinceplanar graphs are K5-minor free. In fact it is equivalent (and hence true),thanks to a structural characterisation of graphs with no K5 minor due toWagner.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 53 / 121
![Page 120: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/120.jpg)
Digression : Hadwiger Conjecture
We know that for every graph G :
ω(G ) ≤ χ(G ) ≤ tw(G ) + 1
ω(G ) ≤ ωm(G ) ≤ tw(G ) + 1
where ωm(G ) denotes the largest integer k such that G has a Kk minor.
Conjecture (Hadwiger)
For every graph G , χ(G ) ≤ ωm(G ).
For k = 2: ωm(G ) ≤ 2⇔ G is a forest ⇒ χ(G ) ≤ 2.
For k = 3: ωm(G ) ≤ 3⇔ tw(G ) ≤ 2⇒ χ(G ) ≤ 3 by the above inequalities.
For k = 4: ωm(G ) ≤ 4⇒ χ(G ) ≤ 4 contains the Four Colour Theorem sinceplanar graphs are K5-minor free. In fact it is equivalent (and hence true),thanks to a structural characterisation of graphs with no K5 minor due toWagner.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 53 / 121
![Page 121: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/121.jpg)
Digression : Hadwiger Conjecture
We know that for every graph G :
ω(G ) ≤ χ(G ) ≤ tw(G ) + 1
ω(G ) ≤ ωm(G ) ≤ tw(G ) + 1
where ωm(G ) denotes the largest integer k such that G has a Kk minor.
Conjecture (Hadwiger)
For every graph G , χ(G ) ≤ ωm(G ).
For k = 2: ωm(G ) ≤ 2⇔ G is a forest ⇒ χ(G ) ≤ 2.
For k = 3: ωm(G ) ≤ 3⇔ tw(G ) ≤ 2⇒ χ(G ) ≤ 3 by the above inequalities.
For k = 4: ωm(G ) ≤ 4⇒ χ(G ) ≤ 4 contains the Four Colour Theorem sinceplanar graphs are K5-minor free. In fact it is equivalent (and hence true),thanks to a structural characterisation of graphs with no K5 minor due toWagner.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 53 / 121
![Page 122: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/122.jpg)
Digression : Hadwiger Conjecture
We know that for every graph G :
ω(G ) ≤ χ(G ) ≤ tw(G ) + 1
ω(G ) ≤ ωm(G ) ≤ tw(G ) + 1
where ωm(G ) denotes the largest integer k such that G has a Kk minor.
Conjecture (Hadwiger)
For every graph G , χ(G ) ≤ ωm(G ).
For k = 2: ωm(G ) ≤ 2⇔ G is a forest ⇒ χ(G ) ≤ 2.
For k = 3: ωm(G ) ≤ 3⇔ tw(G ) ≤ 2⇒ χ(G ) ≤ 3 by the above inequalities.
For k = 4: ωm(G ) ≤ 4⇒ χ(G ) ≤ 4 contains the Four Colour Theorem sinceplanar graphs are K5-minor free. In fact it is equivalent (and hence true),thanks to a structural characterisation of graphs with no K5 minor due toWagner.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 53 / 121
![Page 123: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/123.jpg)
Theorem (Wagner, 1956)
G is K5-minor free if and only G is a subgraph of some graph built recursively byclique sums operation, starting from planar graphs and W8.
We will see later in the course that this theorem together with the 4-color theoremimplies Hadwiger conjecture for k = 5, that is
ωm(G ) ≤ 4⇒ χ(G ) ≤ 4
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 54 / 121
![Page 124: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/124.jpg)
Exercises on treewidth
Exercice 12
Prove that if H is a subdivision of G , then tw(H) = tw(G )
The following exercise says that classes of graphs with bounded treewidth aresparse.
Exercice 13Show that graphs G of treewidth at most k with k ≥ 1 have strictly less thank |V (G )| edges.
Next exercise is very important to design algorithm based on the treedecomposition.
Exercice 14
Show that every graph G admits a tree decomposition of width tw(G ) with atmost |V (G )| bags.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 55 / 121
![Page 125: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/125.jpg)
Exercises on treewidth
Exercice 15Determine the treewidth of a path, a tree, a complete graph, a complete bipartitegraph, the cube.
Exercice 16
Prove that if G contains (as a subgraph) a complete bipartite graph with parts Aand B, then in every tree decomposition there exists a bag that contains A or abag that contains B.
Exercice 17Prove that if x and y are two vertices that are joined by k + 1 internally vertexdisjoints paths, then in every tree decomposition of G of width at most k, thereexists a bag containing both x and y .
Exercice 18
Prove that if G is K2,3-minor-free then tw(G ) ≤ 3.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 56 / 121
![Page 126: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/126.jpg)
Treewidth also plays a crucial role in algorithmic, we’llcome back to it.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 57 / 121
![Page 127: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/127.jpg)
6 - Brambles - Duality - Cops and Robbers
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 58 / 121
![Page 128: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/128.jpg)
In the previous section, we have seen that Wagner Conjecture holds for class ofgraphs with bounded treewidth.
To make a proof of the general case, we should be able to say stuff about thegraphs it does not cover, i.e. to deduce informations about a graph from theassumption it has large treewidth.
The main theorem of this section achieves that: it identifies a canonicalobstruction to small treewidth, a structural phenomenon that occurs in a graph ifand only if it has large treewidth.
This phenomenon is called Bramble.
(In reality, it is mainly used to get certificate on the value of the treewidth of agraph, the notion of tangle is used as an obstruction for large treewidth, but wewon’t see it during this class).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 59 / 121
![Page 129: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/129.jpg)
In the previous section, we have seen that Wagner Conjecture holds for class ofgraphs with bounded treewidth.
To make a proof of the general case, we should be able to say stuff about thegraphs it does not cover, i.e. to deduce informations about a graph from theassumption it has large treewidth.
The main theorem of this section achieves that: it identifies a canonicalobstruction to small treewidth, a structural phenomenon that occurs in a graph ifand only if it has large treewidth.
This phenomenon is called Bramble.(In reality, it is mainly used to get certificate on the value of the treewidth of agraph, the notion of tangle is used as an obstruction for large treewidth, but wewon’t see it during this class).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 59 / 121
![Page 130: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/130.jpg)
Bramble
DefinitionWe say that two connected subgraphs of G touch if they have non emptyintersection or if they are joined by an edge.
A bramble of G is a collection B of connected subgraphs that are pairwisetouching.
A transversal of a bramble B is a set of vertices of G that has non emptyintersection with each element of B.
The order of a bramble B is the minimum size of a transversal of B.
The bramble number of G , denoted bn(G ), is the maximum order of abramble of G .
Note that if G contains Kp as a minor, then the connected subgraphs of aKp-model of G form a bramble (no intersection, just touching) of order p.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 60 / 121
![Page 131: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/131.jpg)
Bramble
DefinitionWe say that two connected subgraphs of G touch if they have non emptyintersection or if they are joined by an edge.
A bramble of G is a collection B of connected subgraphs that are pairwisetouching.
A transversal of a bramble B is a set of vertices of G that has non emptyintersection with each element of B.
The order of a bramble B is the minimum size of a transversal of B.
The bramble number of G , denoted bn(G ), is the maximum order of abramble of G .
Note that if G contains Kp as a minor, then the connected subgraphs of aKp-model of G form a bramble (no intersection, just touching) of order p.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 60 / 121
![Page 132: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/132.jpg)
Bramble
DefinitionWe say that two connected subgraphs of G touch if they have non emptyintersection or if they are joined by an edge.
A bramble of G is a collection B of connected subgraphs that are pairwisetouching.
A transversal of a bramble B is a set of vertices of G that has non emptyintersection with each element of B.
The order of a bramble B is the minimum size of a transversal of B.
The bramble number of G , denoted bn(G ), is the maximum order of abramble of G .
Note that if G contains Kp as a minor, then the connected subgraphs of aKp-model of G form a bramble (no intersection, just touching) of order p.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 60 / 121
![Page 133: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/133.jpg)
Bramble
DefinitionWe say that two connected subgraphs of G touch if they have non emptyintersection or if they are joined by an edge.
A bramble of G is a collection B of connected subgraphs that are pairwisetouching.
A transversal of a bramble B is a set of vertices of G that has non emptyintersection with each element of B.
The order of a bramble B is the minimum size of a transversal of B.
The bramble number of G , denoted bn(G ), is the maximum order of abramble of G .
Note that if G contains Kp as a minor, then the connected subgraphs of aKp-model of G form a bramble (no intersection, just touching) of order p.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 60 / 121
![Page 134: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/134.jpg)
Bramble
DefinitionWe say that two connected subgraphs of G touch if they have non emptyintersection or if they are joined by an edge.
A bramble of G is a collection B of connected subgraphs that are pairwisetouching.
A transversal of a bramble B is a set of vertices of G that has non emptyintersection with each element of B.
The order of a bramble B is the minimum size of a transversal of B.
The bramble number of G , denoted bn(G ), is the maximum order of abramble of G .
Note that if G contains Kp as a minor, then the connected subgraphs of aKp-model of G form a bramble (no intersection, just touching) of order p.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 60 / 121
![Page 135: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/135.jpg)
Bramble
DefinitionWe say that two connected subgraphs of G touch if they have non emptyintersection or if they are joined by an edge.
A bramble of G is a collection B of connected subgraphs that are pairwisetouching.
A transversal of a bramble B is a set of vertices of G that has non emptyintersection with each element of B.
The order of a bramble B is the minimum size of a transversal of B.
The bramble number of G , denoted bn(G ), is the maximum order of abramble of G .
Note that if G contains Kp as a minor, then the connected subgraphs of aKp-model of G form a bramble (no intersection, just touching) of order p.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 60 / 121
![Page 136: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/136.jpg)
Bramble
DefinitionWe say that two connected subgraphs of G touch if they have non emptyintersection or if they are joined by an edge.
A bramble of G is a collection B of connected subgraphs that are pairwisetouching.
A transversal of a bramble B is a set of vertices of G that has non emptyintersection with each element of B.
The order of a bramble B is the minimum size of a transversal of B.
The bramble number of G , denoted bn(G ), is the maximum order of abramble of G .
Note that if G contains Kp as a minor, then the connected subgraphs of aKp-model of G form a bramble (no intersection, just touching) of order p.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 60 / 121
![Page 137: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/137.jpg)
A Bramble
A bramble of order 4 of G3,3:
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 61 / 121
![Page 138: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/138.jpg)
Duality Theorem I
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Proof sketch: (main idea: usual ”orientation of edges of the treedecomposition”.)
For each edge t1t2, if S = Wt1 ∩Wt2 intersects all sets of the bramble, we aredone.
Otherwise, for i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S).
We know that S is a cutset of G separating G1 from G2.
If B ∈ B does not intersect S , then there is i ∈ 1, 2 such that B ⊆ Gi .
Moreover, since S is a cutset separating G1 from G2, all such B are containdin the same Gi .
Orient the edge t1t2 toward ti . Hence, we may assume that all edges of thetree deomposition has an orientation.
The last vertex t of a maximal directed is a sink (no arc is oriented towardit), Wt is a transversal of B.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 62 / 121
![Page 139: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/139.jpg)
Duality Theorem I
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Proof sketch: (main idea: usual ”orientation of edges of the treedecomposition”.)
For each edge t1t2, if S = Wt1 ∩Wt2 intersects all sets of the bramble, we aredone.
Otherwise, for i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S).
We know that S is a cutset of G separating G1 from G2.
If B ∈ B does not intersect S , then there is i ∈ 1, 2 such that B ⊆ Gi .
Moreover, since S is a cutset separating G1 from G2, all such B are containdin the same Gi .
Orient the edge t1t2 toward ti . Hence, we may assume that all edges of thetree deomposition has an orientation.
The last vertex t of a maximal directed is a sink (no arc is oriented towardit), Wt is a transversal of B.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 62 / 121
![Page 140: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/140.jpg)
Duality Theorem I
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Proof sketch: (main idea: usual ”orientation of edges of the treedecomposition”.)
For each edge t1t2, if S = Wt1 ∩Wt2 intersects all sets of the bramble, we aredone.
Otherwise, for i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S).
We know that S is a cutset of G separating G1 from G2.
If B ∈ B does not intersect S , then there is i ∈ 1, 2 such that B ⊆ Gi .
Moreover, since S is a cutset separating G1 from G2, all such B are containdin the same Gi .
Orient the edge t1t2 toward ti . Hence, we may assume that all edges of thetree deomposition has an orientation.
The last vertex t of a maximal directed is a sink (no arc is oriented towardit), Wt is a transversal of B.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 62 / 121
![Page 141: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/141.jpg)
Duality Theorem I
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Proof sketch: (main idea: usual ”orientation of edges of the treedecomposition”.)
For each edge t1t2, if S = Wt1 ∩Wt2 intersects all sets of the bramble, we aredone.
Otherwise, for i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S).
We know that S is a cutset of G separating G1 from G2.
If B ∈ B does not intersect S , then there is i ∈ 1, 2 such that B ⊆ Gi .
Moreover, since S is a cutset separating G1 from G2, all such B are containdin the same Gi .
Orient the edge t1t2 toward ti . Hence, we may assume that all edges of thetree deomposition has an orientation.
The last vertex t of a maximal directed is a sink (no arc is oriented towardit), Wt is a transversal of B.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 62 / 121
![Page 142: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/142.jpg)
Duality Theorem I
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Proof sketch: (main idea: usual ”orientation of edges of the treedecomposition”.)
For each edge t1t2, if S = Wt1 ∩Wt2 intersects all sets of the bramble, we aredone.
Otherwise, for i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S).
We know that S is a cutset of G separating G1 from G2.
If B ∈ B does not intersect S , then there is i ∈ 1, 2 such that B ⊆ Gi .
Moreover, since S is a cutset separating G1 from G2, all such B are containdin the same Gi .
Orient the edge t1t2 toward ti . Hence, we may assume that all edges of thetree deomposition has an orientation.
The last vertex t of a maximal directed is a sink (no arc is oriented towardit), Wt is a transversal of B.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 62 / 121
![Page 143: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/143.jpg)
Duality Theorem I
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Proof sketch: (main idea: usual ”orientation of edges of the treedecomposition”.)
For each edge t1t2, if S = Wt1 ∩Wt2 intersects all sets of the bramble, we aredone.
Otherwise, for i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S).
We know that S is a cutset of G separating G1 from G2.
If B ∈ B does not intersect S , then there is i ∈ 1, 2 such that B ⊆ Gi .
Moreover, since S is a cutset separating G1 from G2, all such B are containdin the same Gi .
Orient the edge t1t2 toward ti . Hence, we may assume that all edges of thetree deomposition has an orientation.
The last vertex t of a maximal directed is a sink (no arc is oriented towardit), Wt is a transversal of B.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 62 / 121
![Page 144: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/144.jpg)
Duality Theorem I
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Proof sketch: (main idea: usual ”orientation of edges of the treedecomposition”.)
For each edge t1t2, if S = Wt1 ∩Wt2 intersects all sets of the bramble, we aredone.
Otherwise, for i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S).
We know that S is a cutset of G separating G1 from G2.
If B ∈ B does not intersect S , then there is i ∈ 1, 2 such that B ⊆ Gi .
Moreover, since S is a cutset separating G1 from G2, all such B are containdin the same Gi .
Orient the edge t1t2 toward ti . Hence, we may assume that all edges of thetree deomposition has an orientation.
The last vertex t of a maximal directed is a sink (no arc is oriented towardit), Wt is a transversal of B.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 62 / 121
![Page 145: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/145.jpg)
Duality Theorem I
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Proof sketch: (main idea: usual ”orientation of edges of the treedecomposition”.)
For each edge t1t2, if S = Wt1 ∩Wt2 intersects all sets of the bramble, we aredone.
Otherwise, for i = 1, 2, denote by Ti the connected component of T \ t1t2containing ti , and Gi the subgraph of G induced by ∪t∈Ti (Wt \ S).
We know that S is a cutset of G separating G1 from G2.
If B ∈ B does not intersect S , then there is i ∈ 1, 2 such that B ⊆ Gi .
Moreover, since S is a cutset separating G1 from G2, all such B are containdin the same Gi .
Orient the edge t1t2 toward ti . Hence, we may assume that all edges of thetree deomposition has an orientation.
The last vertex t of a maximal directed is a sink (no arc is oriented towardit), Wt is a transversal of B.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 62 / 121
![Page 146: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/146.jpg)
Duality Theorem II
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Therefore bn(G ) ≤ tw(G ) + 1.I other words, if B is a bramble of G , then tw(G ) + 1 is at least the order of B
The converse inequality is true but harder to prove.It gives the following sort of minmax theorem (in fact maxmin=minmax).
Theorem (Seymour and Thomas, 1993)
For every graph G , bn(G ) = tw(G ) + 1
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 63 / 121
![Page 147: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/147.jpg)
Duality Theorem II
Proposition
If (T ,W ) is a tree decomposition of G and B is a bramble in G , then there existst ∈ T such that Wt is a transversal of B
Therefore bn(G ) ≤ tw(G ) + 1.I other words, if B is a bramble of G , then tw(G ) + 1 is at least the order of B
The converse inequality is true but harder to prove.It gives the following sort of minmax theorem (in fact maxmin=minmax).
Theorem (Seymour and Thomas, 1993)
For every graph G , bn(G ) = tw(G ) + 1
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 63 / 121
![Page 148: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/148.jpg)
What is the treewidth of the grid?
Proposition
Prove that the treewidth of the grid Gn,n is equal to n.
To prove that tw(Gn,n) ≤ n, find a tree decomposition (actually you can finda path decomposition) of width n.
To prove that tw(Gn,n) ≥ n, it is enough to find a bramble of order n + 1.
It is easy to check that the following is a bramble of order n + 1:I A = xi,1, 1 ≤ i ≤ n, the last row,I B = x1,j , 1 ≤ j < n the last column minus its last element,I Cij = xkj , 1 ≤ k < n ∪ xik , 1 ≤ k < n, (crosses minus the last element
of row and column).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 64 / 121
![Page 149: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/149.jpg)
What is the treewidth of the grid?
Proposition
Prove that the treewidth of the grid Gn,n is equal to n.
To prove that tw(Gn,n) ≤ n, find a tree decomposition (actually you can finda path decomposition) of width n.
To prove that tw(Gn,n) ≥ n, it is enough to find a bramble of order n + 1.
It is easy to check that the following is a bramble of order n + 1:I A = xi,1, 1 ≤ i ≤ n, the last row,I B = x1,j , 1 ≤ j < n the last column minus its last element,I Cij = xkj , 1 ≤ k < n ∪ xik , 1 ≤ k < n, (crosses minus the last element
of row and column).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 64 / 121
![Page 150: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/150.jpg)
What is the treewidth of the grid?
Proposition
Prove that the treewidth of the grid Gn,n is equal to n.
To prove that tw(Gn,n) ≤ n, find a tree decomposition (actually you can finda path decomposition) of width n.
To prove that tw(Gn,n) ≥ n, it is enough to find a bramble of order n + 1.
It is easy to check that the following is a bramble of order n + 1:I A = xi,1, 1 ≤ i ≤ n, the last row,I B = x1,j , 1 ≤ j < n the last column minus its last element,I Cij = xkj , 1 ≤ k < n ∪ xik , 1 ≤ k < n, (crosses minus the last element
of row and column).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 64 / 121
![Page 151: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/151.jpg)
A Game of Cops and Robber
2 player game on a graph: one controls the Robber, the other control Cops
Goal of the cops is to capture the robber
Many variants exist
In our variant :
cops and robbers are standing on vertices of the graph
at each turn a fraction of the cops can move by helicopter and land on anyvertex of the graph.
The robber sees an helicopter approaching and can instantly move at infinitespeed to any other vertex along a path of a graph. The only constraint isthat he is not permitted to run through a vertex occupied by some cop.
The cops win if at some point they occupy all vertices adjacent to the position ofthe robber, and an extra cop lands by helicopter on the robber.
Definition
The cop number of a graph G , denoted cn(G ), is the smallest number of copsneeded to ensure the capture of the robber.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 65 / 121
![Page 152: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/152.jpg)
TreeDec = strategy for the cops
Proposition
cn(G ) ≤ tw(G ) + 1
Put every cop one the vertices of some bag Wt .
The robber, if it escapes has to be in some vertex appearing only in the bagsof some component of T \ t.
Let t ′ the neighbour of t in T in the direction of this component.
Wt ∩Wt′ separates the component containing he robber form the rest of thegraph.
At the next move, cops in Wt \Wt′ move to occupy all of Wt′ .
Cops apply this strategy until it reaches some leaf of the tree and the robbercannot escape.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 66 / 121
![Page 153: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/153.jpg)
TreeDec = strategy for the cops
Proposition
cn(G ) ≤ tw(G ) + 1
Put every cop one the vertices of some bag Wt .
The robber, if it escapes has to be in some vertex appearing only in the bagsof some component of T \ t.
Let t ′ the neighbour of t in T in the direction of this component.
Wt ∩Wt′ separates the component containing he robber form the rest of thegraph.
At the next move, cops in Wt \Wt′ move to occupy all of Wt′ .
Cops apply this strategy until it reaches some leaf of the tree and the robbercannot escape.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 66 / 121
![Page 154: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/154.jpg)
TreeDec = strategy for the cops
Proposition
cn(G ) ≤ tw(G ) + 1
Put every cop one the vertices of some bag Wt .
The robber, if it escapes has to be in some vertex appearing only in the bagsof some component of T \ t.
Let t ′ the neighbour of t in T in the direction of this component.
Wt ∩Wt′ separates the component containing he robber form the rest of thegraph.
At the next move, cops in Wt \Wt′ move to occupy all of Wt′ .
Cops apply this strategy until it reaches some leaf of the tree and the robbercannot escape.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 66 / 121
![Page 155: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/155.jpg)
TreeDec = strategy for the cops
Proposition
cn(G ) ≤ tw(G ) + 1
Put every cop one the vertices of some bag Wt .
The robber, if it escapes has to be in some vertex appearing only in the bagsof some component of T \ t.
Let t ′ the neighbour of t in T in the direction of this component.
Wt ∩Wt′ separates the component containing he robber form the rest of thegraph.
At the next move, cops in Wt \Wt′ move to occupy all of Wt′ .
Cops apply this strategy until it reaches some leaf of the tree and the robbercannot escape.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 66 / 121
![Page 156: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/156.jpg)
TreeDec = strategy for the cops
Proposition
cn(G ) ≤ tw(G ) + 1
Put every cop one the vertices of some bag Wt .
The robber, if it escapes has to be in some vertex appearing only in the bagsof some component of T \ t.
Let t ′ the neighbour of t in T in the direction of this component.
Wt ∩Wt′ separates the component containing he robber form the rest of thegraph.
At the next move, cops in Wt \Wt′ move to occupy all of Wt′ .
Cops apply this strategy until it reaches some leaf of the tree and the robbercannot escape.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 66 / 121
![Page 157: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/157.jpg)
TreeDec = strategy for the cops
Proposition
cn(G ) ≤ tw(G ) + 1
Put every cop one the vertices of some bag Wt .
The robber, if it escapes has to be in some vertex appearing only in the bagsof some component of T \ t.
Let t ′ the neighbour of t in T in the direction of this component.
Wt ∩Wt′ separates the component containing he robber form the rest of thegraph.
At the next move, cops in Wt \Wt′ move to occupy all of Wt′ .
Cops apply this strategy until it reaches some leaf of the tree and the robbercannot escape.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 66 / 121
![Page 158: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/158.jpg)
TreeDec = strategy for the cops
Proposition
cn(G ) ≤ tw(G ) + 1
Put every cop one the vertices of some bag Wt .
The robber, if it escapes has to be in some vertex appearing only in the bagsof some component of T \ t.
Let t ′ the neighbour of t in T in the direction of this component.
Wt ∩Wt′ separates the component containing he robber form the rest of thegraph.
At the next move, cops in Wt \Wt′ move to occupy all of Wt′ .
Cops apply this strategy until it reaches some leaf of the tree and the robbercannot escape.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 66 / 121
![Page 159: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/159.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 160: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/160.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 161: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/161.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 162: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/162.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.
The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 163: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/163.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 164: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/164.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 165: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/165.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.
During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 166: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/166.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 167: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/167.jpg)
Brambles = Strategy for the Robber
Proposition
bn(G ) ≤ cn(G )
Let B be a bramble of order bn(G ) and assume only bn(G )− 1 cops.
Let C be the set of initial positions of the cops.
By definition there exists a set X ∈ B such that X ∩ C = ∅.The robber moves to some vertex x ∈ X .
After that, the game really begins, cops move so that the new set occupiedby the cops is C ′.
Again there exists X ′ ∈ B such that X ′ ∩ C ′ = ∅.During their flight the only occupied vertices are C ∩ C ′ so X ∪ X ′ is entirelyfree of cops,
The robber can freely move from X to Y and this strategy can be applied forever.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 67 / 121
![Page 168: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/168.jpg)
7 - The Decomposition Paradigm
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 68 / 121
![Page 169: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/169.jpg)
Introduction
The decomposition Paradigm have lead to many difficult and important results.
It is used to describe a fixed class of graphs, say C.
The key is to describe how every graph of C can be constructed by gluing togethercertain basic graphs by a well defined composition rules.
The main result of the graph minor project is a (approximate) decompositiontheorem for Forb4m(Kk); observe that for every fixed graph H,
Forb4m(H) ⊆ Forb4m(K|V (H)|)
This section can be seen as an introduction to decomposition theorem, we willshow, among other things, a decomposition theorem for chordal graphs as well asfor graphs of bounded treewidth.
The next section will be dedicated to perfect graphs, an illustration of what isperhaps the most dramatic success of the decomposition method.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 69 / 121
![Page 170: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/170.jpg)
Clique cutsets and treewidth
Let G be a graph and S a set of vertices of G . G [S ] denotes the inducedsubgraphs of G induced by S .S is a cutset or separator of G if G \ S has at least two connected components.It is a clique cutset if S induces a clique (i.e. G [S ] is a clique).
The following say that we should be happy when a graph has a clique cutset.
Proposition
Let G be a graph with a clique cutset S and let (Xi )i∈I be the connectedcomponents of G \ S . Let Gi = G [Ci ∪ S ]. Then tw(G ) = maxi∈I (tw(Gi )).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 70 / 121
![Page 171: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/171.jpg)
Clique cutsets and treewidth
Let G be a graph and S a set of vertices of G . G [S ] denotes the inducedsubgraphs of G induced by S .S is a cutset or separator of G if G \ S has at least two connected components.It is a clique cutset if S induces a clique (i.e. G [S ] is a clique).
The following say that we should be happy when a graph has a clique cutset.
Proposition
Let G be a graph with a clique cutset S and let (Xi )i∈I be the connectedcomponents of G \ S . Let Gi = G [Ci ∪ S ]. Then tw(G ) = maxi∈I (tw(Gi )).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 70 / 121
![Page 172: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/172.jpg)
Exercises on clique cutsets
Exercice 19
Let G be a graph with a clique cutset S and let (Xi )i∈I be the connectedcomponents of G \ S . Let Gi = G [Ci ∪ S ]. Prove that:
1 χ(G ) = maxi∈I (χ(Gi )).
2 ωm(G ) = maxi∈I (ωm(Gi ))
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 71 / 121
![Page 173: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/173.jpg)
Decomposition theorem for chordal graph I
A graph G is chordal if it has no induced subgraph isomorphic to a cycle oflength at least 4.Chordal graphs is one of the oldest studied class of graphs. They have a verystrong structure that permits to design efficient algorithms to compute on them.
Theorem (Dirac, 1961)
If G is a chordal graph then either it is a clique or it admits a clique cutset.
Proof.Suppose that G is not a clique. Let S be a minimal vertex-cutset of G , and let C1
and C2 be two connected components of G \ S . Suppose for contradiction thatG [S ] is not a clique. So S contains two non-adjacent vertices u and v . Since S isminimal, both u and v have a neighbor in both C1 and C2. Hence, for i = 1, 2,there exists a chordless uv -path Pi whose interior vertices are in Ci . Then P1 ∪ P2
induces a hole, a contradiction. So S is a clique-cutset of G .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 72 / 121
![Page 174: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/174.jpg)
Decomposition theorem for chordal graph I
A graph G is chordal if it has no induced subgraph isomorphic to a cycle oflength at least 4.Chordal graphs is one of the oldest studied class of graphs. They have a verystrong structure that permits to design efficient algorithms to compute on them.
Theorem (Dirac, 1961)
If G is a chordal graph then either it is a clique or it admits a clique cutset.
Proof.Suppose that G is not a clique. Let S be a minimal vertex-cutset of G , and let C1
and C2 be two connected components of G \ S . Suppose for contradiction thatG [S ] is not a clique. So S contains two non-adjacent vertices u and v . Since S isminimal, both u and v have a neighbor in both C1 and C2. Hence, for i = 1, 2,there exists a chordless uv -path Pi whose interior vertices are in Ci . Then P1 ∪ P2
induces a hole, a contradiction. So S is a clique-cutset of G .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 72 / 121
![Page 175: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/175.jpg)
Decomposition theorem for chordal graph II
It is now easy to deduce the following decomposition theorem for chordal graphs.
TheoremA graph is chordal if and only if it can be constructed recursively by pasting alongcomplete subgraphs, starting from complete graphs.
Exercice 201 Let G be a chordal graph. Prove that χ(G ) = ω(G ).
2 Find a graph H such that χ(H) 6= ω(H).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 73 / 121
![Page 176: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/176.jpg)
Treewidth and Chordal graphs
Th following give you 4 characterization of chordal graphs.
Exercice 21Show that the following statement are equivalent:
1 G is chordal
2 G admits a tree decomposition such that every bag is a clique.
3 Every induced subgraph of G contains a simplicial vertex, i.e. a vertexwhose neighborhood is a clique.
4 G admits a tree decomposition with the property that uv ∈ E (G ) if andonly if Tu and Tv have non empty intersection (recall that Tu is the set ofbag containing u).
5 G is the intersection graph of a family of subtrees of a tree.
Using one of the above characterization of chordal graphs, prove that for everygraph G :
tw(G ) = minω(G ′)− 1, G subgraph of G ′ and G ′ is chordal
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 74 / 121
![Page 177: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/177.jpg)
Clique Sums
DefinitionLet G1 and G2 be two graphs and K1 a clique of G1, K2 a clique of G2 with|K1| = |K2|. If G is a graph obtained by identifying vertices of K1 and K2, andthen removing some edges of this clique, then G is a clique sum of G1 and G2.
Similarly as for clique cutset, we have the following:
Proposition
If G is a clique sum of G1 and G2, then tw(G ) ≤ max(tw(G1), tw(G2)).
And another characterization of treewidth, that is also a decomposition theoremfor classes of graphs with bounded treewidth.
Proposition
G has treewidth at most k if and only if it can be constructed recursively by cliquesum operations starting from graphs on at most k + 1 vertices.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 75 / 121
![Page 178: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/178.jpg)
8 - Treewidth, Forbidden Minor and planar graphs
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 76 / 121
![Page 179: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/179.jpg)
Treewidth of minor closed class
Recall that, if H is a graph,
Forb4m(H) = G : H is not a minor of G
We have already seen that:
Graphs in Forb4m(K3) have treewidth at most 2.
Graphs in Forb4m(K4) have treewidth at most 3.
Graphs in Forb4m(K5) have unbounded treewidth.
A natural question to ask is then: for which H, graphs in Forb4m(H) havebounded treewidth?
One of the most important result of graph minor theory is a complete andbeautiful characterization of such H.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 77 / 121
![Page 180: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/180.jpg)
Treewidth of minor closed class
Recall that, if H is a graph,
Forb4m(H) = G : H is not a minor of G
We have already seen that:
Graphs in Forb4m(K3) have treewidth at most 2.
Graphs in Forb4m(K4) have treewidth at most 3.
Graphs in Forb4m(K5) have unbounded treewidth.
A natural question to ask is then: for which H, graphs in Forb4m(H) havebounded treewidth?
One of the most important result of graph minor theory is a complete andbeautiful characterization of such H.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 77 / 121
![Page 181: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/181.jpg)
Treewidth of minor closed class
Recall that, if H is a graph,
Forb4m(H) = G : H is not a minor of G
We have already seen that:
Graphs in Forb4m(K3) have treewidth at most 2.
Graphs in Forb4m(K4) have treewidth at most 3.
Graphs in Forb4m(K5) have unbounded treewidth.
A natural question to ask is then: for which H, graphs in Forb4m(H) havebounded treewidth?
One of the most important result of graph minor theory is a complete andbeautiful characterization of such H.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 77 / 121
![Page 182: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/182.jpg)
For which H, graphs in Forb4m(H) have bounded treewidth?
First H must be planar.If H is non-planar, then Forb4m(H) contains all grids (indeed, all grids and theirminors are planar (why?)) and grids have arbitrarily large treewidth .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 78 / 121
![Page 183: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/183.jpg)
For which H, graphs in Forb4m(H) have bounded treewidth?
First H must be planar.
If H is non-planar, then Forb4m(H) contains all grids (indeed, all grids and theirminors are planar (why?)) and grids have arbitrarily large treewidth .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 78 / 121
![Page 184: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/184.jpg)
For which H, graphs in Forb4m(H) have bounded treewidth?
First H must be planar.If H is non-planar, then Forb4m(H) contains all grids (indeed, all grids and theirminors are planar (why?)) and grids have arbitrarily large treewidth .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 78 / 121
![Page 185: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/185.jpg)
Grid Minor Theorem
Theorem (Grid Minor Theorem, Robertson and Seymour, V)
Given a graph H, graphs in Forb4m(H) have bounded treewidth if and only if H isplanar.
We need to prove the if part, that is, for H a planar graph, graphs in Forb4m(H)have bounded treewidth.
In fact, we only need to show this for the special case where H is a grid, becauseevery planar graph is a minor of some grid. (To see this, draw a planar graphand superimpose a sufficiently fine grid, then fatten vertices and edges of theplanar graph).
Theorem (Grid Minor Theorem)
Let k be an integer.There exists f (k) such that if G ∈ Forb4m(Gk,k), then tw(G ) ≤ f (k)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 79 / 121
![Page 186: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/186.jpg)
Grid Minor Theorem
Theorem (Grid Minor Theorem, Robertson and Seymour, V)
Given a graph H, graphs in Forb4m(H) have bounded treewidth if and only if H isplanar.
We need to prove the if part, that is, for H a planar graph, graphs in Forb4m(H)have bounded treewidth.
In fact, we only need to show this for the special case where H is a grid, becauseevery planar graph is a minor of some grid. (To see this, draw a planar graphand superimpose a sufficiently fine grid, then fatten vertices and edges of theplanar graph).
Theorem (Grid Minor Theorem)
Let k be an integer.There exists f (k) such that if G ∈ Forb4m(Gk,k), then tw(G ) ≤ f (k)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 79 / 121
![Page 187: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/187.jpg)
Grid Minor Theorem
Theorem (Grid Minor Theorem, Robertson and Seymour, V)
Given a graph H, graphs in Forb4m(H) have bounded treewidth if and only if H isplanar.
We need to prove the if part, that is, for H a planar graph, graphs in Forb4m(H)have bounded treewidth.
In fact, we only need to show this for the special case where H is a grid, becauseevery planar graph is a minor of some grid. (To see this, draw a planar graphand superimpose a sufficiently fine grid, then fatten vertices and edges of theplanar graph).
Theorem (Grid Minor Theorem)
Let k be an integer.There exists f (k) such that if G ∈ Forb4m(Gk,k), then tw(G ) ≤ f (k)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 79 / 121
![Page 188: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/188.jpg)
Very (very) rough idea of the proof:Let G be a graph with very large treewidth. We want to show that G contains alarge grid.
Show that G contains a large family A1, . . . ,Am of pairwise disjointconnected subgraphs such that:
each pair Ai ,Aj can be linked in G by a family Pi,j of many disjoint Ai − Aj
paths avoiding the other sets.
We then consider all the pairs Pi,j ,Pi,′j′
If we can find such a pair such that many of the paths in Pi,j meets many ofthe path in Pi ′,j′ , then we can find a large grid (this is the most difficult partof the proof because the intersections might be very messy).
Otherwise, for every pair Pi,j ,Pi,′j′ , many of the paths in Pi,j avoid many ofthe path in Pi ′,j′ .
We can then select one path Pi,j ∈ Pi,j from each family such that theseselected path are pairwise disjoint.
Contracting each of the connected subgraph will then give us a Km-minor,which contains a large grid.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 80 / 121
![Page 189: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/189.jpg)
Very (very) rough idea of the proof:Let G be a graph with very large treewidth. We want to show that G contains alarge grid.
Show that G contains a large family A1, . . . ,Am of pairwise disjointconnected subgraphs such that:
each pair Ai ,Aj can be linked in G by a family Pi,j of many disjoint Ai − Aj
paths avoiding the other sets.
We then consider all the pairs Pi,j ,Pi,′j′
If we can find such a pair such that many of the paths in Pi,j meets many ofthe path in Pi ′,j′ , then we can find a large grid (this is the most difficult partof the proof because the intersections might be very messy).
Otherwise, for every pair Pi,j ,Pi,′j′ , many of the paths in Pi,j avoid many ofthe path in Pi ′,j′ .
We can then select one path Pi,j ∈ Pi,j from each family such that theseselected path are pairwise disjoint.
Contracting each of the connected subgraph will then give us a Km-minor,which contains a large grid.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 80 / 121
![Page 190: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/190.jpg)
Very (very) rough idea of the proof:Let G be a graph with very large treewidth. We want to show that G contains alarge grid.
Show that G contains a large family A1, . . . ,Am of pairwise disjointconnected subgraphs such that:
each pair Ai ,Aj can be linked in G by a family Pi,j of many disjoint Ai − Aj
paths avoiding the other sets.
We then consider all the pairs Pi,j ,Pi,′j′
If we can find such a pair such that many of the paths in Pi,j meets many ofthe path in Pi ′,j′ , then we can find a large grid (this is the most difficult partof the proof because the intersections might be very messy).
Otherwise, for every pair Pi,j ,Pi,′j′ , many of the paths in Pi,j avoid many ofthe path in Pi ′,j′ .
We can then select one path Pi,j ∈ Pi,j from each family such that theseselected path are pairwise disjoint.
Contracting each of the connected subgraph will then give us a Km-minor,which contains a large grid.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 80 / 121
![Page 191: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/191.jpg)
Very (very) rough idea of the proof:Let G be a graph with very large treewidth. We want to show that G contains alarge grid.
Show that G contains a large family A1, . . . ,Am of pairwise disjointconnected subgraphs such that:
each pair Ai ,Aj can be linked in G by a family Pi,j of many disjoint Ai − Aj
paths avoiding the other sets.
We then consider all the pairs Pi,j ,Pi,′j′
If we can find such a pair such that many of the paths in Pi,j meets many ofthe path in Pi ′,j′ , then we can find a large grid (this is the most difficult partof the proof because the intersections might be very messy).
Otherwise, for every pair Pi,j ,Pi,′j′ , many of the paths in Pi,j avoid many ofthe path in Pi ′,j′ .
We can then select one path Pi,j ∈ Pi,j from each family such that theseselected path are pairwise disjoint.
Contracting each of the connected subgraph will then give us a Km-minor,which contains a large grid.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 80 / 121
![Page 192: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/192.jpg)
Very (very) rough idea of the proof:Let G be a graph with very large treewidth. We want to show that G contains alarge grid.
Show that G contains a large family A1, . . . ,Am of pairwise disjointconnected subgraphs such that:
each pair Ai ,Aj can be linked in G by a family Pi,j of many disjoint Ai − Aj
paths avoiding the other sets.
We then consider all the pairs Pi,j ,Pi,′j′
If we can find such a pair such that many of the paths in Pi,j meets many ofthe path in Pi ′,j′ , then we can find a large grid (this is the most difficult partof the proof because the intersections might be very messy).
Otherwise, for every pair Pi,j ,Pi,′j′ , many of the paths in Pi,j avoid many ofthe path in Pi ′,j′ .
We can then select one path Pi,j ∈ Pi,j from each family such that theseselected path are pairwise disjoint.
Contracting each of the connected subgraph will then give us a Km-minor,which contains a large grid.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 80 / 121
![Page 193: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/193.jpg)
Very (very) rough idea of the proof:Let G be a graph with very large treewidth. We want to show that G contains alarge grid.
Show that G contains a large family A1, . . . ,Am of pairwise disjointconnected subgraphs such that:
each pair Ai ,Aj can be linked in G by a family Pi,j of many disjoint Ai − Aj
paths avoiding the other sets.
We then consider all the pairs Pi,j ,Pi,′j′
If we can find such a pair such that many of the paths in Pi,j meets many ofthe path in Pi ′,j′ , then we can find a large grid (this is the most difficult partof the proof because the intersections might be very messy).
Otherwise, for every pair Pi,j ,Pi,′j′ , many of the paths in Pi,j avoid many ofthe path in Pi ′,j′ .
We can then select one path Pi,j ∈ Pi,j from each family such that theseselected path are pairwise disjoint.
Contracting each of the connected subgraph will then give us a Km-minor,which contains a large grid.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 80 / 121
![Page 194: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/194.jpg)
Very (very) rough idea of the proof:Let G be a graph with very large treewidth. We want to show that G contains alarge grid.
Show that G contains a large family A1, . . . ,Am of pairwise disjointconnected subgraphs such that:
each pair Ai ,Aj can be linked in G by a family Pi,j of many disjoint Ai − Aj
paths avoiding the other sets.
We then consider all the pairs Pi,j ,Pi,′j′
If we can find such a pair such that many of the paths in Pi,j meets many ofthe path in Pi ′,j′ , then we can find a large grid (this is the most difficult partof the proof because the intersections might be very messy).
Otherwise, for every pair Pi,j ,Pi,′j′ , many of the paths in Pi,j avoid many ofthe path in Pi ′,j′ .
We can then select one path Pi,j ∈ Pi,j from each family such that theseselected path are pairwise disjoint.
Contracting each of the connected subgraph will then give us a Km-minor,which contains a large grid.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 80 / 121
![Page 195: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/195.jpg)
Theorem (Grid Minor Theorem)
There exists f (k) such that if G is Gk,k -minor free then tw(G ) < f (k)
Establishing tight bounds on f (k) is an important graph-theoretical questionwith many applications on structural and algorithmic graph theory.
Robertson and Seymour showed that f (k) = Ω(k2 log k) must hold.
For a long time, the best known upper bounds on f (k) weresuper-exponential in k.
The first polynomial upperbound of f (k) = O(k98poly log k) was proved byChekuri and Chuzhoy in 2013.
Since then, many ameliorations have been proved, the best one is:
Theorem (Chekuri and Chuzhoy, 2019)
If G is Gk,k -minor free then tw(G ) < O(k9 poly log k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 81 / 121
![Page 196: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/196.jpg)
Theorem (Grid Minor Theorem)
There exists f (k) such that if G is Gk,k -minor free then tw(G ) < f (k)
Establishing tight bounds on f (k) is an important graph-theoretical questionwith many applications on structural and algorithmic graph theory.
Robertson and Seymour showed that f (k) = Ω(k2 log k) must hold.
For a long time, the best known upper bounds on f (k) weresuper-exponential in k.
The first polynomial upperbound of f (k) = O(k98poly log k) was proved byChekuri and Chuzhoy in 2013.
Since then, many ameliorations have been proved, the best one is:
Theorem (Chekuri and Chuzhoy, 2019)
If G is Gk,k -minor free then tw(G ) < O(k9 poly log k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 81 / 121
![Page 197: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/197.jpg)
Theorem (Grid Minor Theorem)
There exists f (k) such that if G is Gk,k -minor free then tw(G ) < f (k)
Establishing tight bounds on f (k) is an important graph-theoretical questionwith many applications on structural and algorithmic graph theory.
Robertson and Seymour showed that f (k) = Ω(k2 log k) must hold.
For a long time, the best known upper bounds on f (k) weresuper-exponential in k .
The first polynomial upperbound of f (k) = O(k98poly log k) was proved byChekuri and Chuzhoy in 2013.
Since then, many ameliorations have been proved, the best one is:
Theorem (Chekuri and Chuzhoy, 2019)
If G is Gk,k -minor free then tw(G ) < O(k9 poly log k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 81 / 121
![Page 198: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/198.jpg)
Theorem (Grid Minor Theorem)
There exists f (k) such that if G is Gk,k -minor free then tw(G ) < f (k)
Establishing tight bounds on f (k) is an important graph-theoretical questionwith many applications on structural and algorithmic graph theory.
Robertson and Seymour showed that f (k) = Ω(k2 log k) must hold.
For a long time, the best known upper bounds on f (k) weresuper-exponential in k .
The first polynomial upperbound of f (k) = O(k98poly log k) was proved byChekuri and Chuzhoy in 2013.
Since then, many ameliorations have been proved, the best one is:
Theorem (Chekuri and Chuzhoy, 2019)
If G is Gk,k -minor free then tw(G ) < O(k9 poly log k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 81 / 121
![Page 199: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/199.jpg)
Theorem (Grid Minor Theorem)
There exists f (k) such that if G is Gk,k -minor free then tw(G ) < f (k)
Establishing tight bounds on f (k) is an important graph-theoretical questionwith many applications on structural and algorithmic graph theory.
Robertson and Seymour showed that f (k) = Ω(k2 log k) must hold.
For a long time, the best known upper bounds on f (k) weresuper-exponential in k .
The first polynomial upperbound of f (k) = O(k98poly log k) was proved byChekuri and Chuzhoy in 2013.
Since then, many ameliorations have been proved, the best one is:
Theorem (Chekuri and Chuzhoy, 2019)
If G is Gk,k -minor free then tw(G ) < O(k9 poly log k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 81 / 121
![Page 200: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/200.jpg)
Theorem (Grid Minor Theorem)
There exists f (k) such that if G is Gk,k -minor free then tw(G ) < f (k)
Establishing tight bounds on f (k) is an important graph-theoretical questionwith many applications on structural and algorithmic graph theory.
Robertson and Seymour showed that f (k) = Ω(k2 log k) must hold.
For a long time, the best known upper bounds on f (k) weresuper-exponential in k .
The first polynomial upperbound of f (k) = O(k98poly log k) was proved byChekuri and Chuzhoy in 2013.
Since then, many ameliorations have been proved, the best one is:
Theorem (Chekuri and Chuzhoy, 2019)
If G is Gk,k -minor free then tw(G ) < O(k9 poly log k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 81 / 121
![Page 201: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/201.jpg)
Theorem (Grid Minor Theorem)
There exists f (k) such that if G is Gk,k -minor free then tw(G ) < f (k)
Establishing tight bounds on f (k) is an important graph-theoretical questionwith many applications on structural and algorithmic graph theory.
Robertson and Seymour showed that f (k) = Ω(k2 log k) must hold.
For a long time, the best known upper bounds on f (k) weresuper-exponential in k .
The first polynomial upperbound of f (k) = O(k98poly log k) was proved byChekuri and Chuzhoy in 2013.
Since then, many ameliorations have been proved, the best one is:
Theorem (Chekuri and Chuzhoy, 2019)
If G is Gk,k -minor free then tw(G ) < O(k9 poly log k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 81 / 121
![Page 202: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/202.jpg)
Planar Graphs are WQO
Tentative proof of Wagner’s Conjecture : Let (Gn)n∈N be a sequence of graphsWe want to prove that there exists Gi and Gj with i < j and Gi is a minor of Gj .
If there exists i ≥ 1 such that G0 4m Gi , WIN
If not, then the Gi for ≥ 1 are G0-minor free.
If G0 is planar, then G0-minor free graphs have bounded treewidth.
In this case (G1,G2,G3, . . . ) is WQO, WIN.
Corollary
The class of planar graphs is wqo for the minor relation.
Would be nice to be able to say truff on H-minor free graphs even when H isnon-planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 82 / 121
![Page 203: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/203.jpg)
Planar Graphs are WQO
Tentative proof of Wagner’s Conjecture : Let (Gn)n∈N be a sequence of graphsWe want to prove that there exists Gi and Gj with i < j and Gi is a minor of Gj .
If there exists i ≥ 1 such that G0 4m Gi , WIN
If not, then the Gi for ≥ 1 are G0-minor free.
If G0 is planar, then G0-minor free graphs have bounded treewidth.
In this case (G1,G2,G3, . . . ) is WQO, WIN.
Corollary
The class of planar graphs is wqo for the minor relation.
Would be nice to be able to say truff on H-minor free graphs even when H isnon-planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 82 / 121
![Page 204: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/204.jpg)
Planar Graphs are WQO
Tentative proof of Wagner’s Conjecture : Let (Gn)n∈N be a sequence of graphsWe want to prove that there exists Gi and Gj with i < j and Gi is a minor of Gj .
If there exists i ≥ 1 such that G0 4m Gi , WIN
If not, then the Gi for ≥ 1 are G0-minor free.
If G0 is planar, then G0-minor free graphs have bounded treewidth.
In this case (G1,G2,G3, . . . ) is WQO, WIN.
Corollary
The class of planar graphs is wqo for the minor relation.
Would be nice to be able to say truff on H-minor free graphs even when H isnon-planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 82 / 121
![Page 205: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/205.jpg)
Planar Graphs are WQO
Tentative proof of Wagner’s Conjecture : Let (Gn)n∈N be a sequence of graphsWe want to prove that there exists Gi and Gj with i < j and Gi is a minor of Gj .
If there exists i ≥ 1 such that G0 4m Gi , WIN
If not, then the Gi for ≥ 1 are G0-minor free.
If G0 is planar, then G0-minor free graphs have bounded treewidth.
In this case (G1,G2,G3, . . . ) is WQO, WIN.
Corollary
The class of planar graphs is wqo for the minor relation.
Would be nice to be able to say truff on H-minor free graphs even when H isnon-planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 82 / 121
![Page 206: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/206.jpg)
Planar Graphs are WQO
Tentative proof of Wagner’s Conjecture : Let (Gn)n∈N be a sequence of graphsWe want to prove that there exists Gi and Gj with i < j and Gi is a minor of Gj .
If there exists i ≥ 1 such that G0 4m Gi , WIN
If not, then the Gi for ≥ 1 are G0-minor free.
If G0 is planar, then G0-minor free graphs have bounded treewidth.
In this case (G1,G2,G3, . . . ) is WQO, WIN.
Corollary
The class of planar graphs is wqo for the minor relation.
Would be nice to be able to say truff on H-minor free graphs even when H isnon-planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 82 / 121
![Page 207: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/207.jpg)
Planar Graphs are WQO
Tentative proof of Wagner’s Conjecture : Let (Gn)n∈N be a sequence of graphsWe want to prove that there exists Gi and Gj with i < j and Gi is a minor of Gj .
If there exists i ≥ 1 such that G0 4m Gi , WIN
If not, then the Gi for ≥ 1 are G0-minor free.
If G0 is planar, then G0-minor free graphs have bounded treewidth.
In this case (G1,G2,G3, . . . ) is WQO, WIN.
Corollary
The class of planar graphs is wqo for the minor relation.
Would be nice to be able to say truff on H-minor free graphs even when H isnon-planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 82 / 121
![Page 208: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/208.jpg)
Planar Graphs are WQO
Tentative proof of Wagner’s Conjecture : Let (Gn)n∈N be a sequence of graphsWe want to prove that there exists Gi and Gj with i < j and Gi is a minor of Gj .
If there exists i ≥ 1 such that G0 4m Gi , WIN
If not, then the Gi for ≥ 1 are G0-minor free.
If G0 is planar, then G0-minor free graphs have bounded treewidth.
In this case (G1,G2,G3, . . . ) is WQO, WIN.
Corollary
The class of planar graphs is wqo for the minor relation.
Would be nice to be able to say truff on H-minor free graphs even when H isnon-planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 82 / 121
![Page 209: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/209.jpg)
Planar Graphs are WQO
Tentative proof of Wagner’s Conjecture : Let (Gn)n∈N be a sequence of graphsWe want to prove that there exists Gi and Gj with i < j and Gi is a minor of Gj .
If there exists i ≥ 1 such that G0 4m Gi , WIN
If not, then the Gi for ≥ 1 are G0-minor free.
If G0 is planar, then G0-minor free graphs have bounded treewidth.
In this case (G1,G2,G3, . . . ) is WQO, WIN.
Corollary
The class of planar graphs is wqo for the minor relation.
Would be nice to be able to say truff on H-minor free graphs even when H isnon-planar.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 82 / 121
![Page 210: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/210.jpg)
9 - Graphs are WQO (Warning : contains majorhandwaving)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 83 / 121
![Page 211: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/211.jpg)
Wagner’s Conjecture : Sketch
Starts as before : Assume (Gn)n∈N is a counterexample.
We can assume that no graph Gi with i ≥ 1 has G0 as a minor.
Hence Gi ∈ Forb4m(G0) for i ≥ 1
Can we describe the structure of these graphs??
It is sufficient to get a structure theorem for Forb4m(Kk).
For k ≤ 4 we have seen characterizations (small treewidth).
For k = 5 there is one due to Wagner:
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 84 / 121
![Page 212: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/212.jpg)
Wagner’s Conjecture : Sketch
Starts as before : Assume (Gn)n∈N is a counterexample.
We can assume that no graph Gi with i ≥ 1 has G0 as a minor.
Hence Gi ∈ Forb4m(G0) for i ≥ 1
Can we describe the structure of these graphs??
It is sufficient to get a structure theorem for Forb4m(Kk).
For k ≤ 4 we have seen characterizations (small treewidth).
For k = 5 there is one due to Wagner:
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 84 / 121
![Page 213: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/213.jpg)
Wagner’s Conjecture : Sketch
Starts as before : Assume (Gn)n∈N is a counterexample.
We can assume that no graph Gi with i ≥ 1 has G0 as a minor.
Hence Gi ∈ Forb4m(G0) for i ≥ 1
Can we describe the structure of these graphs??
It is sufficient to get a structure theorem for Forb4m(Kk).
For k ≤ 4 we have seen characterizations (small treewidth).
For k = 5 there is one due to Wagner:
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 84 / 121
![Page 214: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/214.jpg)
Wagner’s Conjecture : Sketch
Starts as before : Assume (Gn)n∈N is a counterexample.
We can assume that no graph Gi with i ≥ 1 has G0 as a minor.
Hence Gi ∈ Forb4m(G0) for i ≥ 1
Can we describe the structure of these graphs??
It is sufficient to get a structure theorem for Forb4m(Kk).
For k ≤ 4 we have seen characterizations (small treewidth).
For k = 5 there is one due to Wagner:
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 84 / 121
![Page 215: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/215.jpg)
Wagner’s Conjecture : Sketch
Starts as before : Assume (Gn)n∈N is a counterexample.
We can assume that no graph Gi with i ≥ 1 has G0 as a minor.
Hence Gi ∈ Forb4m(G0) for i ≥ 1
Can we describe the structure of these graphs??
It is sufficient to get a structure theorem for Forb4m(Kk).
For k ≤ 4 we have seen characterizations (small treewidth).
For k = 5 there is one due to Wagner:
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 84 / 121
![Page 216: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/216.jpg)
Wagner’s Conjecture : Sketch
Starts as before : Assume (Gn)n∈N is a counterexample.
We can assume that no graph Gi with i ≥ 1 has G0 as a minor.
Hence Gi ∈ Forb4m(G0) for i ≥ 1
Can we describe the structure of these graphs??
It is sufficient to get a structure theorem for Forb4m(Kk).
For k ≤ 4 we have seen characterizations (small treewidth).
For k = 5 there is one due to Wagner:
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 84 / 121
![Page 217: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/217.jpg)
Wagner’s Conjecture : Sketch
Starts as before : Assume (Gn)n∈N is a counterexample.
We can assume that no graph Gi with i ≥ 1 has G0 as a minor.
Hence Gi ∈ Forb4m(G0) for i ≥ 1
Can we describe the structure of these graphs??
It is sufficient to get a structure theorem for Forb4m(Kk).
For k ≤ 4 we have seen characterizations (small treewidth).
For k = 5 there is one due to Wagner:
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 84 / 121
![Page 218: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/218.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 219: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/219.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 220: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/220.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 221: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/221.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 222: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/222.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 223: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/223.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 224: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/224.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 225: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/225.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 226: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/226.jpg)
Wagner decomposition Theorem
Theorem (Wagner - 1937)
K5-minor free graphs are constructed by a sequence of 3-clique sums operationsstarting from W8 and planar graphs.
Assume (Gi )i∈N is an infinite antichain.
Assume there exists n ∈ N such that such that |V (Gn)| ≤ 5.
Then (Gi )i∈N are K5-minor-free.
Then we can use Wagner Theorem: the graphs Gi , i > n have some kind of a2-layer structure:
I Outside we have a tree-like structure, which can be handled with similarmethods used to handles trees (and graphs with bounded treewidth).
I Inside (that is in the ”bag” of the tree decomposition given by WagnerTheorem), graphs are planar or W8, and we already now they are WQO.
Hence, all we need is a generalisation of Wagner decomposition Theorem for allcomplete graphs.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 85 / 121
![Page 227: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/227.jpg)
Vortices and Fringes
Let us start with a technical definition. If C is a cycle, a vortex on C is definedthe following way :
Select a collection of arcs A1,A2, . . . ,Al on C so that each vertex is in atmost k arcs.
For each arc we add a vertex vi that is linked to some vertices of Ai .
We can also add edges vivj if Ai ∩ Aj 6= ∅.We call this adding a fringe of width k to C .
Laszlo Lovasz
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 86 / 121
![Page 228: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/228.jpg)
Almost k-embeddable
Now let us define a class Gk of almost k-embeddable graphs
i Start with a surface of genus at most k with a graph G embedded in it sothat each face is homeomorphic to a disc.
ii Add at most k vortices (local perturbation of a face of the embedding)
iii Add at most k apexes (vertices linked arbitrarily to the rest of the graph)
Daniel Marx
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 87 / 121
![Page 229: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/229.jpg)
Structure Theorem
Theorem (Robertson and Seymour Theorem, XX)
For every graph H, there exists an integer k such that all H-minor free graphs canbe obtained by a sequence of k-clique sum operations starting from almostk-embeddable graphs.
Felix Reidl
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 88 / 121
![Page 230: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/230.jpg)
”Proof” of Wagner Conjecture
Very (very) roughly, the proof that graphs are WQO for minor ordering is
Show that graphs of bounded genus are WQO by induction on the genus(very hard).
Almost k-embedable graphs are taken care to the cost of more very hardwork.
Kruskal’s Theorem’s proof is adapted to deal with the tree structure given bythe clique sums operations.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 89 / 121
![Page 231: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/231.jpg)
Algorithmic implications
General message:
if something works for planar graphs,
then we might generalize it to bounded genus graphs,
then we might generalize it to H-minor-free graphs.
What next?
What about Forb4t (H)?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 90 / 121
![Page 232: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/232.jpg)
Algorithmic implications
General message:
if something works for planar graphs,
then we might generalize it to bounded genus graphs,
then we might generalize it to H-minor-free graphs.
What next?
What about Forb4t (H)?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 90 / 121
![Page 233: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/233.jpg)
Algorithmic implications
General message:
if something works for planar graphs,
then we might generalize it to bounded genus graphs,
then we might generalize it to H-minor-free graphs.
What next?
What about Forb4t (H)?
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 90 / 121
![Page 234: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/234.jpg)
H-topological minor free graphsH-topological minor free graphs look like that (Grohe and Marx, 2012)
Felix ReidlPierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 91 / 121
![Page 235: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/235.jpg)
Decomposition theorem for H-topological minor freegraphs
Theorem (Grohe and Marx, 2012)
For every H, there is an integer k such that every H-subdivision-free graph has atree decomposition where the torso of every bag is either:
k-almost embeddable in a surface of genus at most k or
has degree at most k with the exception of at most k vertices (“almostbounded degree”).
General message:If a problem can be solved both
on (almost-)embeddable graphs and
on (almost-)bounded degree graphs,
then these results can be raised to H-subdivision-free graphs without toomuch extra effort.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 92 / 121
![Page 236: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/236.jpg)
10 - Algorithms for bounded-treewidth graphs
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 93 / 121
![Page 237: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/237.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k.
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k : Algorithm in timeO(f (k)nO(1)
)
We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 238: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/238.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k : Algorithm in timeO(f (k)nO(1)
)
We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 239: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/239.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k : Algorithm in timeO(f (k)nO(1)
)
We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 240: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/240.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k : Algorithm in timeO(f (k)nO(1)
)
We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 241: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/241.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k : Algorithm in timeO(f (k)nO(1)
)
We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 242: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/242.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k: Algorithm in timeO(f (k)nO(1)
)We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 243: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/243.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k: Algorithm in timeO(f (k)nO(1)
)We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 244: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/244.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k : Algorithm in timeO(f (k)nO(1)
)
We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 245: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/245.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k : Algorithm in timeO(f (k)nO(1)
)
We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 246: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/246.jpg)
FPT Algorithms
A parametrized algorithmic problem is a problem where a certainparameter k is given in addition to the input (of size n).
The complexity is studied as a function of n and k .
k can be the size of the solution, or an implicit parameter of the input graph(diameter, maximum degree, treewidth...).
There are roughly three possibilities for a parametrized algorithmic problem.
Either the problem is already hard for fixed k .Example: decide if χ(G ) ≤ k is NP hard for k = 3.
Or the problem is NP hard for k in the input but polynomial of k fixed.Example: Decide if α(G ) ≤ k with parameter k by exhaustive search needs :O(nk
)(we say it is XP).
Or it is Fixed Parameter Tractable FPT for k : Algorithm in timeO(f (k)nO(1)
)We will now show that many NP hard problems are FPT whenparametrized by treewidth.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 94 / 121
![Page 247: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/247.jpg)
Max Weighted Independent Set
Problem (Maximum Weighted Independent Set - MWIS)
Input : A graph G with weight function ω : V (G )→ ROutput : an Independent set of maximum weight.
NP-complete for general graphs.
Polynomial for trees by Dynamical programming
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 95 / 121
![Page 248: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/248.jpg)
MWIS for Trees
Fix a root r arbitrarily.
Denote by ch(v) the set of children of v , by T (v) the subtree rooted at v (henceT (r) = T ) and:
f (v) denotes the maximum weight of an independent set of T (v),
f +(v) denotes the maximum weight of an independent set of T (v)containing v
f −(v) denotes the maximum weight of an independent set of T (v) notcontaining v
The value of a maximum weight independent set of T is precisely f (r) .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 96 / 121
![Page 249: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/249.jpg)
MWIS for Trees
Fix a root r arbitrarily.
Denote by ch(v) the set of children of v , by T (v) the subtree rooted at v (henceT (r) = T ) and:
f (v) denotes the maximum weight of an independent set of T (v),
f +(v) denotes the maximum weight of an independent set of T (v)containing v
f −(v) denotes the maximum weight of an independent set of T (v) notcontaining v
The value of a maximum weight independent set of T is precisely f (r) .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 96 / 121
![Page 250: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/250.jpg)
MWIS for Trees
Fix a root r arbitrarily.
Denote by ch(v) the set of children of v , by T (v) the subtree rooted at v (henceT (r) = T ) and:
f (v) denotes the maximum weight of an independent set of T (v),
f +(v) denotes the maximum weight of an independent set of T (v)containing v
f −(v) denotes the maximum weight of an independent set of T (v) notcontaining v
The value of a maximum weight independent set of T is precisely f (r) .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 96 / 121
![Page 251: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/251.jpg)
MWIS for Trees
Let v be a vertex of T , and let ch(v) be the set of children of v . We have:
f +(v) = Σx∈ch(v)f−(x) + ω(v)
f −(v) = Σx∈ch(v)f (x)
f (v) = max(f +(v), f −(v))
It only remains to compute these three functions in a bottom-up fashion (that isstarting from the leaves and computing layer after layer until we rich the root),which take O(|V (T )|) time.
Many NP-hard problems are solvable in polytime on trees, using dynamicprogramming.We are going to see that the same strategy stands when applied on treedecomposition.That is we are going to find algorithms whose complexity is a function f (k, n), kbeing the treewidth and n the number of vertices, and this function will be apolynomial in n.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 97 / 121
![Page 252: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/252.jpg)
MWIS for Trees
Let v be a vertex of T , and let ch(v) be the set of children of v . We have:
f +(v) = Σx∈ch(v)f−(x) + ω(v)
f −(v) = Σx∈ch(v)f (x)
f (v) = max(f +(v), f −(v))
It only remains to compute these three functions in a bottom-up fashion (that isstarting from the leaves and computing layer after layer until we rich the root),which take O(|V (T )|) time.
Many NP-hard problems are solvable in polytime on trees, using dynamicprogramming.We are going to see that the same strategy stands when applied on treedecomposition.That is we are going to find algorithms whose complexity is a function f (k, n), kbeing the treewidth and n the number of vertices, and this function will be apolynomial in n.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 97 / 121
![Page 253: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/253.jpg)
MWIS parametrized by treewidth
TheoremGiven a tree decomposition of width k , Maximum Weighted Independant Set canbe computed in time O(2k · kO(1) · n).
Wt ⊆ V (G ): vertices appearing in node tVt ⊆ V (G ): vertices appearing in the subtree rooted at t.
Generalizing the strategy used for tree:instead of computing two values f +(t) and f −(t), we compute 2|Wt | ≤ 2k valuesfor each bag Wt .
For each node t and each subset S of Wt :M[t,S ] = max weighted independant I such that I ⊆ Vt and I ∩Wt = S .
It is easy to compute M[t,S ] if the values are known for the children of t. But weare going to define a tree decomposition with a particular structure to ease it evenmore.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 98 / 121
![Page 254: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/254.jpg)
MWIS parametrized by treewidth
TheoremGiven a tree decomposition of width k , Maximum Weighted Independant Set canbe computed in time O(2k · kO(1) · n).
Wt ⊆ V (G ): vertices appearing in node tVt ⊆ V (G ): vertices appearing in the subtree rooted at t.
Generalizing the strategy used for tree:instead of computing two values f +(t) and f −(t), we compute 2|Wt | ≤ 2k valuesfor each bag Wt .
For each node t and each subset S of Wt :M[t,S ] = max weighted independant I such that I ⊆ Vt and I ∩Wt = S .
It is easy to compute M[t,S ] if the values are known for the children of t. But weare going to define a tree decomposition with a particular structure to ease it evenmore.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 98 / 121
![Page 255: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/255.jpg)
MWIS parametrized by treewidth
TheoremGiven a tree decomposition of width k , Maximum Weighted Independant Set canbe computed in time O(2k · kO(1) · n).
Wt ⊆ V (G ): vertices appearing in node tVt ⊆ V (G ): vertices appearing in the subtree rooted at t.
Generalizing the strategy used for tree:instead of computing two values f +(t) and f −(t), we compute 2|Wt | ≤ 2k valuesfor each bag Wt .
For each node t and each subset S of Wt :M[t,S ] = max weighted independant I such that I ⊆ Vt and I ∩Wt = S .
It is easy to compute M[t,S ] if the values are known for the children of t. But weare going to define a tree decomposition with a particular structure to ease it evenmore.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 98 / 121
![Page 256: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/256.jpg)
Nice Tree Decompositions
To design algorithms parametrized by treewidth, it is convenient to use thefollowing particular tree decompositions.
DefinitionA nice tree decomposition of G is a tree decomposition where T is a rootedbinary tree with bags (Wt)t∈V (T ) and each inner node t is of three possible kind :
Leaf: t has no child and |Wt | = 1.
Join: t has two children t1 and t2 and Wt = Wt1 = Wt2 .
Introduce: t has one child t ′ and Wt = Wt′ \ x where x 6∈Wt′
Forget: t has one child t ′ and Wt = Wt ∪ x where x 6∈Wt
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 99 / 121
![Page 257: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/257.jpg)
From tree decomposition to nice tree decomposition
TheoremA tree decomposition of width k and n nodes can be turned into a nice treedecomposition of width k and O(w · n) nodes in time O(w2 · n).
Proof Sketch:Root the decomposition arbitrarily.For each internal node with p children, it is possible to add 2p new join nodes tomake it binary.For each edge t1t2 replace t1t2 by a path with at most k forget nodes and at mostk introduce nodes.
Using nice decomposition, it becomes super easy to compute M[t,S ] in abottom-up fashion as we are going to see now.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 100 / 121
![Page 258: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/258.jpg)
From tree decomposition to nice tree decomposition
TheoremA tree decomposition of width k and n nodes can be turned into a nice treedecomposition of width k and O(w · n) nodes in time O(w2 · n).
Proof Sketch:Root the decomposition arbitrarily.For each internal node with p children, it is possible to add 2p new join nodes tomake it binary.For each edge t1t2 replace t1t2 by a path with at most k forget nodes and at mostk introduce nodes.
Using nice decomposition, it becomes super easy to compute M[t,S ] in abottom-up fashion as we are going to see now.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 100 / 121
![Page 259: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/259.jpg)
For each node t and each subset S of Wt :M[t,S ] = max weighted independant I such that I ⊆ Vt and I ∩Wt = S .
Leaf: |Wt | = 1, trivialIntroduce: one child t ′ with Wt = Wt′ ∪ v :
M[t,S ] = M[t ′,S ] if v /∈ S
= M[t ′,S \ s] + ω(v) if v ∈ S
= −∞ if S contains v and a neighbor of v
Forget: one child t ′ with Wt = Wt′ \ v :
M[t,S ] = max(M[t ′,S ],M[t ′,S ∪ v])
Join: t has two children t1 and t2 such that Wt = Wt1 = Wt2 :
M[t,S ] = M[t1,S ] + M[t2,S ]− ω(S)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 101 / 121
![Page 260: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/260.jpg)
For each node t and each subset S of Wt :M[t,S ] = max weighted independant I such that I ⊆ Vt and I ∩Wt = S .
Leaf: |Wt | = 1, trivialIntroduce: one child t ′ with Wt = Wt′ ∪ v :
M[t,S ] = M[t ′,S ] if v /∈ S
= M[t ′,S \ s] + ω(v) if v ∈ S
= −∞ if S contains v and a neighbor of v
Forget: one child t ′ with Wt = Wt′ \ v :
M[t,S ] = max(M[t ′,S ],M[t ′,S ∪ v])
Join: t has two children t1 and t2 such that Wt = Wt1 = Wt2 :
M[t,S ] = M[t1,S ] + M[t2,S ]− ω(S)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 101 / 121
![Page 261: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/261.jpg)
Other Problems
Here is a list of results one can prove similarly using a tree decomposition oftreewidth k.
TheoremLet G be given with a tree decomposition of width at most k.
1 Computing χ(G ) can be done in time O(f (k).n)
2 Computing ω(G ) can be done in time O(2k .kk .n
)3 Computing γ(G ) := min|X |, X dominating set , can be done in time
O(f (k).n).
4 Deciding if G has a hamiltonian cycle can be done in time O(f (k).n)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 102 / 121
![Page 262: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/262.jpg)
11 - Courcelle’s Theorem
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 103 / 121
![Page 263: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/263.jpg)
Monadic Second Order Logic
A celebrated algorithmic meta-theorem of Courcelle generalises all the previousresults to monadic second order formulas.
Logical formulas on graphs are constructed inductively using
atomic formulas : x = y , v ∈ X , e ∈ F for subsets of vertices or edges.
the binary relation Inc(x , e) which is satisfied if x ∈ V and x is incident withe ∈ E .
logical operators ∨ and ∧ and ¬quantifiers ∀ and ∃
First order formulas : quantifiers over vertices and edges (∀v ∈ V (G );∃e ∈ E (G ))
MSO1 = FO + quantify over sets of vertices,
MSO2 = MSO1 + quantify over sets of edges.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 104 / 121
![Page 264: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/264.jpg)
Monadic Second Order Logic
A celebrated algorithmic meta-theorem of Courcelle generalises all the previousresults to monadic second order formulas.
Logical formulas on graphs are constructed inductively using
atomic formulas : x = y , v ∈ X , e ∈ F for subsets of vertices or edges.
the binary relation Inc(x , e) which is satisfied if x ∈ V and x is incident withe ∈ E .
logical operators ∨ and ∧ and ¬quantifiers ∀ and ∃
First order formulas : quantifiers over vertices and edges (∀v ∈ V (G );∃e ∈ E (G ))
MSO1 = FO + quantify over sets of vertices,
MSO2 = MSO1 + quantify over sets of edges.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 104 / 121
![Page 265: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/265.jpg)
Formula for 3-colorability
This is a second order formula for 3 colourability :
∃X1 ⊂ V ∃X2 ⊂ V ∃X3 ⊂ V
(∀x ∈ V (x ∈ X1 ∨ x ∈ X2 ∨ x ∈ X3)
∧¬(x ∈ X1 ∧ x ∈ X2) ∧ ¬(x ∈ X1 ∧ x ∈ X3) ∧ ¬(x ∈ X2 ∧ x ∈ X3))
∧ (∀xy ∈ E ¬(x ∈ X1 ∧ y ∈ X1) ∧ ¬(x ∈ X2 ∧ y ∈ X2) ∧ ¬(x ∈ X3 ∧ y ∈ X3))
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 105 / 121
![Page 266: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/266.jpg)
Courcelle Theorem
The theorem of Courcelle asserts that every such property is easy to decide forbounded treewidth graphs.
TheoremIf a graph property can be expressed in MSO2, then for every fixed k ≥ 1, there isa linear-time algorithm for testing this property on graphs having treewidth atmost k.
Note: The constant depending on k can be very large (double, triple exponentialetc.), therefore a direct dynamic programming algorithm can be more efficient.
If we can express a property in MSO2, then we immediately get that testing thisproperty is FPT parameterized by the treewidth k of the input graph.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 106 / 121
![Page 267: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/267.jpg)
Courcelle Theorem
The theorem of Courcelle asserts that every such property is easy to decide forbounded treewidth graphs.
TheoremIf a graph property can be expressed in MSO2, then for every fixed k ≥ 1, there isa linear-time algorithm for testing this property on graphs having treewidth atmost k.
Note: The constant depending on k can be very large (double, triple exponentialetc.), therefore a direct dynamic programming algorithm can be more efficient.
If we can express a property in MSO2, then we immediately get that testing thisproperty is FPT parameterized by the treewidth k of the input graph.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 106 / 121
![Page 268: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/268.jpg)
12 - Computing Tree Decomposition
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 107 / 121
![Page 269: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/269.jpg)
Computing tree width
ProblemInput : A graph G and an integer kOutput : TRUE if and only if tw(G ) ≤ k
NP-Hard: Arnborg, Corneil, Proskurowski ’87 (note that polytime open forplanar)
Anyway, we want to use tree decomposition to design FPT algorithm withparameter tw(G ), so we would be happy to compute tw(G ) in timeO(f (tw(G )) · P(n)).
FPT : O(
2k2
n)
algorithm (Bodlaender, 96)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 108 / 121
![Page 270: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/270.jpg)
Computing tree width
ProblemInput : A graph G and an integer kOutput : TRUE if and only if tw(G ) ≤ k
NP-Hard: Arnborg, Corneil, Proskurowski ’87 (note that polytime open forplanar)
Anyway, we want to use tree decomposition to design FPT algorithm withparameter tw(G ), so we would be happy to compute tw(G ) in timeO(f (tw(G )) · P(n)).
FPT : O(
2k2
n)
algorithm (Bodlaender, 96)
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 108 / 121
![Page 271: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/271.jpg)
Approximate the treewidth
We don’t really need to compute an optimal tree decomposition, the following isenough.
TheoremThere exists an algorithm with input a graph G and an integer k and that outputsin time O
(f (k).n2
):
either a small certificate that tw(G ) ≥ k
or a tree decomposition of width at most 4k − 1.
This is enough for our FPT algorithms seen before : simply run this for k = 1,k = 2, k = 3,... one is guaranteed to find a tree decomposition of G of width atmost 4tw(G ) in time O
(f (tw(G )).n2
)).
The rest of this section is dedicated to design this algorithm.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 109 / 121
![Page 272: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/272.jpg)
Approximate the treewidth
We don’t really need to compute an optimal tree decomposition, the following isenough.
TheoremThere exists an algorithm with input a graph G and an integer k and that outputsin time O
(f (k).n2
):
either a small certificate that tw(G ) ≥ k
or a tree decomposition of width at most 4k − 1.
This is enough for our FPT algorithms seen before : simply run this for k = 1,k = 2, k = 3,... one is guaranteed to find a tree decomposition of G of width atmost 4tw(G ) in time O
(f (tw(G )).n2
)).
The rest of this section is dedicated to design this algorithm.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 109 / 121
![Page 273: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/273.jpg)
Good separator
Let G be a graph. A set of vertices S is a separator (or vertex cutset) if Sdisconnects G , that is G \ S has at least two connected components.
Let S ,X be two set of vertices, S is a good separator with respect to X if:
S disconnects G into two parts V1 and V2 both intersecting X .
For i = 1, 2, Vi contains at most 2|X |/3 vertices of X .
(Such a separator is sometime call a 2/3-separator w.r.t. X ).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 110 / 121
![Page 274: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/274.jpg)
Certificate that tw(G ) ≥ k
Proposition
If tw(G ) < k , then every X ⊆ V (G ) of size at least 2k + 1 admits a goodseparator of size at most k
Proof: Take a tree decomposition of width at most k − 1, do the usualorientation of the edges trick.
Certificate that tw(G ) ≥ k:If G contains a set X of at least 2k + 1 vertices that do not admit a goodseparator of size a most k , then tw(G ) ≥ k.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 111 / 121
![Page 275: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/275.jpg)
Certificate that tw(G ) ≥ k
Proposition
If tw(G ) < k , then every X ⊆ V (G ) of size at least 2k + 1 admits a goodseparator of size at most k
Proof: Take a tree decomposition of width at most k − 1, do the usualorientation of the edges trick.
Certificate that tw(G ) ≥ k:If G contains a set X of at least 2k + 1 vertices that do not admit a goodseparator of size a most k , then tw(G ) ≥ k .
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 111 / 121
![Page 276: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/276.jpg)
Proof of the previous theorems
We prove by induction on the number of vertices of G the following algorithm(apply it with W = ∅ to get the desired algorithm).
Problem
Input : A graph G , an integer k and a set X ⊆ V (G ) such that |X | ≤ 3kOutput : A certificate that tw(G ) ≥ k or a rooted tree decomposition T of G ofwidth at most 4k − 1 where X ⊆ root(G )
If G has at most 4k vertices then put all vertices in a single bag.
If X has less than 2k + 1 vertices, then augment X arbitrarily by addingvertices until its size is at least 2k + 1.
Assume for the moment that we know how to compute a good separator ofsize at most k wrt X .
If now X admits no good separator of size at most k, then by what precedesit is a certificate than tw(G ) ≥ k.
So we may assume that X has a good separator of size at most k.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 112 / 121
![Page 277: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/277.jpg)
Proof of the previous theorems
We prove by induction on the number of vertices of G the following algorithm(apply it with W = ∅ to get the desired algorithm).
Problem
Input : A graph G , an integer k and a set X ⊆ V (G ) such that |X | ≤ 3kOutput : A certificate that tw(G ) ≥ k or a rooted tree decomposition T of G ofwidth at most 4k − 1 where X ⊆ root(G )
If G has at most 4k vertices then put all vertices in a single bag.
If X has less than 2k + 1 vertices, then augment X arbitrarily by addingvertices until its size is at least 2k + 1.
Assume for the moment that we know how to compute a good separator ofsize at most k wrt X .
If now X admits no good separator of size at most k, then by what precedesit is a certificate than tw(G ) ≥ k.
So we may assume that X has a good separator of size at most k.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 112 / 121
![Page 278: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/278.jpg)
Proof of the previous theorems
We prove by induction on the number of vertices of G the following algorithm(apply it with W = ∅ to get the desired algorithm).
Problem
Input : A graph G , an integer k and a set X ⊆ V (G ) such that |X | ≤ 3kOutput : A certificate that tw(G ) ≥ k or a rooted tree decomposition T of G ofwidth at most 4k − 1 where X ⊆ root(G )
If G has at most 4k vertices then put all vertices in a single bag.
If X has less than 2k + 1 vertices, then augment X arbitrarily by addingvertices until its size is at least 2k + 1.
Assume for the moment that we know how to compute a good separator ofsize at most k wrt X .
If now X admits no good separator of size at most k, then by what precedesit is a certificate than tw(G ) ≥ k.
So we may assume that X has a good separator of size at most k.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 112 / 121
![Page 279: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/279.jpg)
Proof of the previous theorems
We prove by induction on the number of vertices of G the following algorithm(apply it with W = ∅ to get the desired algorithm).
Problem
Input : A graph G , an integer k and a set X ⊆ V (G ) such that |X | ≤ 3kOutput : A certificate that tw(G ) ≥ k or a rooted tree decomposition T of G ofwidth at most 4k − 1 where X ⊆ root(G )
If G has at most 4k vertices then put all vertices in a single bag.
If X has less than 2k + 1 vertices, then augment X arbitrarily by addingvertices until its size is at least 2k + 1.
Assume for the moment that we know how to compute a good separator ofsize at most k wrt X .
If now X admits no good separator of size at most k , then by what precedesit is a certificate than tw(G ) ≥ k .
So we may assume that X has a good separator of size at most k.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 112 / 121
![Page 280: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/280.jpg)
Proof of the previous theorems
We prove by induction on the number of vertices of G the following algorithm(apply it with W = ∅ to get the desired algorithm).
Problem
Input : A graph G , an integer k and a set X ⊆ V (G ) such that |X | ≤ 3kOutput : A certificate that tw(G ) ≥ k or a rooted tree decomposition T of G ofwidth at most 4k − 1 where X ⊆ root(G )
If G has at most 4k vertices then put all vertices in a single bag.
If X has less than 2k + 1 vertices, then augment X arbitrarily by addingvertices until its size is at least 2k + 1.
Assume for the moment that we know how to compute a good separator ofsize at most k wrt X .
If now X admits no good separator of size at most k , then by what precedesit is a certificate than tw(G ) ≥ k .
So we may assume that X has a good separator of size at most k.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 112 / 121
![Page 281: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/281.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 282: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/282.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 283: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/283.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 284: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/284.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 285: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/285.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 286: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/286.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 287: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/287.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 288: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/288.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 289: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/289.jpg)
S is a good separator for X
G \ S disconnects G into two non-empty parts V1 and V2 such thatX ∩ Vi ≤ 2|X |/3 for i = 1, 2
Define Xi = S ∪ (X ∩ Vi ). Then |Xi | ≤ k + 233k = 3k
Set Gi = G [Vi ∪ S ], and apply induction on (Gi ,Xi ) for i = 1, 2
Observe that |V (Gi )| < |V (G )|.
Either certificate that tw(Gi ) ≥ k for some i and therefore tw(G ) ≥ k
Or get two rooted decompositions T1,T2 of G1 and G2 with Xi ⊆ root(Ti )
Add a root bag containing all vertices in X ∪ S (note that |W ∪ S | ≤ 4k)attached to the roots of T1 and T2.
Check that it is indeed a tree decomposition of the desired width.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 113 / 121
![Page 290: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/290.jpg)
Here is how to compute a good separator S of size at most k wrt X :
S exists if and only if one can partition X into three subsets X1, X2, X0 suchthat
I X1 and X2 have size at most 2|X |/3,I X0 is a subset of a separator of size at most k separating V1 and V2 where
Xi ⊆ Vi
Equivalently if and only if in G \ X0, there are at most k − |X0| disjoint pathsfrom X1 to X2.
Ford Fulkerson : O(k2n
)(because the graph has at most kn edges, otherwise
it cannot have treewidth at most k)
33k ways of defining the partition X0,X1,X2 so O(27k .k2n
)for this step
therefore complexity O(27k .k2n2
)in total since the tree decomposition has
at most n nodes.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 114 / 121
![Page 291: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/291.jpg)
Here is how to compute a good separator S of size at most k wrt X :
S exists if and only if one can partition X into three subsets X1, X2, X0 suchthat
I X1 and X2 have size at most 2|X |/3,
I X0 is a subset of a separator of size at most k separating V1 and V2 whereXi ⊆ Vi
Equivalently if and only if in G \ X0, there are at most k − |X0| disjoint pathsfrom X1 to X2.
Ford Fulkerson : O(k2n
)(because the graph has at most kn edges, otherwise
it cannot have treewidth at most k)
33k ways of defining the partition X0,X1,X2 so O(27k .k2n
)for this step
therefore complexity O(27k .k2n2
)in total since the tree decomposition has
at most n nodes.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 114 / 121
![Page 292: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/292.jpg)
Here is how to compute a good separator S of size at most k wrt X :
S exists if and only if one can partition X into three subsets X1, X2, X0 suchthat
I X1 and X2 have size at most 2|X |/3,I X0 is a subset of a separator of size at most k separating V1 and V2 where
Xi ⊆ Vi
Equivalently if and only if in G \ X0, there are at most k − |X0| disjoint pathsfrom X1 to X2.
Ford Fulkerson : O(k2n
)(because the graph has at most kn edges, otherwise
it cannot have treewidth at most k)
33k ways of defining the partition X0,X1,X2 so O(27k .k2n
)for this step
therefore complexity O(27k .k2n2
)in total since the tree decomposition has
at most n nodes.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 114 / 121
![Page 293: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/293.jpg)
Here is how to compute a good separator S of size at most k wrt X :
S exists if and only if one can partition X into three subsets X1, X2, X0 suchthat
I X1 and X2 have size at most 2|X |/3,I X0 is a subset of a separator of size at most k separating V1 and V2 where
Xi ⊆ Vi
Equivalently if and only if in G \ X0, there are at most k − |X0| disjoint pathsfrom X1 to X2.
Ford Fulkerson : O(k2n
)(because the graph has at most kn edges, otherwise
it cannot have treewidth at most k)
33k ways of defining the partition X0,X1,X2 so O(27k .k2n
)for this step
therefore complexity O(27k .k2n2
)in total since the tree decomposition has
at most n nodes.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 114 / 121
![Page 294: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/294.jpg)
Here is how to compute a good separator S of size at most k wrt X :
S exists if and only if one can partition X into three subsets X1, X2, X0 suchthat
I X1 and X2 have size at most 2|X |/3,I X0 is a subset of a separator of size at most k separating V1 and V2 where
Xi ⊆ Vi
Equivalently if and only if in G \ X0, there are at most k − |X0| disjoint pathsfrom X1 to X2.
Ford Fulkerson : O(k2n
)(because the graph has at most kn edges, otherwise
it cannot have treewidth at most k)
33k ways of defining the partition X0,X1,X2 so O(27k .k2n
)for this step
therefore complexity O(27k .k2n2
)in total since the tree decomposition has
at most n nodes.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 114 / 121
![Page 295: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/295.jpg)
Here is how to compute a good separator S of size at most k wrt X :
S exists if and only if one can partition X into three subsets X1, X2, X0 suchthat
I X1 and X2 have size at most 2|X |/3,I X0 is a subset of a separator of size at most k separating V1 and V2 where
Xi ⊆ Vi
Equivalently if and only if in G \ X0, there are at most k − |X0| disjoint pathsfrom X1 to X2.
Ford Fulkerson : O(k2n
)(because the graph has at most kn edges, otherwise
it cannot have treewidth at most k)
33k ways of defining the partition X0,X1,X2 so O(27k .k2n
)for this step
therefore complexity O(27k .k2n2
)in total since the tree decomposition has
at most n nodes.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 114 / 121
![Page 296: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/296.jpg)
Here is how to compute a good separator S of size at most k wrt X :
S exists if and only if one can partition X into three subsets X1, X2, X0 suchthat
I X1 and X2 have size at most 2|X |/3,I X0 is a subset of a separator of size at most k separating V1 and V2 where
Xi ⊆ Vi
Equivalently if and only if in G \ X0, there are at most k − |X0| disjoint pathsfrom X1 to X2.
Ford Fulkerson : O(k2n
)(because the graph has at most kn edges, otherwise
it cannot have treewidth at most k)
33k ways of defining the partition X0,X1,X2 so O(27k .k2n
)for this step
therefore complexity O(27k .k2n2
)in total since the tree decomposition has
at most n nodes.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 114 / 121
![Page 297: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/297.jpg)
13 - FPT parametrized by size of the solution
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 115 / 121
![Page 298: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/298.jpg)
FPT algorithms
We want here FPT algorithms parametrized by size of solution.
Example :
Problem (Vertex Cover)
Input : G , kOutput : Does there exist a set X of size at most k such that every edge isincident to at least one vertex of S?
NP-Hard since Vertex Cover = Complement of Independent Set.
BUT an FPT parametrized by size of solution for one does not imply thesame for the other (No no(k) algorithm is known to decide if maxindependent set ≥ k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 116 / 121
![Page 299: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/299.jpg)
Existence of FPT via Robertson and Seymour Theorems
C is a class of graphs.
Problem (C + k vertices)
Input : G , kOutput : Does there exist a set X of size at most k such that G \ X ∈ C?
It generalizes several well known problems
C = stable sets ⇒ k-Vertex Cover
C = forests ⇒ k-Feedback Vertex Set Problem
We can answer this problem if C is minor closed :
if so, the set of YES instances is also minor closed (why?)
⇒ f (k)O(n3) algo by Robertson and Seymour theorems.
Problems : this is just existential proof since we do not know how to get thebounds (Robertson and Seymour theorems are not constructive). Moreovernot uniform : not the same algorithm for different values of k (forbiddenminors depend on k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 117 / 121
![Page 300: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/300.jpg)
Existence of FPT via Robertson and Seymour Theorems
C is a class of graphs.
Problem (C + k vertices)
Input : G , kOutput : Does there exist a set X of size at most k such that G \ X ∈ C?
It generalizes several well known problems
C = stable sets ⇒ k-Vertex Cover
C = forests ⇒ k-Feedback Vertex Set Problem
We can answer this problem if C is minor closed :
if so, the set of YES instances is also minor closed (why?)
⇒ f (k)O(n3) algo by Robertson and Seymour theorems.
Problems : this is just existential proof since we do not know how to get thebounds (Robertson and Seymour theorems are not constructive). Moreovernot uniform : not the same algorithm for different values of k (forbiddenminors depend on k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 117 / 121
![Page 301: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/301.jpg)
Existence of FPT via Robertson and Seymour Theorems
C is a class of graphs.
Problem (C + k vertices)
Input : G , kOutput : Does there exist a set X of size at most k such that G \ X ∈ C?
It generalizes several well known problems
C = stable sets ⇒ k-Vertex Cover
C = forests ⇒ k-Feedback Vertex Set Problem
We can answer this problem if C is minor closed :
if so, the set of YES instances is also minor closed (why?)
⇒ f (k)O(n3) algo by Robertson and Seymour theorems.
Problems : this is just existential proof since we do not know how to get thebounds (Robertson and Seymour theorems are not constructive). Moreovernot uniform : not the same algorithm for different values of k (forbiddenminors depend on k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 117 / 121
![Page 302: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/302.jpg)
Existence of FPT via Robertson and Seymour Theorems
C is a class of graphs.
Problem (C + k vertices)
Input : G , kOutput : Does there exist a set X of size at most k such that G \ X ∈ C?
It generalizes several well known problems
C = stable sets ⇒ k-Vertex Cover
C = forests ⇒ k-Feedback Vertex Set Problem
We can answer this problem if C is minor closed :
if so, the set of YES instances is also minor closed (why?)
⇒ f (k)O(n3) algo by Robertson and Seymour theorems.
Problems : this is just existential proof since we do not know how to get thebounds (Robertson and Seymour theorems are not constructive). Moreovernot uniform : not the same algorithm for different values of k (forbiddenminors depend on k).
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 117 / 121
![Page 303: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/303.jpg)
FPT algorithms through Tree Width methods
Example : k-Vertex Cover.
Decide whether tw(G ) ≤ k and find a tree decomposition of width k in thatcase
if tw > k answer NO (why?)
if tw ≤ k and with tree dec, decide G has a k-VC with DynamicProgramming
Both algoritmic steps have FPT algos.
Works as long as the problem we are solving has some property that implies thatthere is a bound t such that if tw(G ) > t then either the answer is always YES oralways NO.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 118 / 121
![Page 304: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/304.jpg)
Shifting Technique : Baker Strategy
This concerns Planar Graphs and many problems.
Definitionkouterplanar
a planar graph is said to be outerplanar (or 1-outerplanar) if there exists aplanar embedding of G where all its vertices lie on the outer face (forexample, K4 is planar but not outerplanar)
A embedding of a graph is k-outerplanar if by deleting its outer face, onegets an embedding that is k − 1-outerplanar graph.
A graph is k-outerplanar if has a k-outerplanar embedding.
Proposition
k-outerplanar graphs have treewidth at most 3k .
Proof : exercise
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 119 / 121
![Page 305: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/305.jpg)
Shifting Technique : Baker Strategy
Let G be a planar graph with a planar embedding, let L1 be its outer faceand for i ≥ 1, Li be the outer face of G \ ∪j<iLj .
For 0 ≤ s ≤ k, let Gs obtained by deleting all layers Li with i ≡ smod [k + 1].
Gs is k-outerplanar so one can apply bounded treewidth algo for each s
For at least one value s, one does not delete any of the k vertices of thesolution
Works for Subgraph isomorphism, Independent Set, VertexCover, Dominating Set...
Works also to get Polynomial Time Approx Scheme (PTAS) for the sameproblems.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 120 / 121
![Page 306: Graph Minor Theory and its algorithmic …1 - Characterization of graph classes by forbidden con gurations Pierre Aboulker - pierreaboulker@gmail.com Graph Minor Theory and its algorithmic](https://reader035.vdocuments.site/reader035/viewer/2022063011/5fc59eb7053cdc0b740b2780/html5/thumbnails/306.jpg)
Bidemensionality
Another powerful technique for planar graphs. We illustrate with k-vertex CoverHere are a few observations :
If H is a minor of G , then minVC (H) ≤ minVC (G ).
If the treewidth of a planar G is larger than 4k , it contains a grid Gk,k as aminor (planar excl. Grid Minor Theorem)
The grid Gk,k has no vertex cover of size at most k(k − 1)/2
This implies an FPT algorithm for k-VC in planar graph in time 2O(√k).nc :
If tw > 4√
2k + 1 one can answer NO,
otherwise we do dynamic programming as seen before
This type of approach works as long as the problem satisfies the following : theanswer is trivially YES or NO if the graph contains a large enough grid.
Pierre Aboulker - [email protected] Graph Minor Theory and its algorithmic consequences MPRI Graph Algorithms 121 / 121