## Abstract We define two types of bipartite graphs, chordal bipartite graphs and perfect elimination bipartite graphs, and prove theorems analogous to those of Dirac and Rose for chordal graphs (rigid circuit graphs, triangulated graphs). Our results are applicable to Gaussian elimination on spars
Treewidth of Chordal Bipartite Graphs
β Scribed by T. Kloks; D. Kratsch
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 743 KB
- Volume
- 19
- Category
- Article
- ISSN
- 0196-6774
No coin nor oath required. For personal study only.
β¦ Synopsis
Chordal bipartite graphs are exactly those bipartite graphs in which every cycle of length at least six has a chord. The treewidth of a graph (G) is the smallest maximum cliquesize among all chordal supergraphs of (G) decreased by one. We present a polynomial time algorithm for the exact computation of the treewidth of all chordal bipartite graphs. The algorithm can be implemented to run in time (O\left(m^{\alpha}\right)) which is the time needed to multiply two (m \times m) matrices, where (m) is the number of edges of the graph. (1995 Academic Press, Inc.
π SIMILAR VOLUMES
The main result of this paper is the NP-completeness of the HAMILTONIAN CIRCUIT problem for chordal bipartite graphs. This is proved by a sophisticated reduction from SATISFIABILITY. As a corollary, HAMILTONIAN CIRCUIT is NP-complete for strongly chordal split graphs. On both classes the complexity
For a graph H , the H-coloring problem is to decide whether or not an instance graph G is homomorphic to H . The H-coloring problem is said to have bounded treewidth duality if there is an integer k such that for any graph G which is not homomorphic to H , there is a graph F of treewidth k which is
In a 3-connected planar triangulation, every circuit of length 2 4 divides the rest of the edges into two nontrivial parts (inside and outside) which are "separated" by the circuit. Neil Robertson asked to what extent triangulations are characterized by this property, and conjectured an answer. In t
## Abstract A __kβtree__ is a chordal graph with no (__k__β+β2)βclique. An ββ__treeβpartition__ of a graph __G__ is a vertex partition of __G__ into βbags,β such that contracting each bag to a single vertex gives an ββtree (after deleting loops and replacing parallel edges by a single edge). We pro