9 research outputs found
Detecting an odd hole
A hole in a graph G is an induced cycle of length at least four; an antihole
is a hole in the complement of G. In 2005, Chudnovsky, Cornuejols, Liu, Seymour
and Vuskovic showed that it is possible to test in polynomial time whether a
graph contains an odd hole or antihole (and thus whether G is perfect).
However, the complexity of testing for odd holes has remained open. Indeed, it
seemed quite likely that testing for an odd hole was NP-complete: for instance,
Bienstock showed that testing if a graph has an odd hole containing a given
vertex is NP-complete. In this paper we resolve the question, by giving a
polynomial-time algorithm to test whether a graph contains an odd hole. This
also gives a new and considerably simpler polynomial-time algorithm that tests
for perfection
Detecting an Odd Hole
© Maria Chudnovsky, Alex Scott, Paul Seymour, Sophie Spirkl | ACM 2020. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Journal of the ACM, https://doi.org/10.1145/3375720We give a polynomial-time algorithm to test whether a graph contains an induced cycle with length more than three and odd.This material is based upon work supported in part by the U. S. Army Research Office under Grant No. W911NF-16-1-0404 (Chudnovsky). This material is based upon work supported by the Air Force Office of Scientific Research (AFOSR) under Grant No. A9550-19-1-0187 (Seymour) and the National Science Foundation under Grant No. DMS-1763817 (Chudnovsky), Grant No. DMS-1800053 (Seymour), and Grant No. DMS-1802201 (Spirkl). Alex Scott is supported by a Leverhulme Trust Research Fellowshi
The Strong Perfect Graph Conjecture: 40 years of Attempts, and its Resolution
International audienceThe Strong Perfect Graph Conjecture (SPGC) was certainly one of the most challenging conjectures in graph theory. During more than four decades, numerous attempts were made to solve it, by combinatorial methods, by linear algebraic methods, or by polyhedral methods. The first of these three approaches yielded the first (and to date only) proof of the SPGC; the other two remain promising to consider in attempting an alternative proof. This paper is an unbalanced survey of the attempts to solve the SPGC; unbalanced, because (1) we devote a signicant part of it to the 'primitive graphs and structural faults' paradigm which led to the Strong Perfect Graph Theorem (SPGT); (2) we briefly present the other "direct" attempts, that is, the ones for which results exist showing one (possible) way to the proof; (3) we ignore entirely the "indirect" approaches whose aim was to get more information about the properties and structure of perfect graphs, without a direct impact on the SPGC. Our aim in this paper is to trace the path that led to the proof of the SPGT as completely as possible. Of course, this implies large overlaps with the recent book on perfect graphs [J.L. Ramirez-Alfonsin and B.A. Reed, eds., Perfect Graphs (Wiley & Sons, 2001).], but it also implies a deeper analysis (with additional results) and another viewpoint on the topic
Recommended from our members
Graph Theory
Graph theory is a rapidly developing area of mathematics. Recent years have seen the development of deep theories, and the increasing importance of methods from other parts of mathematics. The workshop on Graph Theory brought together together a broad range of researchers to discuss some of the major new developments. There were three central themes, each of which has seen striking recent progress: the structure of graphs with forbidden subgraphs; graph minor theory; and applications of the entropy compression method. The workshop featured major talks on current work in these areas, as well as presentations of recent breakthroughs and connections to other areas. There was a particularly exciting selection of longer talks, including presentations on the structure of graphs with forbidden induced subgraphs, embedding simply connected 2-complexes in 3-space, and an announcement of the solution of the well-known Oberwolfach Problem
Separability and Vertex Ordering of Graphs
Many graph optimization problems, such as finding an optimal coloring, or a largest clique, can be solved by a divide-and-conquer approach. One such well-known technique is decomposition by clique separators where a graph is decomposed into special induced subgraphs along their clique separators. While the most common practice of this method employs minimal clique separators, in this work we study other variations as well. We strive to characterize their structure and in particular the bound on the number of atoms. In fact, we strengthen the known bounds for the general clique cutset decomposition and the minimal clique separator decomposition. Graph ordering is the arrangement of a graph’s vertices according to a certain logic and is a useful tool in optimization problems. Special types of vertices are often recognized in graph classes, for instance it is well-known every chordal graph contains a simplicial vertex. Vertex-ordering, based on such properties, have originated many linear time algorithms. We propose to define a new family named SE-Class such that every graph belonging to this family inherently contains a simplicial extreme, that is a vertex which is either simplicial or has exactly two neighbors which are non-adjacent. Our family lends itself to an ordering based on simplicial extreme vertices (named SEO) which we demonstrate to be advantageous for the coloring and maximum clique problems. In addition, we examine the relation of SE-Class to the family of (Even-Hole, Kite)-free graphs and show a linear time generation of SEO for (Even-Hole, Diamond, Claw)-free graphs. We showcase the applications of those two core tools, namely clique-based decomposition and vertex ordering, on the (Even-Hole, Kite)-free family