Tree-width. September 14, 2015

Similar documents
Cographs; chordal graphs and tree decompositions

Dynamic Programming on Trees. Example: Independent Set on T = (V, E) rooted at r V.

Graph Minor Theory. Sergey Norin. March 13, Abstract Lecture notes for the topics course on Graph Minor theory. Winter 2017.

Tree-width and algorithms

The Strong Largeur d Arborescence

GUOLI DING AND STAN DZIOBIAK. 1. Introduction

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

Graph Minors Theory. Bahman Ghandchi. Institute for Advanced Studies in Basic Sciences (IASBS) SBU weekly Combinatorics Seminars November 5, 2011

An approximate version of Hadwiger s conjecture for claw-free graphs

On the Path-width of Planar Graphs

CLIQUES IN THE UNION OF GRAPHS

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

Tree-width and planar minors

Combinatorics and Optimization 442/642, Fall 2012

MINORS OF GRAPHS OF LARGE PATH-WIDTH. A Dissertation Presented to The Academic Faculty. Thanh N. Dang

The Erdős-Pósa property for clique minors in highly connected graphs

A simplified discharging proof of Grötzsch theorem

On (δ, χ)-bounded families of graphs

The Minimum Rank, Inverse Inertia, and Inverse Eigenvalue Problems for Graphs. Mark C. Kempton

Nested Cycles in Large Triangulations and Crossing-Critical Graphs

7 The structure of graphs excluding a topological minor

FORBIDDEN MINORS AND MINOR-CLOSED GRAPH PROPERTIES

Fine Structure of 4-Critical Triangle-Free Graphs II. Planar Triangle-Free Graphs with Two Precolored 4-Cycles

List-coloring the Square of a Subcubic Graph

arxiv: v1 [math.co] 17 Jul 2017

Graph coloring, perfect graphs

TREE-DECOMPOSITIONS OF GRAPHS. Robin Thomas. School of Mathematics Georgia Institute of Technology thomas

Graph Sparsity. Patrice Ossona de Mendez. Shanghai Jiao Tong University November 6th, 2012

Wydział Matematyki, Informatyki i Mechaniki UW. Sparsity. lecture notes. fall 2012/2013

Coloring square-free Berge graphs

Parity Versions of 2-Connectedness

MINIMALLY NON-PFAFFIAN GRAPHS

Fractional coloring and the odd Hadwiger s conjecture

Paul Erdős and Graph Ramsey Theory

Planar Graphs (1) Planar Graphs (3) Planar Graphs (2) Planar Graphs (4)

The edge-density for K 2,t minors

arxiv: v1 [cs.ds] 2 Oct 2018

Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows

Sergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada. and

GRAPH MINORS AND HADWIGER S CONJECTURE

4 Packing T-joins and T-cuts

Nowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E.

The path of order 5 is called the W-graph. Let (X, Y ) be a bipartition of the W-graph with X = 3. Vertices in X are called big vertices, and vertices

Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies

Berge Trigraphs. Maria Chudnovsky 1 Princeton University, Princeton NJ March 15, 2004; revised December 2, Research Fellow.

arxiv: v2 [math.co] 7 Jan 2019

Induced subgraphs of graphs with large chromatic number. VI. Banana trees

1 Notation. 2 Sergey Norin OPEN PROBLEMS

Induced subgraphs of graphs with large chromatic number. V. Chandeliers and strings

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).

EXCLUDING SUBDIVISIONS OF INFINITE CLIQUES. Neil Robertson* Department of Mathematics Ohio State University 231 W. 18th Ave. Columbus, Ohio 43210, USA

FIVE-LIST-COLORING GRAPHS ON SURFACES II. A LINEAR BOUND FOR CRITICAL GRAPHS IN A DISK

Cycles in 4-Connected Planar Graphs

Tree Decompositions and Tree-Width

Tree-chromatic number

K 4 -free graphs with no odd holes

POSETS WITH COVER GRAPH OF PATHWIDTH TWO HAVE BOUNDED DIMENSION

POSITIVE SEMIDEFINITE ZERO FORCING

Chromatic number, clique subdivisions, and the conjectures of

UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS

Induced subgraphs of graphs with large chromatic number. V. Chandeliers and strings

Ring Sums, Bridges and Fundamental Sets

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION

