PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS

Size: px
Start display at page:

Download "PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS"

Transcription

1 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS PETER BALLEN Abstract. The theory of perfect graphs relates the concept of graph colorings to the concept of cliques. In this paper, we introduce the concept of a perfect graph as well as a number of graph classes that are always perfect. We next introduce both the Weak Perfect Graph Theorem and the Strong Perfect Graph Theorem and provide a proof of the Weak Perfect Graph Theorem. We also demonstrate an application of perfect graphs, using perfect graphs to prove both Mirsky's Theorem and Dilworth's Theorem. 1. Introduction The theory of perfect graphs relates the concept of graph colorings to the concept of cliques. Aside from having an interesting structure, perfect graphs are considered important for three reasons. First, several common classes of graphs are known to always be perfect. Second, a number of important algorithms only work on perfect graphs. Finally, perfect graphs can be used in a wide variety of applications, ranging from scheduling to order theory to communication theory. Ÿ2 introduces several basic graph theory denitions as well as a few technical results that will be used in later sections. Ÿ3 introduces the concept of a perfect graph and proves a few classes of graphs are perfect. Ÿ3 also introduces the Weak Perfect Graph Theorem and the Strong Perfect Graph Theorem and provides a proof of the Weak Theorem. Ÿ4 discusses applications of perfect graphs both within and outside of graph theory. Our primary application will be using perfect graphs to prove two order theory theorems: Mirsky's Theorem and Dilworth's Theorem. 2. Graph Theory Concepts Ÿ2 is broken into three subsections. Ÿ2.1 introduces the concept of a graph. Ÿ2.2 introduces cliques and independence sets. Ÿ2.3 introduces graph colorings Graphs. Denition 2.1. A graph G = (V, E) consists of a set of vertices V and a set of edges E. Elements of V are distinct. Elements of E are 2-sets of the form {x, y}, where x and y are both vertices in V. The order of a graph G is equal to the cardinality of V and is denoted G. V is called the vertex set of G and E is the edge set of G. In this paper, we'll use the phrase let G = (V, E) to mean let G be a graph with vertex set V and edge set E. Additionally, the phrase let x G will mean let x be a vertex in G. There are two common methods used to describe a graph. The rst method is to mathematically describe V and E. The second method is to use a picture where 1

2 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 2 vertices are represented as points and edges are represented as lines that connect two vertices. We will use both methods in this paper. Example 2.2. We will use a graph throughout the paper to illustrate several graph theory concepts. The house graph is a graph with vertex set V = {a, b, c, d, e} and edge set E = {{a, b}, {b, c}, {c, d}, {d, e}, {e, a}, {c, e}}. The house graph has order 5. Figure 2.1 depicts a visual representation of the house graph. Figure 2.1. The house graph Remark. We draw attention to three special classes of graphs. Let G = (V, E). If V is empty, we refer to G as an order-zero graph. Order-zero graphs are generally regarded as uninteresting, but can be annoying to work with; many graph theorems and denitons do not make sense when discussed in the context of order-zero graphs. If V is innite, G is called an innite graph. Innite graphs are quite interesting, but are beyond the scope of this paper: see [5] for more information on the subject. Finally, if E contains no duplicates, and {x, x} / E for any x G, then G is called a simple graph. In a simple graph, no two vertices are connected by more than one edge, and no vertex is connected to itself. This paper only discusses simple graphs that are not innite and not order-zero. Thus, when we use the word graph, we mean a simple graph with a nite non-zero number of vertices. Denition 2.3. Let G = (V, E). G = (V, E ) is called a subgraph of G if V V and E E. G is a proper subgraph of G if G G. G is an induced subgraph of G if for every x, y V, {x, y} E if and only if {x, y} E. This paper is primarily interested in induced subgraphs. An induced subgraph can be uniquely identied by its vertices; the edge set can be determined from V and E. Example 2.4. Figure 2.2 and 2.3 both depict subgraphs of the house graph. The graph in Figure 2.2 is not an induced subgraph because it is missing the edge {d, e}. The graph in Figure 2.3 is an induced subgraph, and could be described as the induced subgraph with vertex set {b, c, d, e}.

3 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 3 Figure 2.2. A noninduced subgraph Figure 2.3. An induced subgraph Denition 2.5. Let G = (V, E) be a graph. G = (V, E ) is called the converse of G if E = {{x, y} : x, y V, {x, y} / E}, i.e. every vertex that was connected by an edge in G is not connected in G, and every vertex that was not connected by an edge in G is connected in G. It is useful to note that G = G. Example 2.6. Let G be the house graph. Then G = (V, E ), where V = {a, b, c, d, e} and E = {{e, b}, {b, d}, {d, a}, {a, c}}. G is depicted in Figure 2.4. Figure 2.4. The converse of the house graph

4 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 4 Denition 2.7. Let G = (V, E) and G = (V, E ). We say G is isomorphic to G if there is a bijective function ψ : V V such that {x, y} E if and only if {ψ(x), ψ(y)} E. ψ is called a graph isomorphism. Graph isomorphism are often discussed in the context of vertex relabeling. For example, we could relabel vertices of the house graph {v 1, v 2, v 3, v 4, v 5 } instead of {a, b, c, d, e}. Relabeling vertices does not change the fundamental structure of the graph. For example, if G 1 is isomorphic to G 2, then G 1 is isomorphic to G Neighbors and Independence. Given two vertices x and y, we are often interested in discussing whether x and y are connected by an edge. Denition 2.8. Two distinct vertices x, y G are independent if {x, y} is not an edge in G. Vertices x and y are neighbors if {x, y} is an edge in G. Example 2.9. Returning to the house graph in Figure 2.1, a is independent from c and d, a is neighbors with b and e, and a is neither neighbors nor independent with itself. If x and y are independent vertices in G, then x and y are neighbors in G. Similarly, if x and y are neighbors in G, then they are independent in G. Denition Let G = (V, E). An independence set of G is a set A V where every pair of vertices in A is independent. The independence number of a graph is the size of the largest independence set of that graph and is denoted α(g). Example Let G be the house graph. The house graph has nine independence sets, described below. The largest independence set has two vertices, so α(g) = 2 Five independence sets with a single vertex {a}.{b}, {c}, {d}, {e} Four independence sets with two vertices {a, c}, {a, d}, {b, d}, {b, e} Denition Let G = (V, E). A clique of G is a set K V where every pair of vertices in K are neighbors. The clique number of a graph is the size of the largest clique of that graph and is denoted ω(g). Example Let G be the house graph. The house graph contains 12 cliques, described below. The largest clique has three vertices, so ω(g) = 3. Five cliques with a single vertex: {a}, {b}, {c}, {d}, {e} Six cliques with two vertices: {a, b}, {b, c}, {c, d}, {d, e}, {e, a}, {b, d} One clique with three vertices: {c, d, e} There are two important relationships between cliques and independence sets. Just as independent vertices in G are neighboring vertices in G, independence sets of G are cliques of G. Similarly, cliques of G are independence sets of G. Thus, for any graph G, α(g) = ω(g) and ω(g) = α(g). Proposition Let G be a graph. Let A be an independence set of G and let K be a clique of G. Then A K 1. Proof. Suppose A K > 1. Let x, y A K where x y. Then x, y A, so x and y are independent and not neighbors. But x, y K, so x and y are neighbors.

5 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 5 Relationship between vertices are preserved under graph isomorphisms. Let G and G be graphs with graph isomorphism ψ. Then x and y are independent in G if and only if ψ(x) and ψ(y) are independent in G. The same is true for neighboring vertices. Similarly, A is an independence set of G if and only if ψ(a) is an independence set of G, and by extension α(g) = α(g ). The same is true for cliques and clique number. We'll end the subsection by denining a special class of graphs: complete graphs. Denition A graph G = (V, E) is a complete graph if every vertex of G is neighbors with every other vertex. A complete graph with n vertices is often denoted K n. If K n is a complete graph of order n, α(k n ) = 1 and ω(k n ) = n. Figure 2.5 depicts complete graphs of order 1, 2, 3, 4, and 5. Figure 2.5. From left to right, complete graphs of order 1, 2, 3, 4, and Graph Colorings. Denition A coloring of a graph G = (V, E) is a surjective function c : V S such that if x and y are neighboring vertices in G then c(x) c(y). If S has k elements, we call c a k-coloring of G. S is often thought of as either a set of colors {red, green, blue,...} or as a set of integers {1, 2, 3,...}. If G is a graph with order n, there always exists an n-coloring of G by assigning every vertex a unique color. However, because c is surjective, S V, and G cannot have an (n + 1)-coloring. Remark. In this paper, we will never use black as part of a coloring. Vertices drawn in black (such as the previous graphs) will be used when we are not interested in discussing colorings. Example Let G be the house graph. We dene a 3-coloring c of G by the following function, which is visually represented in Figure 2.6. c(a) = c(c) = green, c(b) = c(e) = blue, c(d) = red There are often multiple k-colorings for a given graph; we could create a dierent 3-coloring for the house graph by setting c(a) = red. We can also create a 4- coloring for the house graph by setting c(a) = purple or a 5-coloring by assigning every vertex a unique color. Is there a 2-coloring of the house graph? No, as the following proposition will demonstrate.

