Cographs; chordal graphs and tree decompositions

Similar documents
Tree-width. September 14, 2015

Tree-width and algorithms

CLIQUES IN THE UNION OF GRAPHS

Probe interval graphs and probe unit interval graphs on superclasses of cographs

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

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

Strongly chordal and chordal bipartite graphs are sandwich monotone

Extremal Graphs Having No Stable Cutsets

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

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

Definitions Results. Polar cographs 1 IMA-ROSE. Ecole Polytechnique Fédérale de Lausanne, Switzerland

K 4 -free graphs with no odd holes

HW Graph Theory SOLUTIONS (hbovik) - Q

Triangle-free graphs with no six-vertex induced path

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

Locating-Total Dominating Sets in Twin-Free Graphs: a Conjecture

Enumerating minimal connected dominating sets in graphs of bounded chordality,

Even Pairs and Prism Corners in Square-Free Berge Graphs

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

The edge-density for K 2,t minors

Fixed Parameter Algorithms for Interval Vertex Deletion and Interval Completion Problems

Graph coloring, perfect graphs

arxiv: v1 [cs.ds] 2 Oct 2018

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

arxiv: v1 [math.co] 28 Oct 2016

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

Ring Sums, Bridges and Fundamental Sets

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

Decompositions of graphs into cycles with chords

A characterization of diameter-2-critical graphs with no antihole of length four

5-list-coloring planar graphs with distant precolored vertices

Tree-width and planar minors

4-coloring P 6 -free graphs with no induced 5-cycles

Properties of θ-super positive graphs

Chordal Graphs, Interval Graphs, and wqo

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

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

Perfect matchings in highly cyclically connected regular graphs

Partial characterizations of clique-perfect graphs II: diamond-free and Helly circular-arc graphs

Notes on Graph Theory

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. Boundary cliques, clique trees and perfect sequences of maximal cliques of a chordal graph

Graphs with few total dominating sets

Toughness and prism-hamiltonicity of P 4 -free graphs

Graph Classes and Ramsey Numbers

Hamiltonian problem on claw-free and almost distance-hereditary graphs

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

A simplified discharging proof of Grötzsch theorem

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

Copyright 2013 Springer Science+Business Media New York

GUOLI DING AND STAN DZIOBIAK. 1. Introduction

List-coloring the Square of a Subcubic Graph

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

Claw-free Graphs. III. Sparse decomposition

The structure of bull-free graphs II elementary trigraphs

4 Packing T-joins and T-cuts

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

Technische Universität Ilmenau Institut für Mathematik

UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS

Even Cycles in Hypergraphs.

Discrete Mathematics

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

Finite Induced Graph Ramsey Theory: On Partitions of Subgraphs

5-list-coloring planar graphs with distant precolored vertices

Parity Versions of 2-Connectedness

arxiv: v1 [cs.dm] 26 Apr 2010

Partial cubes: structures, characterizations, and constructions

On improving matchings in trees, via bounded-length augmentations 1

Induced Subgraph Isomorphism on proper interval and bipartite permutation graphs

Clique numbers of graph unions

Decomposing planar cubic graphs

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

1.3 Vertex Degrees. Vertex Degree for Undirected Graphs: Let G be an undirected. Vertex Degree for Digraphs: Let D be a digraph and y V (D).

On Powers of some Intersection Graphs

Triangle-free graphs that do not contain an induced subdivision of K 4 are 3-colorable

Counting independent sets of a fixed size in graphs with a given minimum degree

Induced subgraphs of graphs with large chromatic number. VIII. Long odd holes

Induced Saturation of Graphs

A short course on matching theory, ECNU Shanghai, July 2011.

2-bondage in graphs. Marcin Krzywkowski*

Three-coloring triangle-free graphs on surfaces VII. A linear-time algorithm

CHAPTER 7. Connectedness

THE COMPLEXITY OF DISSOCIATION SET PROBLEMS IN GRAPHS. 1. Introduction

Tree-chromatic number

k-degenerate Graphs Allan Bickle Date Western Michigan University

Characterizing binary matroids with no P 9 -minor

