Recognizing Chordal Probe Graphs and Cycle-Bicolorable Graphs

A graph $G=(V,E)$ is a chordal probe graph if its vertices can be partitioned into two sets, $P$ (probes) and $N$ (non-probes), where $N$ is a stable set and such that $G$ can be extended to a chordal graph by adding edges between non-probes. We give several characterizations of chordal probe graphs, first, in the case of a fixed given partition of the vertices into probes and non-probes, and second, in the more general case where no partition is given. In both of these cases, our results are obtained by introducing new classes, namely, $N$-triangulatable graphs and cycle-bicolorable graphs. We give polynomial time recognition algorithms for each class. $N$-triangulatable graphs have properties similar to chordal graphs, and we characterize them using graph separators and using a vertex elimination ordering. For cycle-bicolorable graphs, which are shown to be perfect, we prove that any cycle-bicoloring of a graph renders it $N$-triangulatable. The corresponding recognition complexity for chordal probe graphs, given a partition of the vertices into probes and non-probes, is $O(|P||E|)$, thus also providing an interesting tractable subcase of the chordal graph sandwich problem. If no partition is given in advance, the complexity of our recognition algorithm is $O(|E|^2)$.

[1]  Andreas Parra,et al.  How to Use the Minimal Separators of a Graph for its Chordal Triangulation , 1995, ICALP.

[2]  Fred R. McMorris,et al.  On Probe Interval Graphs , 1998, Discret. Appl. Math..

[3]  Pinar Heggernes,et al.  A wide-range algorithm for minimal triangulation from an arbitrary ordering , 2006, J. Algorithms.

[4]  Martin Charles Golumbic,et al.  Two tricks to triangulate chordal probe graphs in polynomial time , 2004, SODA '04.

[5]  Gerard J. Chang,et al.  The PIGs Full Monty - A Floor Show of Minimal Separators , 2005, STACS.

[6]  D. R. Fulkerson,et al.  Incidence matrices and interval graphs , 1965 .

[7]  P. Seymour,et al.  The Strong Perfect Graph Theorem , 2002, math/0212070.

[8]  F. McMorris,et al.  Topics in Intersection Graph Theory , 1987 .

[9]  Ryan B. Hayward,et al.  Weakly triangulated graphs , 1985, J. Comb. Theory B.

[10]  Michael R. Fellows,et al.  Two Strikes Against Perfect Phylogeny , 1992, ICALP.

[11]  M. Steel The complexity of reconstructing trees from qualitative characters and subtrees , 1992 .

[12]  Jeremy P. Spinrad,et al.  A polynomial time recognition algorithm for probe interval graphs , 2001, SODA '01.

[13]  G. Dirac On rigid circuit graphs , 1961 .

[14]  Jeremy P. Spinrad,et al.  Construction of probe interval models , 2002, SODA '02.

[15]  M. Golumbic,et al.  Chordal Probe Graphs (Extended Abstract) , 2003 .

[16]  Martin Charles Golumbic,et al.  Chordal probe graphs , 2004, Discret. Appl. Math..

[17]  C. Lekkeikerker,et al.  Representation of a finite graph by a set of intervals on the real line , 1962 .

[18]  Pinar Heggernes,et al.  The Minimum Degree Heuristic and the Minimal Triangulation Process , 2003, WG.

[19]  M. Golumbic Algorithmic graph theory and perfect graphs , 1980 .

[20]  Martin Charles Golumbic,et al.  Graph Sandwich Problems , 1995, J. Algorithms.

[21]  Jeremy P. Spinrad,et al.  Treewidth and pathwidth of cocomparability graphs of bounded dimension , 1993 .

[22]  Martin Charles Golumbic,et al.  Directed tolerance graphs , 2004 .