6 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 6 Figure 2.6. The house graph along with a 3-coloring. Proposition Let G be a graph and K be a clique of G. If c is a coloring of G, c assigns every vertex in K a dierent color. Proof. If x and y are distinct vertices in K, they are neighbors so by denition c(x) c(y). The set {c, d, e} is a clique of the house graph, so each of these three vertices must be assigned a dierent color. We are often interested in nding the smallest possible coloring of a graph. Denition Let G be a graph such that there exists a k-coloring of G but there does not exist a (k 1)-coloring of G. The chromatic index of G is equal to k is denoted χ(g). The house graph has chromatic index 3, since a 3-coloring of the house graph exists, but there is no 2-coloring of the house graph. Finding the chromatic index of an arbitrary graph can be dicult. It is often easier to nd lower and upper bounds on the chromatic index. This paper only takes advantage of two easily proven lower bounds, but a great deal of research has gone into nding much more precise bounds. Proposition For any graph G, ω(g) χ(g), i.e. graph is always less than or equal to its chromatic index. the clique number of a Proof. There exists a clique K of G with cardinality ω(g). By Proposition 2.18, every vertex in K must be assigned a dierent color. Thus, ω(g) χ(g). One immediate consequence of this proposition is that the chromatic index of a complete graph is equal to its order, since n = ω(k n ) χ(k n ) n. While this proposition is useful, we will occasionally apply it in a slightly modied form. Corollary Let G be a graph along with a k-coloring c. If ω(g) = k, then ω(g) = χ(g). Proof. If there exists a k-coloring of G, then χ(g) k = ω(g) by denition. But by Proposition 2.20, ω(g) χ(g). Thus, ω(g) = χ(g).

7 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 7 Proposition For any graph G, G α(g) χ(g). Proof. Let G = (V, E) be a graph and let c : V S be a χ(g)-coloring of G. For any r S, let V r = {v V : c(v) = r}. No two neighboring vertices can be assigned the same color, so no two vertices in V r are neighbors and V r is an independence set. Since α(g) is the size of the largest independence set of G, V r α(g). Furthermore, since every vertex is colored by exactly one color, and there are exactly χ(g) colors, the following equation holds: G = r S V r r S α(g) = α(g) S = α(g) χ(g) G An immediate consequence of this theorem is that for any graph G, α(g) χ(g). We end the subsection by stating that chromatic index is preserved under graph isomorphism; if G and G are isomorphic then χ(g) = χ(g ). 3. Perfect Graphs and the Perfect Graph Theorems Ÿ3 is broken into three subsections. Ÿ3.1 introduces a few classes of graphs that are always perfect. Ÿ3.2 introduces and proves the Weak Perfect Graph Theorem. Ÿ3.3 introduces the Strong Perfect Graph Theorem. Without further delay, we are ready to dene a perfect graph. Denition 3.1. A graph G is perfect if for every induced subgraph H of G, ω(h) = χ(h). This includes the improper subgraph where H = G. Note that if H is an induced subgraph of G, every induced subgraph of H is also an induced subgraph of G. Thus, if G is a perfect graph, then every induced subgraph of G is also perfect. Perfection is preserved under graph isomorphism; if G and G are isomorphic then G is perfect if and only if G is perfect Examples of Perfect Graphs. One reason perfect graphs are considerd important is the wide range of graph classes that end up being perfect. Both graphs we introduced in Ÿ2, complete graphs and the house graphs, are examples of perfect graphs. Theorem 3.2. All complete graphs are perfect. Proof. We will prove this theorem using induction on the order of the graph. The complete graph of order 1 (K 1 ) is perfect, since ω(k 1 ) = χ(k 1 ) = 1 and K 1 has no proper induced subgraphs. Assume that complete graphs of order n are perfect. Let K n+1 be a complete graph of order n + 1 and let H be an induced subgraph of K n+1. All induced subgraphs of complete graphs are complete graphs. If H is a proper subgraph of K n+1, it is a complete graph of order n or less and is perfect by the induction hypothesis, thus ω(h) = χ(h). Finally, if H = K n+1, ω(k n+1 ) = χ(k n+1 ) = n + 1. Every order 1 graph is a complete graph, so every order 1 graph is perfect. Theorem. The house graph is perfect.

