Chordal bipartite graph
File:Chordal bipartite revised 2.svg of length at least 6 has a chord connecting two vertices that are a distance > 1 apart from each other in the cycle.]]
In the mathematical area of graph theory, a chordal bipartite graph is a bipartite graph B = (X,Y,E) in which every cycle of length at least 6 in B has a chord, i.e., an edge that connects two vertices that are a distance > 1 apart from each other in the cycle.
{{harvtxt|Golumbic|1980}}, p. 261, {{harvtxt|Brandstädt|Le|Spinrad|1999}}, Definition 3.4.1, p. 43.
A better name would be weakly chordal and bipartite since chordal bipartite graphs are in general not chordal as the induced cycle of length 4 shows.
Characterizations
Chordal bipartite graphs have various characterizations in terms of perfect elimination orderings, hypergraphs and matrices. They are closely related to strongly chordal graphs.
By definition, chordal bipartite graphs have a forbidden subgraph characterization as the graphs that do not contain
any induced cycle of length 3 or of length at least 5 (so-called holes) as an induced subgraph. Thus, a graph G is chordal bipartite if and only if
G is triangle-free and hole-free. In {{harvtxt|Golumbic|1980}}, two other characterizations are mentioned:
B is chordal bipartite if and only if every minimal edge separator induces a complete bipartite subgraph in B if and only if every induced
subgraph is perfect elimination bipartite.
Martin Farber has shown: A graph is strongly chordal if and only if the bipartite incidence graph of its clique hypergraph is chordal bipartite.
{{harvtxt|Farber|1983}}; {{harvtxt|Brandstädt|Le|Spinrad|1999}}, Theorem 3.4.1, p. 43.
A similar characterization holds for the closed neighborhood hypergraph: A graph is strongly chordal if and only if the bipartite incidence graph of its
closed neighborhood hypergraph is chordal bipartite.{{harvtxt|Brandstädt|1991}}
Another result found by Elias Dahlhaus is: A bipartite graph B = (X,Y,E) is chordal bipartite if and only if the split graph resulting from making X a clique is strongly chordal.{{harvtxt|Brandstädt|Le|Spinrad|1999}}, Corollary 8.3.2, p. 129.
A bipartite graph B = (X,Y,E) is chordal bipartite if and only if every induced subgraph of B has a maximum X-neighborhood ordering and a
maximum Y-neighborhood ordering.{{harvtxt|Dragan|Voloshin|1996}}
Various results describe the relationship between chordal bipartite graphs and totally balanced neighborhood hypergraphs of bipartite graphs.
{{harvtxt|Brandstädt|Le|Spinrad|1999}}, Theorems 8.2.5, 8.2.6, pp. 126–127.
A characterization of chordal bipartite graphs in terms of intersection graphs related to hypergraphs is given in.{{harvtxt|Huang|2006}}
A bipartite graph is chordal bipartite if and only if its adjacency matrix is totally balanced if and only if the adjacency matrix is Gamma-free.
Recognition
Chordal bipartite graphs can be recognized in time {{nowrap|O(min(n2, (n + m) log n))}} for a graph with n vertices and
Complexity of problems
Various problems such as Hamiltonian cycle,{{harvtxt|Müller|1996}} Steiner tree {{harvtxt|Müller|Brandstädt|1987}} and Efficient Domination
{{harvtxt|Lu|Tang|2002}} remain NP-complete on chordal bipartite graphs.
Various other problems which can be solved efficiently for bipartite graphs can be solved more efficiently for chordal bipartite graphs as discussed in
Related graph classes
Every chordal bipartite graph is a modular graph. The chordal bipartite graphs include the complete bipartite graphs and the bipartite distance-hereditary graphs.[http://www.graphclasses.org/classes/gc_79.html Chordal bipartite graphs], Information System on Graph Classes and their Inclusions, retrieved 2016-09-30.
Notes
{{reflist|30em}}
References
{{refbegin|30em}}
- {{citation
| last = Brandstädt | first = Andreas | authorlink = Andreas Brandstädt
| title = Classes of bipartite graphs related to chordal graphs
| journal = Discrete Applied Mathematics
| volume = 32
| pages = 51–60
| year = 1991
| doi=10.1016/0166-218x(91)90023-p| doi-access = free
}}.
- {{citation
| last1 = Brandstädt | first1 = Andreas | author1-link = Andreas Brandstädt
| last2 = Dragan | first2 = Feodor
| last3 = Chepoi | first3 = Victor
| last4 = Voloshin | first4 = Vitaly
| title = Dually Chordal Graphs
| journal = SIAM Journal on Discrete Mathematics
| volume = 11
| pages = 437–455
| year = 1998 | doi=10.1137/s0895480193253415}}.
- {{citation
| last1 = Brandstädt
| first1 = Andreas
| author1-link = Andreas Brandstädt
| last2 = Le
| first2 = Van Bang
| last3 = Spinrad
| first3 = Jeremy
| title = Graph Classes: A Survey
| publisher = SIAM Monographs on Discrete Mathematics and Applications
| year = 1999
| isbn = 0-89871-432-X
| url-access = registration
| url = https://archive.org/details/graphclassessurv0000bran
}}.
- {{citation
| last1 = Dragan | first1 = Feodor
| last2 = Voloshin | first2 = Vitaly
| title = Incidence graphs of biacyclic hypergraphs
| journal = Discrete Applied Mathematics
| volume = 68
| pages = 259–266
| year = 1996
| doi=10.1016/0166-218x(95)00070-8| doi-access =
}}.
- {{citation
| last = Farber | first = M.
| doi = 10.1016/0012-365X(83)90154-1
| issue = 2–3
| journal = Discrete Mathematics
| pages = 173–189
| title = Characterizations of strongly chordal graphs
| volume = 43
| year = 1983| doi-access =
}}.
- {{citation
| last = Golumbic | first = Martin Charles
| title = Algorithmic Graph Theory and Perfect Graphs
| publisher = Academic Press
| year = 1980
| isbn = 0-12-289260-7}}.
- {{citation
| last = Huang | first = Jing
| doi = 10.1016/j.jctb.2006.01.001
| journal = Journal of Combinatorial Theory, Series B
| pages = 673–683
| title = Representation characterizations of chordal bipartite graphs
| volume = 96
| issue = 5
| year = 2006| doi-access = free
}}.
- {{citation
| last1 = Lu | first1 = Chin Lung
| last2 = Tang | first2 = Chuan Yi
| title = Weighted efficient domination on some perfect graphs
| journal = Discrete Applied Mathematics
| volume = 117
| pages = 163–182
| year = 2002
| doi=10.1016/s0166-218x(01)00184-6| doi-access = free
}}.
- {{citation
| last = Lubiw | first = A. | authorlink = Anna Lubiw
| doi = 10.1137/0216057
| issue = 5
| journal = SIAM Journal on Computing
| pages = 854–879
| title = Doubly lexical orderings of matrices
| volume = 16
| year = 1987}}.
- {{citation
| last = Müller | first = Haiko
| title = Hamilton circuits in chordal bipartite graphs
| journal = Discrete Mathematics
| volume = 156
| pages = 291–298
| year = 1996
| doi=10.1016/0012-365x(95)00057-4| doi-access = free
}}.
- {{citation
| last1 = Müller | first1 = Haiko
| last2 = Brandstädt | first2 = Andreas | author2-link = Andreas Brandstädt
| title = The NP-completeness of Steiner Tree and Dominating Set for chordal bipartite graphs
| journal = Theoretical Computer Science
| volume = 53
| pages = 257–265
| year = 1987
| doi=10.1016/0304-3975(87)90067-3| doi-access = free
}}.
- {{citation
| last1 = Paige | first1 = R.
| last2 = Tarjan | first2 = R. E. | author2-link = Robert Tarjan
| doi = 10.1137/0216062
| issue = 6
| journal = SIAM Journal on Computing
| pages = 973–989
| title = Three partition refinement algorithms
| volume = 16| year = 1987
}}.
- {{citation
| last = Spinrad | first = Jeremy
| doi = 10.1016/0020-0190(93)90209-R
| issue = 2
| journal = Information Processing Letters
| pages = 229–235
| title = Doubly lexical ordering of dense 0–1 matrices
| volume = 45
| year = 1993}}.
- {{citation
| last = Spinrad | first = Jeremy
| title = Efficient Graph Representations
| publisher = Fields Institute Monographs, American Mathematical Society
| year = 2003
| isbn = 0-8218-2815-0}}.
{{refend}}