Strong Theorem

Ann Marie Murray

Nebraska Wesleyan University

May 4, 2016

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 1 / 11 Clique and Induced Subgraph

Definition Given any subset S of the vertices of a graph G(E, V ), the induced subgraph takes the vertex set S with the edges that connect these vertices in G.A clique is a subset of vertices of an undirected graph G(E, V ) such that every two distinct vertices are adjacent.

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 2 / 11 Chromatic Number

Definition The chromatic number of any graph is the minimum number of colors needed to color the vertices of the graph such that no two adjacent vertices are colored the same.

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 3 / 11 Perfect Graph

Definition (Berge, 1960) A perfect graph is a graph in which the chromatic number of every induced subgraph equals the size of the largest clique of that subgraph.

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 4 / 11 Perfect Graph Theorem

Theorem (Berge, 1960) The complement of a perfect graph is perfect.

Lov´aszproved this theorem in 1972.

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 5 / 11 Definition A hole is a cycle in the graph, of length at least four, which is an induced subgraph. A antihole is a cycle in the complement of a graph, of length at least four, which is an induced subgraph. They are said to be odd if containing an odd number of vertices.

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 6 / 11 Strong Perfect Graph Theorem

Theorem (Berge, 1961) A graph is perfect if and only if it contains no odd graph hole and no odd graph antihole

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 7 / 11 2001: Neil Robertson, Paul Seymour, Robin Thomas, Michele Conforti and G´erard Cornu´ejolsproposed an approach to consider five basic classes and four types of separations

2002: , Robertson, Seymour, and Thomas proved that if one of these classes or separations are found within the graph then it is perfect, and they also proved that every perfect graph must have one of the nine traits.

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 8 / 11 Bipartite Graph

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 9 / 11 Proof was not published until 2006 (45 years later)

Recieved a 2009 Fulkerson Prize from the American Mathematical Society and a $10,000 prize from Cornu´ejolsat Carnegie Mellon University

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 10 / 11 Thanks

Thank you for listening!

References: 1 en.wikipedia.org/wiki/Strong_perfect_graph_theorem 2 integer.tepper.cmu.edu/webpub/optima.pdf 3 www.columbia.edu/~mc2775/perfect.pdf

Ann Marie Murray (NWU) Strong Perfect Graph Theorem May 4, 2016 11 / 11