CATERPILLAR TOLERANCE REPRESENTATIONS OF CYCLES

ON THE CORE OF A GRAPHf

GLOBAL MINUS DOMINATION IN GRAPHS. Communicated by Manouchehr Zaker. 1. Introduction

Induced Cycles of Fixed Length

Bichain graphs: geometric model and universal graphs

The minimum G c cut problem

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

Three-coloring triangle-free graphs on surfaces III. Graphs of girth five

CYCLE STRUCTURES IN GRAPHS. Angela K. Harris. A thesis submitted to the. University of Colorado Denver. in partial fulfillment

INDUCED CYCLES AND CHROMATIC NUMBER

Perfect divisibility and 2-divisibility

f 0 (a,b,c,w,x,y,z) = ay cxy bw bz is a read-once function since it can be factored into the expression

R(p, k) = the near regular complete k-partite graph of order p. Let p = sk+r, where s and r are positive integers such that 0 r < k.

On the mean connected induced subgraph order of cographs

Exact Algorithms for Dominating Induced Matching Based on Graph Partition

Transcription:

Cographs; chordal graphs and tree decompositions Zdeněk Dvořák September 14, 2015 Let us now proceed with some more interesting graph classes closed on induced subgraphs. 1 Cographs The class of cographs is defined recursively as follows. The graph with one vertex is a cograph. The disjoint union of two cographs is a cograph. The complement of a cograph is a cograph. A graph is a cograph if and only if it can be obtained by a finite number of applications of these rules. For example, K 4 is a cograph, because its complement is a union of single-vertex graphs. Theorem 1. Forb (P 4 ) = cographs. Proof. Firstly, note that the class of cographs is induced-subgraph-closed. Furthermore, P 4 is not a cograph, since it has more than one vertex and both P 4 and its complement are connected. Hence, if a graph G contains P 4 as an induced subgraph, then G is not a cograph, and thus Forb (P 4 ) cographs. Therefore, we only need to prove that every graph G such that P 4 G is a cograph. We prove the claim by induction, and thus we assume that the claim holds for all graphs with less than V (G) vertices. Since all graphs with at most 3 vertices are cographs, we can assume that V (G) 4. If G is not connected, then by induction hypothesis, all the components of G are cographs, and thus G is a cograph. Hence, assume that G is connected. 1

Consider any vertex v V (G), and let G = G v. Note that P 4 G, and by the induction hypothesis, G is a cograph. Suppose first that G is not connected, and let C 1,..., C n be the components of G. Since G is connected, v has a neighbor u i V (C i ) for 1 i n. If v is adjacent to all vertices of G, then G = G {v} is a cograph. Hence, we can assume that a vertex w 1 V (C 1 ) is not adjacent to v. Since C 1 is connected, we can assume that u 1 is adjacent to w 1. However, then w 1 u 1 vv 2 is an induced path in G, which contradicts the assumption that P 4 G. Finally, consider the case that G is connected. Since G is a cograph with more than one vertex, its complement is not connected. Furthermore, P 4 = P 4, and thus P 4 G. By the same argument as in the previous paragraph, we prove that G is a cograph, and thus G is a cograph. A graph G is chordal if no cycle of length greater than 3 is induced, that is, chordal = Forb (holes). There are several related characterization of chordal graphs. For a connected graph G, S V (G) is a minimal cut if G S is not connected, but G S is connected for every S S. Observe that every vertex of a minimal cut S has a neighbor in every component of G S. Lemma 2. If a connected graph G is chordal, then every minimal cut S V (G) induces a clique. Proof. Suppose that u, v S are not adjacent. Let C 1 and C 2 be components of G S. Since S is a minimal cut, both u and v have neighbors both in C 1 and in C 2. For i {1, 2}, let P i be a shortest path between u and v through C i. Then P 1 P 2 is an induced hole in G, which contradicts the assumption that G is chordal. Theorem 3. If G is chordal and not a clique, then there exist G 1, G 2 G such that G = G 1 G 2 and G 1 G 2 is a clique. Proof. If G is not connected, we can take G 1 to be a component of G and G 2 = G\V (G 2 ). Hence, assume that G is connected. Since G is not a clique, there exist vertices x, y V (G) that are not adjacent. Let S 0 = V (G)\{x, y}. Then G S 0 is not connected. Consequently, there exists S S 0 such that S is a minimal cut. Let G S = C 1 C 2, where C 1 and C 2 are non-empty and disjoint. Then we can set G 1 = G V (C 2 ) and G 2 = G V (C 1 ). Note that G 1 G 2 = G[S] is a clique by Lemma 2. Observe also that if G 1 and G 2 are chordal and G 1 G 2 is a clique, then G 1 G 2 is chordal. Hence, every chordal graph can be obtained using a finite number of applications of these rules: 2

