Efficiently decomposing, recognizing and triangulating hole-free graphs without diamonds
Résumé
A graph is hole- and diamond-free (HD-free) if none of its induced subgraphs is isomorphic to a chordless cycle of length at least five or to a diamond. Using the clique separator approach and the simple structure of atoms of HD-free graphs, we show how to recognize HD-free graphs in time O(n(2)). One of the main tools is Lexicographic Breadth-First Search (LexBFS); we give two new properties of LexBFS which are essential for reaching the time bound and which hold for any graph. Moreover, we find minimal triangulations of HD-free graphs in time O(n(2)), introducing efficient algorithms for the minimal triangulation of matched co-bipartite graphs and chordal bipartite graphs