8 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 8 We could certainly consider every induced subgraph H of the house graph and show ω(h) = χ(h). However, there are 51 induced subgraphs to check. Rather than prove the theorem using the denition of perfect graphs, we defer this proof until Ÿ4, where we will use the Weak Perfect Graph Theorem to easily show the house graph is perfect. We now introduce a new class of graphs: open chains. Denition 3.3. Let G = (V, E). G is an open chain if V = {v 1, v 2,... v n } and E = {{v 1, v 2 }, {v 2, v 3 },... {v n 1, v n }}. Figure 3.1 depicts an open chain of order 7 along with a 2-coloring: v i is colored red if i is odd and is colored blue if i is even. Figure 3.1. An open chain of order 7 Theorem 3.4. All open chains are perfect. Proof. Let G = (V, E) be an open chain, using the same notation as Denition 3.3. Let H be an induced subgraph of G. There are two potential cases. Case I: H contains no neighboring vertices, for example Figure 3.2. If H contains no neighboring vertices, ω(h) = 1. The function c(v i ) = red for all v H is a 1-coloring of H, so by Corollary 2.21, ω(h) = χ(h). Case II: H contains neighboring vertices, for example Figure 3.3. There are no cliques of size three or greater, so ω(h) = 2. The function c (dened below) is a 2-coloring of H, so χ(h) = ω(h). { red i is odd c(v i ) = blue i is even Figure 3.2. An induced subgraph with no neighbors Figure 3.3. An induced subgraph with neighbors There are several other classes of perfect graphs. We will introduce two more classes of perfect graphs in Ÿ4. A short selection of interesting graphs that are perfect includes: bipartite graphs, interval graphs, permutation graphs, rigid-circuit graphs, split graphs, and threshold graphs. We do not discuss all of these graphs in this paper; interested readers are directed to [7].

9 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS The Weak Perfect Graph Theorem. Checking every induced subgraph is one way to show that a graph is perfect. However, for complicated graphs with large order, this quickly becomes unfeasable. Even the relatively simple house graph has 51 induced subgraphs to check. Fortunately, the Weak and Strong Perfect Graph Theorems provide a way to prove that a graph or class of graphs is perfect without checking every subgraph. Both theorems were conjectured by Claude Berge in 1961[1]. The Weak Perfect Graph Theorem was proved by László Lovász in 1972 [8]. The proof we present is based o of Lovász's work, as well as the work done by Reinhard Diestel in [3]. Before we can present the proof, we require a bit of setup. Denition 3.5. Let G = (V, E) be a graph and let x be a vertex in G. Let G = (V, E ) where V = V {x } and E is the union of E, the edge {x, x}, and the edges {x, n} for each vertex n G that is neighbors with x. We refer to G as the graph obtained from G by expanding x to an edge {x, x }. Example 3.6. Let G be the graph obtained from the house graph by expanding c to an edge {c, c }. G is drawn in Figure 3.4, along with the 4-coloring c(a) = c(c) = green, c(b) = c(e) = blue, c(d) = red, c(c ) = yellow. Figure 3.4. The graph obtained from the house graph by expanding c to an edge {c, c } Lemma 3.7. Let G be a perfect graph and x G. Let G be the graph obtained by expanding x to an edge {x, x }. Then α(g) = α(g ). Proof. Every independence set of G is also an independence set of G, so α(g) α(g ). Let A be an independence set of G. If x / A, A is also an independence set of G. If x A, then neither x nor any vertex neighboring x is in A, since all of these vertices neighbor x. Then A = (A {x }) {x} is an independence set of G, since no vertex that neighbors x is in A. Note that A = A. Therefore, for every independence set of G, there exists an independence set of G with the same size. Thus, α(g) α(g ). Lemma 3.8. Let G be a graph with x G and let G be the graph obtained by expanding x to an edge {x, x }. If G is perfect, then G is perfect.

10 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 10 Proof. We will use induction on the order of G. If G has order 1, G is a complete graph of order 1 and G is a complete graph of order 2, thus G is perfect. Assume the lemma holds for all graphs of order n or less. Let G be a perfect graph of order n + 1 with x G, and let G be obtained by expanding x to an edge {x, x }. Set ω = ω(g), χ = χ(g), and let c be a χ-coloring of G. Note that since G is perfect, ω = χ. Let H be an induced subgraph of G. There are ve potential cases. Once we show ω(h ) = χ(h ) for each case, the lemma will be proven. Case I: H G and x / H. Then H is an induced subgraph of G, so H is perfect and ω(h ) = χ(h ). Case II: H G and x H, but x / H. Then H is isomorphic to an induced subgraph of G (relabel x to x) and is perfect, so ω(h ) = χ(h ) Case III: H G and x, x H. Let V H = {v G : v x } and let H be the induced subgraph of G with vertex set V H. Then H is obtained by expanding x H to an edge {x, x }. But H has less than n vertices, so H is perfect by the induction hypothesis and ω(h ) = χ(h ). Case IV: H = G and there exists a clique K of size ω in G such that x K. This is the case represented in Figure 3.4 where G is the house graph and x = c. When x is expanded, K is expanded to a clique of size ω + 1 since x K, so ω(g ) = ω + 1. Furthermore, a (χ + 1)-coloring of G exists by taking c and setting c(x ) = u, where u is a unique color not assigned to any other vertex. Thus, ω(g ) = ω + 1 = χ + 1 = χ(g ) and ω(h ) = χ(h ). Case V: H = G and for every clique K of size ω in G, x / K. First, observe that every clique of G is also a clique of G, so ω ω(g ). In a moment, we will show χ(g ) χ. Since G is perfect, χ = ω and χ(g ) χ = ω ω(g ). By Proposition 2.20, ω(g ) χ(g ). Therefore, ω(g ) = χ(g ) and ω(h ) = χ(h ). Now to show χ(g ) χ. Let c be a χ-coloring of G. Without loss of generalty, say c(x) = red. This implies every vertex neighboring x is not colored red by c. We will construct a k-coloring c 2 of G where k χ and c 2 (v) = red if and only if c(v) = red and x v. We can extend c 2 to be a k-coloring of G by setting c 2 (x ) = red and thus prove χ(g ) = k χ. Now to construct c 2. Let V notred = {v G : c(v) red} and let G be the induced subgraph of G with vertex set {x} V notred. Suppose there exists a clique K of size ω in G. By Proposition 2.18, c assigns every vertex in K a dierent color. There are ω vertices in K and χ = ω colors of c, so one vertex in K must be colored red. The only vertex c colors red in G is x, so x K. This is a contradiction: x is in no clique of size ω. Thus, ω(g ) < ω. Set k = ω(g ). Since G is an induced subgraph of perfect graph G, G is perfect and χ(g ) = ω(g ) = k. Thus, there exists a k -coloring c of G. Do not let red be a color in this coloring. { Set k = k + 1. We can construct a k-coloring of G by dening c (v) v G c 2 (v) = red v / G. Since k < ω, k + 1 = k χ and we have found our coloring. This entire process is illustrated in Figure 3.5. Denition 3.9. Let G = (V, E) where V = {v 1,..., v n }. Let f : V N be a function and let G i = (V i, E i ) be a complete graph of order f(v i ) for all i {1,... n}. Let G = (V, E ) be a graph where V = V 1 V 2... V n and E = E 1 E 2 E n {{x, y} : x V i, y V j, {v i, v j } E}. Then G is the graph obtained by replacing every vertex of G with a complete graph of order f.

11 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 11 Figure 3.5. Demonstration of Case V. On left, the original graph G with 4-coloring c. In center, the induced subgraph G with 3-coloring c. On right, the graph G along with 4- coloring c 2. Example Let f(a) = f(c) = 3, f(b) = 4, f(d) = 2, f(e) = 1 and let G = (V, E ) be the graph obtained by replacing every vertex of the house graph with a complete graph of order f. G is depicted in Figure 3.6 along with a 7-coloring (we omit an explicit denition of this coloring for space). Observe that V = V a V b V c V d V e. While it might not be obvious from the picture, V b V c is a clique, so ω(g ) = 7 and χ(g ) = ω(g ). Figure 3.6. The graph obtained by replacing every vertex of the house graph with a perfect graph Lemma Let G = (V, E) be a graph along with function f : V N. Let G be the graph obtained by replacing every vertex of G with a complete graph of order f. Then α(g) = α(g ). Furthermore, if G is perfect, then G is perfect. Proof. Let G = (V, E) where V = {v 1,..., v n }. Consider the algorithm described below. Every loop of j will construct a clique V i = {v i, v i1, v i2,..., v if(vi }. This ) 1 clique will have cardinality f(v i ) and will be connected to clique V j if v i and v j are neighbors in G. Thus, when the algorithm completes, G cur is isomorphic to G. Note that if G cur and G are isomorphic, α(g cur ) = α(g ) and G cur is perfect

12 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 12 if and only if G is perfect. α(g cur ) is initialized to α(g) and is unchanged by the algorithm, so α(g ) = α(g). Additionally, if G is perfect, then G cur is initialized to be perfect and running the algorithm maintains the perfection of G cur, so G is perfect. G cur = G for i between 1 and n: for j between 1 and f(v i ) 1: G cur = The graph obtained from G by expanding v i to an edge {v i, v ij } We are now ready to introduce and prove the Weak Perfect Graph Theorem. Theorem 3.12 (Weak Perfect Graph Theorem). A graph G is perfect if and only if its converse G is perfect. Proof. We need only prove that if G is perfect, then G is perfect. Once we do so, it follows that if G is perfect then G = G is perfect. We will use induction on the order of G. When G has order 1, G = G and the theorem holds. Assume the theorem holds for graphs of order n or less, and let G = (V, E) be a perfect graph of order n + 1. Let H be an induced subgraph of G. If H G, then let H be the induced subgraph of G where H = H. H has order n or less since H = H < n + 1. H is perfect since it is an induced subgraph of perfect graph G. By the induction hypothesis, H is perfect and ω(h) = χ(h). Thus, we only need to prove the case where H = G, that is show ω(g) = χ(g). Let K be the set of all cliques of G, and let A be the set of all independence sets of G with exactly α(g) elements. We will show that there exists a nonempty clique K K such that K A for all A A, i.e. K is a clique that intersects every independence set of size α(g). Let M denote the induced subgraph of G with vertex set {v G : v / K} and let M denote its converse. Every independence set of size α(g) intersects K and is thus not an independence set of M, so α(m) < α(g). This implies that ω(m) = α(m) < α(g) = ω(g), which can be rewritten as ω(m) + 1 ω(g). Furthermore, recall that if K is a clique of G, K is an independence set of G. Let c be a χ(m) coloring of M that does{ not use red as a color. We can construct a χ(m) + 1 coloring c of G: c c(v) v M (v) = red v / M i.e. v K. Since K is an independence set, this is a valid coloring. Thus, χ(g) χ(m) + 1. M is an induced subgraph of G with order n or less, so by the induction hypothesis M is perfect and χ(m) = ω(m). Therefore, χ(g) χ(m) + 1 = ω(m) + 1 ω(g). This implies χ(g) = ω(g) by Proposition 2.20 and G is perfect. We now will show that such a K exists. For the house graph, K = {c, d, e} is a clique that intersects every independence set of cardinality two. For the open chain, K = {v 1, v 2 } intersects every independence set with cardinality equal to the independence number. But what about an arbitrary graph? Suppose towards a contradiction that no such K exists, i.e. for every K K, there exists an A K A such that K A K =. We don't know enough about arbitrary graph G to do anything meaningful, so we will create a new graph S with a better dened structure. Let f(v) = {K K : v A K } and let S be the induced subgraph of G with vertex set {v G : f(v) > 0}. Since G is perfect, S is perfect. Let S be the graph obtained by replacing every vertex in S with a complete graph of order f, that is to say replace every vertex v i G with a complete graph of order f(v i ) and

13 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 13 vertex set V i. By Lemma 3.11, S is perfect and α(s) = α(s ). Since S is perfect, ω(s ) = χ(s ). We will now work towards a contradiction showing ω(s ) < χ(s ). The largest clique of S has the form V i where V i is the vertex set of the complete graph v i X expanded from v i and X S is a clique of G (and thus X K). Then, ω(s ) = V i = v i X v i Xf(v i ) = {(v i, K} : v i X, K K, v i A k } = K K X A K. X is a clique and A K is an independence set, so X A K 1 by Proposition Furthermore, X A X = 0 since K A K = for any K K. Thus, ω(s ) = X A K K 1. K K Additionally, observe that S = V i = f(v i ) = {(v i, K} : v i V, K v i S v i V K, v i A k } = A K = K α. K K By Proposition 2.22,χ(S ) S α(s ) = S α(s). Since S is an induced subgraph of G, every independence set of S is also an independence set of G. Thus, α(s) α(g) and χ(s ) S α(g) = K α α = K. Therefore, ω(s ) K 1 < K < χ(s ) and ω(s ) < χ(s ). Therefore, there must exist a nonempty clique K K such that K A for all A A The Strong Perfect Graph Theorem. As mentioned earlier, Berge conjectured both the Weak and Strong Perfect Graph Theorems. The Strong Perfect Graph Theorm was proven in 2002 by the team of Maria Chudnovsky, Neil Robertson, Paul Seymour, and Robin Thomas [2]. Denition Let G = (V, E). G is a closed chain if V = {v 1,... v n } and E = {{v 1, v 2 }, {v 2, v 3 },... {v n 1, v n }, {v n, v 0 }}. While closed chains are similar to open chains there is one key dierence: all open chains are perfect but not all closed chains are perfect. Example Let G = (V, E), where V = {a, b, c, d, e} and E = {{a, b}, {b, c}, {c, d}, {d, e}, {e, a}}. G is a closed chain depicted in Figure 3.7. G is not perfect because ω(g) = 2 but χ(g) = 3. Figure 3.7. A closed chain of order 5

14 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 14 Any closed chain with an odd number of vertices will not be perfect. Furthermore, if H is a closed chain with odd order and G is a graph such that H is an induced subgraph of G, then G will not be perfect. This is the idea that inspires the Strong Perfect Graph Theorem. Theorem 3.15 (Strong Perfect Graph Theorem). Let G be a graph and G be its converse. G is perfect if and only if: (1) There is no induced subgraph H of G such that H is a closed chain of odd order; and (2) There is no induced subgraph H of G such that H is a closed chain of odd order. The proof of this theorem is 150 pages long and beyond the scope of this paper. Interested readers are directed to [2]. However, we can easily see that the Strong Perfect Graph Theorem implies the Weak Perfect Graph Theorem. The two conditions hold for G if and only if they hold for G. If G is perfect, the conditions hold for G, so the conditions hold for G, and G is perfect. 4. Applications of Perfect Graphs and the Perfect Graph Theorems Ÿ4 discusses a few applications of perfect graphs and the Perfect Graph Theorems. Ÿ4.1 introduces and proves Mirsky's Theorem. Ÿ4.2 introduces and proves Dilworth's Theorem. We mentioned earlier that the Weak Perfect Graph Theorem could be used to prove that the house graph is perfect. We now present that proof. Theorem 4.1. The house graph is perfect. Proof. Let G be the house graph. G = (V, E), where E = {{e, b}, {b, d}, {d, a}, {a, c}}. G is an open chain, so G is perfect. By the Weak Perfect Graph Theorem, G is perfect. The Perfect Graph theorems are quite useful when trying to prove a graph is perfect or that a class of graphs are perfect. There are a number of occasions when it is convenient to know a graph is perfect. In the eld of graph theory, several additional results are built on knowing a given graph is perfect. In the eld of algorithms, computing the clique number, independence number, and chromatic index of an arbitrary graph is known to be computationally expensive. However, there exist algorithms that can compute the clique number, independence number, and chromatic index of a perfect graph in polynomial time [6]. In the eld of order theory, a number of theorems can be proven using perfect graphs. We will discuss two of these theorems in greater depth Mirsky's Theorem. The rst theorem we will discuss is Mirsky's Theorem. Mirsky's Theorem was proven by Leon Mirsky using order theory [9]. We will provide an alternative proof using perfect graphs. However, before we can do so, we must introduce a few order theory denitions. Denition 4.2. Let X be a set. A relation is a partial order if the following properties hold for all a, b, c X. Reexive: a a. Antisymmetric: If a b and b a then a = b. Transitive: If a b and b c then a c.

15 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 15 Two example partial orders are the standard less-than-or-equals relation when X R and the standard subset relation when X is a set of sets. Denition 4.3. Let X be a set with partial order and a, b X. If either a b or b a, then we say a and b are comparable and a b. If a b and b a, then we say a and b are incomparable and a /b. Denition 4.4. Let P be a set with partial order and let L = (l 1, l 2,..., l n ) be a list where l i P and l i l j if i j. L is called a chain if l i l j for all l i, l j L. L is called an antichain if l i /l j for all l i, l j L where l l l j. L is called an increasing chain if l i l i+1 for all l i L except l n. Example 4.5. Let P = {A, B, C, D, E, F }, where A = {1, 2, 3, 4}, B = {1, 2, 3}, C = {2, 3, 4}, D = {2, 3}, E = {3, 4}, F = {4}, along with partial order, the standard subset relation. Then (F, E, C, A) is an increasing chain since F E C A. (E, F, C, A) is a chain but not an increasing chain, since E F C A. (B, C) is an antichain since B C and C B so B /C. (B, E, F ) is neither a chain nor an antichain, since B /E but E F. Theorem 4.6 (Mirsky's Theorem). Let P be a nite set with partial order. P can be partitioned into k antichains, where k is the length of the longest chain. To prove Mirsky's Theorem, we will introduce a new class of graphs: comparability graphs. Denition 4.7. Let P be a set with partial order and let G = (P, E). G is a comparability graph if E = {{x, y} : x, y P, x y, x y}. Example 4.8. Let P be the set with partial order described in Example 4.5. The comparability graph associated with P is drawn below along with the coloring c(a) = blue = 1; c(b) = c(c) = green = 2; c(d) = c(e) = yellow = 3; c(f ) = red = 4. Figure 4.1. A comparability graph It is useful to note that all cliques of a comparability graph are chains, since if K is a clique and x, y K, then x and y are neighbors so x y. Similarly, independence sets of comparability graphs are antichains.

16 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 16 Theorem 4.9. Comparability graphs are perfect. Proof. We will prove this theorem using induction on the order of the graph. Comparability graphs of order 1 are perfect. Assume that comparability graphs of order n are perfect. Let G = (P, E) be a comparability graph of order n + 1 and let H be an induced subgraph of G. All induced subgraphs of comparability graphs are comparability graphs. Thus, if H is a proper subgraph of G, it is a comparabilty graph of order n or less and is perfect by the induction hypothesis, so ω(h) = χ(h). Thus, to prove the theorem, we need only prove ω(g) = χ(g). Let c : P N be the function c(v) = the longest increasing chain that starts at v. Since all cliques are chains, the size of the longest clique is equal to the size of the longest increasing chain, so ω(g) = max v P c(v). Furthermore, if x and y are neighbors, then either x y or y x. If x y, c(x) c(y) + 1, since you can construct an increasing chain by appending x to the front of the longest increasing chain that starts at y. Similarly, if y x, c(y) c(x) + 1. Thus, if x and y are neighbors, c(x) c(y). Therefore, c is a χ(g)-coloring of G, where χ(g) max v P Thus, ω(g) = χ(g). We are now ready to prove Mirsky's Theorem. c(v) = ω(g). Proof. Let P be a partial set with partial order. Let G = (P, E) be the associated comparability graph. All cliques of G are chains, so the length of the largest chain is equal to ω(g). Let c be a χ(g) coloring of G. If A i is the set of all vertices colored i, then A i is an independence set since no two vertices with the same color can be neighbors. All independence sets of G are antichains, so c partitions P into χ(g) antichains. Finally, since G is perfect, ω(g) = χ(g) Dilworth's Theorem. A second order theory result is Dilworth's Theorem. Robert Dilworth originally proved it using order theory results[4], but we will use perfect graphs. Theorem 4.10 (Dilworth's Theorem). Let P be a nite set with partial order. P can be partitioned into k chains, where k is the length of the longest antichain. To prove this theorem, we will introduce a new class of graphs: incomparability graphs. Denition Let P be a set with partial order and let G = (P, E). G is a incomparability graph if E = {{x, y} : x, y P, x /y}. It is useful to note that all cliques of an incomparability graph are antichains, since if K is a clique and x, y K, then x and y are neighbors so x /y. Similarly, independence sets of incomparability graphs are chains. Theorem Incomparability graphs are perfect. Proof. Proving incomparability graphs are perfect by showing ω(h) = χ(h) is dicult, since there is no analogue to a longest increasing chain to use as the basis of the coloring. Instead, we note that the converse of any incomparability graph is a comparability graph. Since all comparability graphs are perfect, by the Weak Perfect Graph Theorem, all incomparability graphs are perfect. Our proof of Dilworth's Theorem is similar to our proof of Mirsky's Theorem.

17 PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS 17 Proof. Let P be a set with partial order. Let G = (P, E) be the associated incomparability graph. All cliques of G are antichains, so the length of the largest antichain is equal to ω(g). Let c be a χ(g) coloring of G. If A i is the set of all vertices colored i, then A i is an independence set. All independence sets of G are chains, so c partitions P into χ(g) chains. Since G is perfect, ω(g) = χ(g). 5. Conclusion Perfect graphs are one of the deepest and most fascinating graph theory topics to emerge in the late 20th century. In this paper, we introduced the concept of perfect graphs. We proved that the house graph, complete graphs, open chains, comparability graphs, and incomparability graphs are all perfect. We also proved the Weak Perfect Graph Theorem, which states that the converse of a perfect graph is perfect. Finally, we demonstrated an application of perfect graphs, using them to prove Mirsky's and Dilworth's Theorems. We have only touched the surface of what is possible with perfect graphs. There are several additional classes of perfect graphs that can be used in countless applications; research on perfect graphs and their applications is ongoing. References [1] C Berge. Färbung von graphen deren sämtliche bzw., ungerade kreise starr sind (zusammenfassung) math. Nat. ReiheWiss. Z. Martin Luther Univ. Halle Wittenberg, page 114, [2] Maria Chudnovsky, Neil Robertson, Paul Seymour, and Robin Thomas. The strong perfect graph theorem. Annals of Mathematics, 164(1):pp , [3] R. Diestel. Graph Theory: Springer Graduate Text GTM 173. Springer Graduate Texts in Mathematics (GTM) [4] R. P. Dilworth. A decomposition theorem for partially ordered sets. Annals of Mathematics, 51(1):pp , [5] Martin Charles Golumbic. Algorithmic graph theory and perfect graphs, volume 57. Elsevier, [6] Martin Grötschel, Laszlo Lovász, and Alexander Schrijver. Polynomial algorithms for perfect graphs. Ann. Discrete Math, 21:325356, [7] László Lovász. Perfect graphs. Selected topics in graph theory, 2:5587, [8] L. Lovász. Normal hypergraphs and the perfect graph conjecture. Discrete Mathematics, 2(3): , [9] L. Mirsky. A dual of dilworth's decomposition theorem. The American Mathematical Monthly, 78(8):pp , 1971.

Graph coloring, perfect graphs

Graph coloring, perfect graphs Lecture 5 (05.04.2013) Graph coloring, perfect graphs Scribe: Tomasz Kociumaka Lecturer: Marcin Pilipczuk 1 Introduction to graph coloring Definition 1. Let G be a simple undirected graph and k a positive

More information

A Short Proof of the Wonderful Lemma

A Short Proof of the Wonderful Lemma A Short Proof of the Wonderful Lemma Maria Chudnovsky Princeton University, Princeton, NJ 08544, USA April 1, 2017 Abstract The Wonderful Lemma, that was first proved by Roussel and Rubio, is one of the

More information

PERFECT BINARY MATROIDS

PERFECT BINARY MATROIDS DEPARTMENT OF MATHEMATICS TECHNICAL REPORT PERFECT BINARY MATROIDS Allan Mills August 1999 No. 1999-8 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookeville, TN 38505 PERFECT BINARY MATROIDS ALLAN D. MILLS Abstract.

More information

A taste of perfect graphs

A taste of perfect graphs A taste of perfect graphs Remark Determining the chromatic number of a graph is a hard problem, in general, and it is even hard to get good lower bounds on χ(g). An obvious lower bound we have seen before

More information

C-Perfect K-Uniform Hypergraphs

C-Perfect K-Uniform Hypergraphs C-Perfect K-Uniform Hypergraphs Changiz Eslahchi and Arash Rafiey Department of Mathematics Shahid Beheshty University Tehran, Iran ch-eslahchi@cc.sbu.ac.ir rafiey-ar@ipm.ir Abstract In this paper we define

More information

Quasi-parity and perfect graphs. Irena Rusu. L.R.I., U.R.A. 410 du C.N.R.S., bât. 490, Orsay-cedex, France

Quasi-parity and perfect graphs. Irena Rusu. L.R.I., U.R.A. 410 du C.N.R.S., bât. 490, Orsay-cedex, France Quasi-parity and perfect graphs Irena Rusu L.R.I., U.R.A. 410 du C.N.R.S., bât. 490, 91405 Orsay-cedex, France Abstract In order to prove the Strong Perfect Graph Conjecture, the existence of a simple

More information

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

An approximate version of Hadwiger s conjecture for claw-free graphs An approximate version of Hadwiger s conjecture for claw-free graphs Maria Chudnovsky Columbia University, New York, NY 10027, USA and Alexandra Ovetsky Fradkin Princeton University, Princeton, NJ 08544,

More information

Erdös-Ko-Rado theorems for chordal and bipartite graphs

Erdös-Ko-Rado theorems for chordal and bipartite graphs Erdös-Ko-Rado theorems for chordal and bipartite graphs arxiv:0903.4203v2 [math.co] 15 Jul 2009 Glenn Hurlbert and Vikram Kamat School of Mathematical and Statistical Sciences Arizona State University,

More information

Coloring. Basics. A k-coloring of a loopless graph G is a function f : V (G) S where S = k (often S = [k]).

Coloring. Basics. A k-coloring of a loopless graph G is a function f : V (G) S where S = k (often S = [k]). Coloring Basics A k-coloring of a loopless graph G is a function f : V (G) S where S = k (often S = [k]). For an i S, the set f 1 (i) is called a color class. A k-coloring is called proper if adjacent

More information

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

Topics on Computing and Mathematical Sciences I Graph Theory (6) Coloring I Topics on Computing and Mathematical Sciences I Graph Theory (6) Coloring I Yoshio Okamoto Tokyo Institute of Technology May, 008 Last updated: Wed May 6: 008 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory

More information

Perfect divisibility and 2-divisibility

Perfect divisibility and 2-divisibility Perfect divisibility and 2-divisibility Maria Chudnovsky Princeton University, Princeton, NJ 08544, USA Vaidy Sivaraman Binghamton University, Binghamton, NY 13902, USA April 20, 2017 Abstract A graph

More information

The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs

The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs Maria Axenovich and Jonathan Rollin and Torsten Ueckerdt September 3, 016 Abstract An ordered graph G is a graph whose vertex set

More information

K 4 -free graphs with no odd holes

K 4 -free graphs with no odd holes K 4 -free graphs with no odd holes Maria Chudnovsky 1 Columbia University, New York NY 10027 Neil Robertson 2 Ohio State University, Columbus, Ohio 43210 Paul Seymour 3 Princeton University, Princeton

More information

Coloring square-free Berge graphs

Coloring square-free Berge graphs Coloring square-free Berge graphs Maria Chudnovsky Irene Lo Frédéric Maffray Nicolas Trotignon Kristina Vušković September 30, 2015 Abstract We consider the class of Berge graphs that do not contain a

More information

Multi-coloring and Mycielski s construction

Multi-coloring and Mycielski s construction Multi-coloring and Mycielski s construction Tim Meagher Fall 2010 Abstract We consider a number of related results taken from two papers one by W. Lin [1], and the other D. C. Fisher[2]. These articles

More information

A Note on an Induced Subgraph Characterization of Domination Perfect Graphs.

A Note on an Induced Subgraph Characterization of Domination Perfect Graphs. A Note on an Induced Subgraph Characterization of Domination Perfect Graphs. Eglantine Camby & Fränk Plein Université Libre de Bruxelles Département de Mathématique Boulevard du Triomphe, 1050 Brussels,

More information

Graph Classes and Ramsey Numbers

Graph Classes and Ramsey Numbers Graph Classes and Ramsey Numbers Rémy Belmonte, Pinar Heggernes, Pim van t Hof, Arash Rafiey, and Reza Saei Department of Informatics, University of Bergen, Norway Abstract. For a graph class G and any

More information

UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS

UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS MARIA CHUDNOVSKY, RINGI KIM, SANG-IL OUM, AND PAUL SEYMOUR Abstract. An n-vertex graph is prime if it has no homogeneous set, that

More information

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

Induced subgraphs of graphs with large chromatic number. I. Odd holes Induced subgraphs of graphs with large chromatic number. I. Odd holes Alex Scott Mathematical Institute, University of Oxford, Oxford OX2 6GG, UK Paul Seymour 1 Princeton University, Princeton, NJ 08544,

More information

Graph homomorphisms. Peter J. Cameron. Combinatorics Study Group Notes, September 2006

Graph homomorphisms. Peter J. Cameron. Combinatorics Study Group Notes, September 2006 Graph homomorphisms Peter J. Cameron Combinatorics Study Group Notes, September 2006 Abstract This is a brief introduction to graph homomorphisms, hopefully a prelude to a study of the paper [1]. 1 Homomorphisms

More information

On the Dynamic Chromatic Number of Graphs

On the Dynamic Chromatic Number of Graphs On the Dynamic Chromatic Number of Graphs Maryam Ghanbari Joint Work with S. Akbari and S. Jahanbekam Sharif University of Technology m_phonix@math.sharif.ir 1. Introduction Let G be a graph. A vertex

More information

The chromatic number of ordered graphs with constrained conflict graphs

The chromatic number of ordered graphs with constrained conflict graphs AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 69(1 (017, Pages 74 104 The chromatic number of ordered graphs with constrained conflict graphs Maria Axenovich Jonathan Rollin Torsten Ueckerdt Department

More information

Chromatic Ramsey number of acyclic hypergraphs

Chromatic Ramsey number of acyclic hypergraphs Chromatic Ramsey number of acyclic hypergraphs András Gyárfás Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences Budapest, P.O. Box 127 Budapest, Hungary, H-1364 gyarfas@renyi.hu Alexander

More information

Uniquely 2-list colorable graphs

Uniquely 2-list colorable graphs Discrete Applied Mathematics 119 (2002) 217 225 Uniquely 2-list colorable graphs Y.G. Ganjali a;b, M. Ghebleh a;b, H. Hajiabolhassan a;b;, M. Mirzazadeh a;b, B.S. Sadjad a;b a Institute for Studies in

More information

On the chromatic number of the lexicographic product and the Cartesian sum of graphs

On the chromatic number of the lexicographic product and the Cartesian sum of graphs On the chromatic number of the lexicographic product and the Cartesian sum of graphs Niko Čižek University of Maribor TF, Smetanova ulica 17 62000 Maribor, Slovenia Sandi Klavžar University of Maribor

More information

Nordhaus-Gaddum Theorems for k-decompositions

Nordhaus-Gaddum Theorems for k-decompositions Nordhaus-Gaddum Theorems for k-decompositions Western Michigan University October 12, 2011 A Motivating Problem Consider the following problem. An international round-robin sports tournament is held between

More information

Even Pairs and Prism Corners in Square-Free Berge Graphs

Even Pairs and Prism Corners in Square-Free Berge Graphs Even Pairs and Prism Corners in Square-Free Berge Graphs Maria Chudnovsky Princeton University, Princeton, NJ 08544 Frédéric Maffray CNRS, Laboratoire G-SCOP, University of Grenoble-Alpes, France Paul

More information

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Generalized Pigeonhole Properties of Graphs and Oriented Graphs Europ. J. Combinatorics (2002) 23, 257 274 doi:10.1006/eujc.2002.0574 Available online at http://www.idealibrary.com on Generalized Pigeonhole Properties of Graphs and Oriented Graphs ANTHONY BONATO, PETER

More information

THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS

THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.

More information

Upper Bounds of Dynamic Chromatic Number

Upper Bounds of Dynamic Chromatic Number Upper Bounds of Dynamic Chromatic Number Hong-Jian Lai, Bruce Montgomery and Hoifung Poon Department of Mathematics West Virginia University, Morgantown, WV 26506-6310 June 22, 2000 Abstract A proper vertex

More information

Tree-chromatic number

Tree-chromatic number Tree-chromatic number Paul Seymour 1 Princeton University, Princeton, NJ 08544 November 2, 2014; revised June 25, 2015 1 Supported by ONR grant N00014-10-1-0680 and NSF grant DMS-1265563. Abstract Let

More information

Dominator Colorings and Safe Clique Partitions

Dominator Colorings and Safe Clique Partitions Dominator Colorings and Safe Clique Partitions Ralucca Gera, Craig Rasmussen Naval Postgraduate School Monterey, CA 994, USA {rgera,ras}@npsedu and Steve Horton United States Military Academy West Point,

More information

Tree sets. Reinhard Diestel

Tree sets. Reinhard Diestel 1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked

More information

GRAPH MINORS AND HADWIGER S CONJECTURE

GRAPH MINORS AND HADWIGER S CONJECTURE GRAPH MINORS AND HADWIGER S CONJECTURE DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Eliade

More information

Characters and triangle generation of the simple Mathieu group M 11

Characters and triangle generation of the simple Mathieu group M 11 SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents

More information

Tree-width and planar minors

Tree-width and planar minors Tree-width and planar minors Alexander Leaf and Paul Seymour 1 Princeton University, Princeton, NJ 08544 May 22, 2012; revised March 18, 2014 1 Supported by ONR grant N00014-10-1-0680 and NSF grant DMS-0901075.

More information

12.1 The Achromatic Number of a Graph

12.1 The Achromatic Number of a Graph Chapter 1 Complete Colorings The proper vertex colorings of a graph G in which we are most interested are those that use the smallest number of colors These are, of course, the χ(g)-colorings of G If χ(g)

More information

Claw-Free Graphs With Strongly Perfect Complements. Fractional and Integral Version.

Claw-Free Graphs With Strongly Perfect Complements. Fractional and Integral Version. Claw-Free Graphs With Strongly Perfect Complements. Fractional and Integral Version. Part II. Nontrivial strip-structures Maria Chudnovsky Department of Industrial Engineering and Operations Research Columbia

More information

Claw-free Graphs. III. Sparse decomposition

Claw-free Graphs. III. Sparse decomposition Claw-free Graphs. III. Sparse decomposition Maria Chudnovsky 1 and Paul Seymour Princeton University, Princeton NJ 08544 October 14, 003; revised May 8, 004 1 This research was conducted while the author

More information

k-degenerate Graphs Allan Bickle Date Western Michigan University

k-degenerate Graphs Allan Bickle Date Western Michigan University k-degenerate Graphs Western Michigan University Date Basics Denition The k-core of a graph G is the maximal induced subgraph H G such that δ (H) k. The core number of a vertex, C (v), is the largest value

More information

The structure of bull-free graphs I three-edge-paths with centers and anticenters

The structure of bull-free graphs I three-edge-paths with centers and anticenters The structure of bull-free graphs I three-edge-paths with centers and anticenters Maria Chudnovsky Columbia University, New York, NY 10027 USA May 6, 2006; revised March 29, 2011 Abstract The bull is the

More information

Some operations preserving the existence of kernels

Some operations preserving the existence of kernels Discrete Mathematics 205 (1999) 211 216 www.elsevier.com/locate/disc Note Some operations preserving the existence of kernels Mostafa Blidia a, Pierre Duchet b, Henry Jacob c,frederic Maray d;, Henry Meyniel

More information

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................

More information

Parity Versions of 2-Connectedness

Parity Versions of 2-Connectedness Parity Versions of 2-Connectedness C. Little Institute of Fundamental Sciences Massey University Palmerston North, New Zealand c.little@massey.ac.nz A. Vince Department of Mathematics University of Florida

More information

Notes on Graph Theory

Notes on Graph Theory Notes on Graph Theory Maris Ozols June 8, 2010 Contents 0.1 Berge s Lemma............................................ 2 0.2 König s Theorem........................................... 3 0.3 Hall s Theorem............................................

More information

Coloring graphs with forbidden induced subgraphs

Coloring graphs with forbidden induced subgraphs Coloring graphs with forbidden induced subgraphs Maria Chudnovsky Abstract. Since graph-coloring is an NP -complete problem in general, it is natural to ask how the complexity changes if the input graph

More information

Independence in Function Graphs

Independence in Function Graphs Independence in Function Graphs Ralucca Gera 1, Craig E. Larson 2, Ryan Pepper 3, and Craig Rasmussen 1 1 Naval Postgraduate School, Department of Applied Mathematics, Monterey, CA 93943; rgera@nps.edu,

More information

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

Berge Trigraphs. Maria Chudnovsky 1 Princeton University, Princeton NJ March 15, 2004; revised December 2, Research Fellow. Berge Trigraphs Maria Chudnovsky 1 Princeton University, Princeton NJ 08544 March 15, 2004; revised December 2, 2005 1 This research was partially conducted during the period the author served as a Clay

More information

Recursive generation of partitionable graphs

Recursive generation of partitionable graphs Recursive generation of partitionable graphs E. Boros V. Gurvich S. Hougardy May 29, 2002 Abstract Results of Lovász (1972) and Padberg (1974) imply that partitionable graphs contain all the potential

More information

Rao s degree sequence conjecture

Rao s degree sequence conjecture Rao s degree sequence conjecture Maria Chudnovsky 1 Columbia University, New York, NY 10027 Paul Seymour 2 Princeton University, Princeton, NJ 08544 July 31, 2009; revised December 10, 2013 1 Supported

More information

Triangle-free graphs with no six-vertex induced path

Triangle-free graphs with no six-vertex induced path Triangle-free graphs with no six-vertex induced path Maria Chudnovsky 1, Paul Seymour 2, Sophie Spirkl Princeton University, Princeton, NJ 08544 Mingxian Zhong Columbia University, New York, NY 10027 June

More information

Improved Bounds for the Chromatic Number of the Lexicographic Product of Graphs

Improved Bounds for the Chromatic Number of the Lexicographic Product of Graphs Improved Bounds for the Chromatic Number of the Lexicographic Product of Graphs Roland Kaschek University of Klagenfurt Department of Computer Science 9020 Klagenfurt, Austria Sandi Klavžar University

More information

Tournaments and colouring

Tournaments and colouring Tournaments and colouring Eli Berger 1 Haifa University Haifa, Israel Jacob Fox 3 MIT Cambridge, MA, USA Krzysztof Choromanski Columbia University New York, NY, USA Martin Loebl Charles University Prague,

More information

MINIMALLY NON-PFAFFIAN GRAPHS

MINIMALLY NON-PFAFFIAN GRAPHS MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect

More information

Graphical Model Inference with Perfect Graphs

Graphical Model Inference with Perfect Graphs Graphical Model Inference with Perfect Graphs Tony Jebara Columbia University July 25, 2013 joint work with Adrian Weller Graphical models and Markov random fields We depict a graphical model G as a bipartite

More information

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

Partial characterizations of clique-perfect graphs I: subclasses of claw-free graphs Partial characterizations of clique-perfect graphs I: subclasses of claw-free graphs Flavia Bonomo a,1, Maria Chudnovsky b,2 and Guillermo Durán c,3 a Departamento de Computación, Facultad de Ciencias

More information

An algorithm to increase the node-connectivity of a digraph by one

An algorithm to increase the node-connectivity of a digraph by one Discrete Optimization 5 (2008) 677 684 Contents lists available at ScienceDirect Discrete Optimization journal homepage: www.elsevier.com/locate/disopt An algorithm to increase the node-connectivity of

More information

CLIQUES IN THE UNION OF GRAPHS

CLIQUES IN THE UNION OF GRAPHS CLIQUES IN THE UNION OF GRAPHS RON AHARONI, ELI BERGER, MARIA CHUDNOVSKY, AND JUBA ZIANI Abstract. Let B and R be two simple graphs with vertex set V, and let G(B, R) be the simple graph with vertex set

More information

Counting and Constructing Minimal Spanning Trees. Perrin Wright. Department of Mathematics. Florida State University. Tallahassee, FL

Counting and Constructing Minimal Spanning Trees. Perrin Wright. Department of Mathematics. Florida State University. Tallahassee, FL Counting and Constructing Minimal Spanning Trees Perrin Wright Department of Mathematics Florida State University Tallahassee, FL 32306-3027 Abstract. We revisit the minimal spanning tree problem in order

More information

Near-domination in graphs

Near-domination in graphs Near-domination in graphs Bruce Reed Researcher, Projet COATI, INRIA and Laboratoire I3S, CNRS France, and Visiting Researcher, IMPA, Brazil Alex Scott Mathematical Institute, University of Oxford, Oxford

More information

Induced subgraphs of graphs with large chromatic number. III. Long holes

Induced subgraphs of graphs with large chromatic number. III. Long holes Induced subgraphs of graphs with large chromatic number. III. Long holes Maria Chudnovsky 1 Princeton University, Princeton, NJ 08544, USA Alex Scott Mathematical Institute, University of Oxford, Oxford

More information

SUB-EXPONENTIALLY MANY 3-COLORINGS OF TRIANGLE-FREE PLANAR GRAPHS

SUB-EXPONENTIALLY MANY 3-COLORINGS OF TRIANGLE-FREE PLANAR GRAPHS SUB-EXPONENTIALLY MANY 3-COLORINGS OF TRIANGLE-FREE PLANAR GRAPHS Arash Asadi Luke Postle 1 Robin Thomas 2 School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332-0160, USA ABSTRACT

More information

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

EXCLUDING SUBDIVISIONS OF INFINITE CLIQUES. Neil Robertson* Department of Mathematics Ohio State University 231 W. 18th Ave. Columbus, Ohio 43210, USA EXCLUDING SUBDIVISIONS OF INFINITE CLIQUES Neil Robertson* Department of Mathematics Ohio State University 231 W. 18th Ave. Columbus, Ohio 43210, USA P. D. Seymour Bellcore 445 South St. Morristown, New

More information

arxiv: v1 [math.co] 13 May 2016

arxiv: v1 [math.co] 13 May 2016 GENERALISED RAMSEY NUMBERS FOR TWO SETS OF CYCLES MIKAEL HANSSON arxiv:1605.04301v1 [math.co] 13 May 2016 Abstract. We determine several generalised Ramsey numbers for two sets Γ 1 and Γ 2 of cycles, in

More information

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

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of

More information

Planar Ramsey Numbers for Small Graphs

Planar Ramsey Numbers for Small Graphs Planar Ramsey Numbers for Small Graphs Andrzej Dudek Department of Mathematics and Computer Science Emory University Atlanta, GA 30322, USA Andrzej Ruciński Faculty of Mathematics and Computer Science

More information

Fractional and circular 1-defective colorings of outerplanar graphs

Fractional and circular 1-defective colorings of outerplanar graphs AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 6() (05), Pages Fractional and circular -defective colorings of outerplanar graphs Zuzana Farkasová Roman Soták Institute of Mathematics Faculty of Science,

More information

Diskrete Mathematik und Optimierung

Diskrete Mathematik und Optimierung Diskrete Mathematik und Optimierung Luis A. Goddyn Winfried Hochstättler: Nowhere-zero flows in regular matroids and Hadwiger s Conjecture Technical Report feu-dmo031.13 Contact: goddyn@sfu.ca winfried.hochstaettler@fernuni-hagen.de

More information

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} Preliminaries Graphs G = (V, E), V : set of vertices E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) 1 2 3 5 4 V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} 1 Directed Graph (Digraph)

More information

An Original Speech Around the Difficult Part of the Berge Conjecture (Solved by Chudnovsky, Robertson, Seymour and Thomas)

An Original Speech Around the Difficult Part of the Berge Conjecture (Solved by Chudnovsky, Robertson, Seymour and Thomas) Communications in Mathematics and Applications Volume 1, Number 3 (2010), pp. 195 206 RGN Publications http://www.rgnpublications.com An Original Speech Around the Difficult Part of the Berge Conjecture

More information

Hanna Furmańczyk EQUITABLE COLORING OF GRAPH PRODUCTS

Hanna Furmańczyk EQUITABLE COLORING OF GRAPH PRODUCTS Opuscula Mathematica Vol. 6 No. 006 Hanna Furmańczyk EQUITABLE COLORING OF GRAPH PRODUCTS Abstract. A graph is equitably k-colorable if its vertices can be partitioned into k independent sets in such a

More information

Strongly chordal and chordal bipartite graphs are sandwich monotone

Strongly chordal and chordal bipartite graphs are sandwich monotone Strongly chordal and chordal bipartite graphs are sandwich monotone Pinar Heggernes Federico Mancini Charis Papadopoulos R. Sritharan Abstract A graph class is sandwich monotone if, for every pair of its

More information

Bichain graphs: geometric model and universal graphs

Bichain graphs: geometric model and universal graphs Bichain graphs: geometric model and universal graphs Robert Brignall a,1, Vadim V. Lozin b,, Juraj Stacho b, a Department of Mathematics and Statistics, The Open University, Milton Keynes MK7 6AA, United

More information

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved. Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124

More information

Group Colorability of Graphs

Group Colorability of Graphs Group Colorability of Graphs Hong-Jian Lai, Xiankun Zhang Department of Mathematics West Virginia University, Morgantown, WV26505 July 10, 2004 Abstract Let G = (V, E) be a graph and A a non-trivial Abelian

More information

On Dominator Colorings in Graphs

On Dominator Colorings in Graphs On Dominator Colorings in Graphs Ralucca Michelle Gera Department of Applied Mathematics Naval Postgraduate School Monterey, CA 994, USA ABSTRACT Given a graph G, the dominator coloring problem seeks a

More information

arxiv: v1 [math.co] 17 Jul 2017

arxiv: v1 [math.co] 17 Jul 2017 Bad News for Chordal Partitions Alex Scott Paul Seymour David R. Wood Abstract. Reed and Seymour [1998] asked whether every graph has a partition into induced connected non-empty bipartite subgraphs such

More information

ON TWO QUESTIONS ABOUT CIRCULAR CHOOSABILITY

ON TWO QUESTIONS ABOUT CIRCULAR CHOOSABILITY ON TWO QUESTIONS ABOUT CIRCULAR CHOOSABILITY SERGUEI NORINE Abstract. We answer two questions of Zhu on circular choosability of graphs. We show that the circular list chromatic number of an even cycle

More information

Bulletin of the Iranian Mathematical Society

Bulletin of the Iranian Mathematical Society ISSN: 117-6X (Print) ISSN: 1735-8515 (Online) Bulletin of the Iranian Mathematical Society Vol. 4 (14), No. 6, pp. 1491 154. Title: The locating chromatic number of the join of graphs Author(s): A. Behtoei

More information

Perfect Zero-Divisor Graphs of Z_n

Perfect Zero-Divisor Graphs of Z_n Rose-Hulman Undergraduate Mathematics Journal Volume 17 Issue 2 Article 6 Perfect Zero-Divisor Graphs of Z_n Bennett Smith Illinois College Follow this and additional works at: http://scholar.rose-hulman.edu/rhumj

More information

Posets, homomorphisms and homogeneity

Posets, homomorphisms and homogeneity Posets, homomorphisms and homogeneity Peter J. Cameron and D. Lockett School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS, U.K. Abstract Jarik Nešetřil suggested

More information

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5 Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5 Instructor: Farid Alizadeh Scribe: Anton Riabov 10/08/2001 1 Overview We continue studying the maximum eigenvalue SDP, and generalize

More information

Index coding with side information

Index coding with side information Index coding with side information Ehsan Ebrahimi Targhi University of Tartu Abstract. The Index Coding problem has attracted a considerable amount of attention in the recent years. The problem is motivated

More information

GENERALIZED PIGEONHOLE PROPERTIES OF GRAPHS AND ORIENTED GRAPHS

GENERALIZED PIGEONHOLE PROPERTIES OF GRAPHS AND ORIENTED GRAPHS GENERALIZED PIGEONHOLE PROPERTIES OF GRAPHS AND ORIENTED GRAPHS ANTHONY BONATO, PETER CAMERON, DEJAN DELIĆ, AND STÉPHAN THOMASSÉ ABSTRACT. A relational structure A satisfies the n k property if whenever

More information

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

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu** 4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published

More information

Multi-colouring the Mycielskian of Graphs

Multi-colouring the Mycielskian of Graphs Multi-colouring the Mycielskian of Graphs Wensong Lin Daphne Der-Fen Liu Xuding Zhu December 1, 016 Abstract A k-fold colouring of a graph is a function that assigns to each vertex a set of k colours,

More information

arxiv: v2 [math.co] 19 Jun 2018

arxiv: v2 [math.co] 19 Jun 2018 arxiv:1705.06268v2 [math.co] 19 Jun 2018 On the Nonexistence of Some Generalized Folkman Numbers Xiaodong Xu Guangxi Academy of Sciences Nanning 530007, P.R. China xxdmaths@sina.com Meilian Liang School

More information

Upper and Lower Bounds on the Number of Faults. a System Can Withstand Without Repairs. Cambridge, MA 02139

Upper and Lower Bounds on the Number of Faults. a System Can Withstand Without Repairs. Cambridge, MA 02139 Upper and Lower Bounds on the Number of Faults a System Can Withstand Without Repairs Michel Goemans y Nancy Lynch z Isaac Saias x Laboratory for Computer Science Massachusetts Institute of Technology

More information

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

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number

More information

Asymptotically optimal induced universal graphs

Asymptotically optimal induced universal graphs Asymptotically optimal induced universal graphs Noga Alon Abstract We prove that the minimum number of vertices of a graph that contains every graph on vertices as an induced subgraph is (1 + o(1))2 (

More information

Robin Thomas and Peter Whalen. School of Mathematics Georgia Institute of Technology Atlanta, Georgia , USA

Robin Thomas and Peter Whalen. School of Mathematics Georgia Institute of Technology Atlanta, Georgia , USA Odd K 3,3 subdivisions in bipartite graphs 1 Robin Thomas and Peter Whalen School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332-0160, USA Abstract We prove that every internally

More information

A simplified discharging proof of Grötzsch theorem

A simplified discharging proof of Grötzsch theorem A simplified discharging proof of Grötzsch theorem Zdeněk Dvořák November 29, 2013 Abstract In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Grötzsch

More information

The Saturation Number of Induced Subposets of the Boolean Lattice

The Saturation Number of Induced Subposets of the Boolean Lattice The Saturation Number of Induced Subposets of the Boolean Lattice Michael Ferrara a, Bill Kay b, Lucas Kramer c,1, Ryan R. Martin d, Benjamin Reiniger e, Heather C. Smith f,, Eric Sullivan a a Department

More information

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

Induced subgraphs of graphs with large chromatic number. VIII. Long odd holes Induced subgraphs of graphs with large chromatic number. VIII. Long odd holes Maria Chudnovsky 1 Princeton University, Princeton, NJ 08544, USA Alex Scott Mathematical Institute, University of Oxford,

More information

Tree-width. September 14, 2015

Tree-width. September 14, 2015 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

More information

1. CONFIGURATIONS We assume familiarity with [1]. The purpose of this manuscript is to provide more details about the proof of [1, theorem (3.2)]. As

1. CONFIGURATIONS We assume familiarity with [1]. The purpose of this manuscript is to provide more details about the proof of [1, theorem (3.2)]. As REDUCIBILITY IN THE FOUR-COLOR THEOREM Neil Robertson 1 Department of Mathematics Ohio State University 231 W. 18th Ave. Columbus, Ohio 43210, USA Daniel P. Sanders 2 School of Mathematics Georgia Institute

More information

ON THE RELATIONSHIP BETWEEN SETS AND GROUPS

ON THE RELATIONSHIP BETWEEN SETS AND GROUPS ON THE RELATIONSHIP BETWEEN SETS AND GROUPS ROSE DONG Abstract. This paper is an introduction to basic properties of sets and groups. After introducing the notion of cardinal arithmetic, it proves the

More information

MINIMALLY NON-PFAFFIAN GRAPHS

MINIMALLY NON-PFAFFIAN GRAPHS MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect

More information

Graph Coloring. Application of the Ellipsoid Method in Combinatorial Optimization. Robert Nickel. November 17, 2005

Graph Coloring. Application of the Ellipsoid Method in Combinatorial Optimization. Robert Nickel. November 17, 2005 Graph Coloring Application of the Ellipsoid Method in Combinatorial Optimization Robert Nickel November 17, 2005 Abstract The following article is the working out of a talk in a seminar about the ellipsoid

More information

1 Notation. 2 Sergey Norin OPEN PROBLEMS

1 Notation. 2 Sergey Norin OPEN PROBLEMS OPEN PROBLEMS 1 Notation Throughout, v(g) and e(g) mean the number of vertices and edges of a graph G, and ω(g) and χ(g) denote the maximum cardinality of a clique of G and the chromatic number of G. 2

More information