A complete graph is chordal. If G 1 and G 2 are chordal and G is obtained from G 1 and G 2 by gluing on a clique, then G is chordal. A vertex v V (G) is simplicial if the neighborhood of v in G induces a clique. Lemma 4. If G is chordal and not a clique, then G contains two nonadjacent simplicial vertices. Proof. We prove the claim by induction, and thus we assume that it holds for all graphs with less than V (G) vertices. By Theorem 3, there exist G 1, G 2 G such that G = G 1 G 2 and G 1 G 2 is a clique. For i {1, 2}, if G i is not a clique, then by the induction hypothesis, G i contains two nonadjacent simplicial vertices, and at most one of them belongs to the clique G 1 G 2. Let v i be a simplicial vertex of G i not belonging to G 1 G 2. If G i is a clique, then let v i be any vertex of G i not belonging to G 1 G 2. Since neither v 1 nor v 2 belong to G 1 G 2, observe that v 1 and v 2 are non-adjacent simplicial vertices of G. Theorem 5. A graph G is chordal if and only if every induced subgraph of G contains a simplicial vertex. Proof. Every induced subgraph of a chordal graph is chordal, and contains a simplicial vertex by Lemma 4. Hence, it suffices to prove that if every induced subgraph of G contains a simplicial vertex, then G is chordal. We prove the claim by induction on the number of vertices of G, and thus we assume that the claim holds for all graphs with less than V (G) vertices. Let v be a simplicial vertex of G. By the induction hypothesis, G v is chordal, and thus every induced hole in G contains v. However, for any hole C = uvwz 1 z 2... G, the vertices u and w are adjacent, and thus C is not induced. It follows that G is chordal. 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 3

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. The width of the tree decomposition is the size of the largest bag minus one. Example: a tree decomposition of C 12 of width 4. v 5 v 4 v 3 v 2 v 1 v 1 v 2 v 3 v 4 v 5 v 6 v 1 v 3 v 4 v 6 v 12 v 6 v 12 v 6 v 7 v 9 v 10 v 12 v 7 v 8 v 9 v 10 v 11 v 7 v 8 v 9 v 10 v 11 v 12 A tree decomposition (T, β) is reduced if every n 1 n 2 β(n 1 ) β(n 2 ) and β(n 2 ) β(n 1 ). E(T ) satisfies Lemma 6. For every tree decomposition (T, β) of G, there exists a reduced tree decomposition (T, β ) of G such that each bag of (T, β ) is equal to some bag of (T, β). Proof. Suppose that n 1 n 2 E(T ) satisfies β(n 1 ) β(n 2 ). Let T 1 be the tree obtained from T by contracting the edge n 1 n 2, and let n V (T 1 ) be the vertex obtained from n 1 and n 2 by this contraction. Let β 1 : V (T 1 ) 2 V (G) be defined by β 1 (n) = β(n 2 ) and β 1 (n ) = β(n ) for every n V (T 1 ) \ {n}. Then (T 1, β 1 ) is a tree decomposition of G with fewer vertices. By repeating this operation as long as possible, we eventually obtain a reduced tree decomposition of G. Corollary 7. If G has a tree decomposition of width at most k, then the minimum degree of G is at most k. Proof. Let (T, β) be a reduced tree decomposition of G of width at most k, and let n be a leaf of T. Since (T, β) is reduced, there exists v V (G) such that v only appears in the bag of n. Hence, all neighbors of v belong to β(n), and thus deg(v) β(n) 1 k. Lemma 8. If G is a complete graph, then G has only one reduced tree decomposition: tree with one vertex with bag equal to V (G). 4