Partial characterizations of clique-perfect graphs I: subclasses of claw-free graphs

GRAPH SEARCHING, AND A MIN-MAX THEOREM FOR TREE-WIDTH. P. D. Seymour Bellcore 445 South St. Morristown, New Jersey 07960, USA. and

Induced Cycles of Fixed Length

STRUCTURAL PROPERTIES OF SPARSE GRAPHS. Contents. 1. Introduction Dense Graphs Sparse Graphs Nowhere Dense Graphs 5

THE EXTREMAL FUNCTIONS FOR TRIANGLE-FREE GRAPHS WITH EXCLUDED MINORS 1

Chordal Graphs, Interval Graphs, and wqo

Fine structure of 4-critical triangle-free graphs III. General surfaces

Rao s degree sequence conjecture

Induced subgraphs of graphs with large chromatic number. I. Odd holes

Extremal Functions for Graph Linkages and Rooted Minors. Paul Wollan

GIRTH SIX CUBIC GRAPHS HAVE PETERSEN MINORS

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**

Small Cycle Cover of 2-Connected Cubic Graphs

Classifying Coloring Graphs

Coloring graphs with forbidden induced subgraphs

Graph Classes and Ramsey Numbers

Characterizing binary matroids with no P 9 -minor

Computing branchwidth via efficient triangulations and blocks

Copyright 2013 Springer Science+Business Media New York

Dept. of Computer Science, University of British Columbia, Vancouver, BC, Canada.

Painting Squares in 2 1 Shades

k-degenerate Graphs Allan Bickle Date Western Michigan University

Nowhere-zero 3-flows in triangularly connected graphs

FIVE-LIST-COLORING GRAPHS ON SURFACES I. TWO LISTS OF SIZE TWO IN PLANAR GRAPHS

Decomposing planar cubic graphs

UNIQUENESS OF HIGHLY REPRESENTATIVE SURFACE EMBEDDINGS

On colorability of graphs with forbidden minors along paths and circuits

Even Pairs and Prism Corners in Square-Free Berge Graphs

Edge-maximal graphs of branchwidth k

On the Dynamic Chromatic Number of Graphs

Spanning Paths in Infinite Planar Graphs

Complexity of Inference in Graphical Models

arxiv: v3 [cs.dm] 18 Jan 2018

POSITIVE SEMIDEFINITE ZERO FORCING

Topics on Computing and Mathematical Sciences I Graph Theory (7) Coloring II

Dirac s Map-Color Theorem for Choosability

This is a repository copy of Chromatic index of graphs with no cycle with a unique chord.

Transcription:

Tree-width Zdeněk Dvořák September 14, 2015 A tree decomposition of a graph G is a pair (T, β), where β : V (T ) 2 V (G) assigns a bag β(n) to each vertex of T, such that for every v V (G), there exists n V (T ) such that v β(n) every vertex is in some bag, for every uv E(G), there exists n V (T ) such that u, v β(n) every edge is in some bag, and for every v V (G), the set {n V (T ) : v β(n)} induces a connected subtree of T every vertex appears in a connected subtree of the decomposition. Lemma 1. If S V (G) induces a clique in G and (T, β) is a tree decomposition of G, then there exists n V (T ) such that S β(n). Theorem 2. A graph is chordal if and only if it has a tree decomposition where every bag induces a clique. 1 Tree-width The width of the tree decomposition is the size of the largest bag minus one. The tree-width tw(g) of a graph G is the minimum width of a tree decomposition of G. Corollary 3. A graph G has tree-width at most k, if and only if G G for some chordal graph G with ω(g ) = k + 1. Corollary 4. Every graph of tree-width at most k contains a vertex of degree at most k. Examples: 1