Proof. Let (T, β) be a reduced tree decomposition of G, and suppose that T has an edge n 1 n 2. Since (T, β) is reduced, there exists x β(n 1 ) \ β(n 2 ) and y β(n 2 ) \ β(n 1 ). Let T x be the subtree of T induced by the vertices whose bags contain x, and let T y be the subtree of T induced by the vertices whose bags contain y. Since n 1 V (T x ) and n 2 V (T y ), the edge n 1 n 2 belongs neither to T x nor to T y. Hence, T x and T y are subgraphs of different components of T n 1 n 2, and thus they are disjoint. However, xy E(G) implies that some bag contains both x and y, which is a contradiction. Therefore, a reduced tree decomposition of G has no edges. Corollary 9. 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). Proof. Let β 1 : V (T ) 2 S be defined by β 1 (n) = β(n) S for every n V (T ). Then (T, β 1 ) is a tree decomposition of the clique G[S]. By Lemma 6, there exists a reduced tree decomposition (T 2, β 2 ) of G[S] whose every bag is equal to some bag of (T, β 1 ). By Lemma 8, T 2 has only one vertex n 2, and β 2 (n 2 ) = S. Let n be a vertex of T such that β 2 (n 2 ) = β 1 (n). We have S = β 2 (n 2 ) = β 1 (n) β(n). Theorem 10. A graph G is chordal if and only if it has a tree decomposition (T, β) such that every bag induces a clique. Proof. Suppose that G is chordal. We proceed by induction, and thus we can assume that the claim holds for all graphs with less than V (G) vertices. If G is a clique, then we can set V (T ) = {n} and β(n) = V (G). Hence, assume that G is not a clique, and by Theorem 3, there exist G 1, G 2 G such that G = G 1 G 2 and G 1 G 2 is a clique. For i {1, 2}, the induction hypothesis implies that there exists a tree decomposition (T i, β i ) of G i such that every bag induces a clique. By Corollary 9, there exists n i V (T i ) such that V (G 1 G 2 ) β i (n i ). Let T be the tree obtained from T 1 and T 2 by adding the edge n 1 n 2. Let β be defined by β(n) = β 1 (n) if n V (T 1 ) and β(n) = β 2 (n) if n V (T 2 ). Then (T, β) is a tree decomposition of G such that every bag induces a clique. Conversely, suppose that G has a tree decomposition (T, β) such that every bag induces a clique. Consider a cycle C G, and let β : V (T ) 2 V (C) be defined by β (n) = β(n) V (C) for every n V (T ). Then, (T, β ) is a tree decomposition of C such that every bag induces a clique. By Corollary 7, any tree decomposition of a cycle must contain a bag of size at least three, and thus C contains a clique of size three. Therefore, C is a triangle. It follows that G contains no induced hole, and thus G is chordal. 5

2 Exercises 1. ( ) Let C be the class of graphs that can be obtained by a finite number of applications of these rules: The graph with one vertex belongs to C. For any G 1, G 2 C, the disjoint union of G 1 and G 2 belongs to C. For any G 1, G 2 C, the complete join of G 1 and G 2 (the graph obtained from the disjoint union of G 1 and G 2 by adding all edges with one end in G 1 and the other end in G 2 ) belongs to C. Prove that C is exactly the class of all cographs. 2. ( ) A graph G is a split graph if its vertex set can be partitioned to an independent set and a clique (with arbitrary edges between the two parts), i.e., there exist disjoint A, B V (G) such that A B = V (G), G[A] is an independent set and G[B] is a clique. Prove that Forb (C 4, C 5, 2K 2 ) = split graphs. Hint: first show that all graphs in Forb (C 4, C 5, 2K 2 ) are chordal. 3. ( ) Let (T, β) be a tree decomposition of G. Let n 1, n 2 and n 3 be vertices of T such that n 2 lies on the path between n 1 and n 3 in T. Prove that every path in G from β(n 1 ) to β(n 3 ) intersects β(n 2 ). 6