G has tree-width at most 1 if and only if G is a forest. Any cycle has tree-width 2. The complete graph K n has tree-width n 1. A graph H is a minor of a graph G (H m G) if H is obtained from G by removing vertices and edges and by contracting edges. Lemma 5. If H m G, then tw(h) tw(g). Proof. Let (T, β) be a tree decomposition of G of width tw(g). If H is obtained from G by removing an edge, then (T, β) is a tree decomposition of H. If H is obtained from G by removing a vertex v, then (T, β ) is a tree decomposition of H, where β (n) = β(n) \ {v} for every n V (T ). If H is obtained from G by contracting the edge xy to a new vertex w, then (T, β ) is a tree decomposition of H, where β (n) = (β(n) \ {x, y}) {w} for every n V (T ) such that {x, y} β(n), and β (n) = β(n) for every n V (T ) such that {x, y} β(n) =. A model of H in G is a function µ : V (H) connected subgraphs of G such that µ(u) µ(v) = for every u v, and if uv E(H), then G has an edge with one end in µ(u) and the other end in µ(v). We denote one such edge by µ(uv). Observation 6. H is a minor of G if and only if H has a model in G. Corollary 7. If H is a minor of G and H has maximum degree at most 3, then H is a topological minor of G. Proof. Let µ be a model of H in G, chosen so that H = x V (H) E(H) µ(x) is minimal. Then for every v V (H), µ(v) uv E(H) µ(uv) is a subdivision of K 1, K 2 or K 1,3, and thus H is a subdivision of H. We can now give characterizations of graphs with tree-width 1 and 2 in terms of forbidden (topological) minors. 2

Theorem 8. tree-width at most 1 = Forb m (K 3 ) = Forb t (K 3 ) tree-width at most 2 = Forb m (K 4 ) = Forb t (K 4 ) tree-width at most k Forb m (K k+2 ) Forb t (K k+2 ) for k 3. Proof. By Lemma 1, we have tw(k n ) = n 1, and thus a graph of treewidth at most k cannot contain K k+2 as a minor. For k 3, Forb m (K k+2 ) includes all planar graphs, which have unbounded tree-width (see below). Hence, it remains to prove that Every graph without K 3 -minor (or K 3 -topological minor) has treewidth at most 1. Every graph without K 4 -minor (or K 4 -topological minor) has treewidth at most 2. Graphs without K 3 -minor are precisely forests, which have tree-width at most 1. For K 4 -minor-free graphs, we proceed by induction on the number of vertices. That is, we are given a graph G without without K 4 -minor, and assume that every K 4 -minor-free graph with less than V (G) vertices has tree-width at most 2. Note that G is not 3-connected: otherwise, let C be an induced cycle in G. Since G is 3-connected, we have G C, and thus G V (C) is non-empty. Since G is 3-connected, every component K of G V (C) has at least three distinct neighbors in C. Consequently, contracting K and all but three edges of C results in K 4, contrary to the assumption that K 4 m G. If V (G) 3, then G has tree-width at most two. Hence, assume that V (G) 4, and thus G contains a minimum cut S (of size at most 2). Let G 1 and G 2 be subgraphs of G such that V (G 1 ) S V (G 2 ), V (G 1 ) V (G 2 ) = S and G 1 G 2 = G. If S 1, then let G 1 = G 1 and G 2 = G 2. If S = {u, v}, then let G 1 = G 1 + uv and G 2 = G 2 + uv. Observe that G 1 and G 2 are minors of G, and thus they do not contain K 4 as a minor. For i {1, 2}, induction hypothesis implies that G i has a tree decomposition (T i, β i ) of width at most 2. By Lemma 1, there exists n i V (T i ) such that S β i (n i ). Let T = (T 1 T 2 )+n 1 n 2, and let β(n) = β 1 (n) for n V (T 1 ) and β(n) = β 2 (n) for n V (T 2 ). Then (T, β) is a tree decomposition of G of width at most two. 1.1 Minors and coloring Clearly, if G contains a clique of size k, its chromatic number is at least k. The converse is false, however Hadwiger conjectured a weak converse in 3

the terms of minors. Conjecture 1. For every k 1, every graph that does not contain K k as a minor has chromatic number at most k 1. For k = 5, this strengthens the 4-color theorem (since a planar graph does not contain K 5 as a minor, it is 4-colorable). Hadwiger s conjecture is known to be true for k = 5 and k = 6, in both cases by showing its equivalence with the 4-color theorem. For k 7, the conjecture is open. For k 4, we can prove even stronger statement. Lemma 9. For 1 k 4, every graph that does not contain K k topological minor has chromatic number at most k 1. as a Proof. A graph without K 1 has no vertices, and thus it can be colored by 0 colors. A graph without K 2 has no edges, and thus it can be colored by 1 color. For 3 k 4, Theorem 8 implies that every graph G without K k as a topological minor has tree-width at most k 2, and by Corollary 4, G contains a vertex v of degree at most k 2. Hence, we can color G by removing v, coloring G v by at most k 1 colors, and assigning v a color different from the colors of its neighbors. Let us note that the analogue of Lemma 9 for arbitrary k was conjectured by Hajós. Hajós conjecture is known to be false for k 7, and it is open for k {5, 6}. 1.2 Tree-width and cuts Let (T, β) be a tree decomposition of a graph G. Every edge of the tree decomposition defines a cut in G, as follows. For an edge n 1 n 2 E(T ), let [ T n1,n 2 be the component of T n 1 n 2 that contains n 2, and let G n1,n 2 = ] G n V (Tn1,n2 ) β(n). Observation 10. Let G be a graph, let (T, β) be its tree decomposition, and let n 1 n 2 be an edge of T. Then G = G n1,n 2 G n2,n 1 and V (G n1,n 2 ) V (G n2,n 1 ) = β(n 1 ) β(n 2 ). In particular, G contains no edge with one end in V (G n1,n 2 ) \ V (G n2,n 1 ) and the other end in V (G n2,n 1 ) \ V (G n1,n 2 ). Hence, graphs of bounded tree-width contain many small cuts. Lemma 11. If G is a graph of tree-width at most k, then there exists S V (G) of size at most k + 1 such that every component of G S has at most V (G) /2 vertices. 4

Proof. Let (T, β) be a tree decomposition of G of width at most k. Each of the bags of the decomposition has size at most k+1. We define an orientation of T as follows. For every edge nn E(T ) such that V (G n,n )\β(n) > V (G) /2, orient the edge nn towards n. Since T is a tree, we have E(T ) < V (T ), and thus T contains a vertex n such that no edge of T is oriented away from n. Hence, we can set S = β(n). The n n grid is the graph with vertex set {(i, j) : 1 i, j n} and two vertices (i 1, j 1 ) and (i 2, j 2 ) adjacent if i 1 i 2 + j 1 j 2 = 1. Corollary 12. The n n grid G n has tree-width at least n/2. Proof. Suppose that G n has tree-width at most n/2 1. By Lemma 11, there exists S V (G n ) of size at most n/2 such that every component of G n S has at most V (G n ) /2 vertices. However, at least n/2 of rows and columns of the grid are not intersected by S, which gives a component with more than V (G n ) /2 vertices. A slightly more involved argument shows that the n n grid has treewidth exactly n. The following result of Robertson and Seymour gives an approximate characterization of graphs with bounded tree-width. Theorem 13. For every n, there exists k such that every graph of tree-width at least k contains the n n grid as a minor. 2 Exercises 1. ( ) Prove that if G has tree-width at most k, then G has a tree decomposition (T, β) of width at most k such that V (T ) n. 2. ( ) A graph G is outerplanar if it can be drawn in plane so that every vertex of G is incident with the outer face. Prove that every outerplanar graph has tree-width at most 2. 5

3. ( ) Prove that outerplanar = Forb t (K 4, K 2,3 ). 4. ( ) A 2-terminal graph is a triple (G, u, v), where u and v are distinct vertices of G. For two 2-terminal graphs (G 1, u 1, v 1 ) and (G 2, u 2, v 2 ), their series composition is (G, u 1, v 2 ), where G is obtained from the disjoint union of G 1 and G 2 by identifying v 1 with u 2 ; and their parallel composition is (G, u, v), where G is obtained from the disjoint union of G 1 and G 2 by identifying u 1 with u 2 to a single vertex u, and v 1 with v 2 to a single vertex v. Let K 2 denote the 2-terminal graph (G, u, v), where V (G) = {u, v} and E(G) = {uv}. A 2-terminal graph (G, u, v) is series-parallel if can be obtained by a sequence of series and parallel compositions from copies of K 2. Prove that (G, u, v) is series-parallel, if and only if G + uv is 2-connected and has tree-width at most 2. 5. ( ) Prove that if G is a graph of tree-width at most k, then it has induced subgraphs G 1 and G 2 such that G = G 1 G 2, V (G 1 ) V (G 2 ) k + 1, V (G 1 ) \ V (G 2 ) 2 V (G) and V (G 3 2) \ V (G 1 ) 2 V (G). 3 6