Chordal Completion

In graph theory, a branch of mathematics, a chordal completion of a given undirected graph is a chordal graph, on the same vertex set, that has as a subgraph.
A minimal chordal completion is a chordal completion such that any graph formed by removing an edge would no longer be a chordal completion. A minimum chordal completion is a chordal completion with as few edges as possible.

A different type of chordal completion, one that minimizes the size of the maximum clique in the resulting chordal graph, can be used to define the treewidth of . Chordal completions can also be used to characterize several other graph classes including AT-free graphs, claw-free AT-free graphs, and cographs.

The minimum chordal completion was one of twelve computational problems whose complexity was listed as open in the 1979 book ''Computers and Intractability''.
Applications of chordal completion include modeling the problem of minimizing fill-in when performing Gaussian elimination on sparse symmetric matrices, and reconstructing phylogenetic trees.

Chordal completions of a graph are sometimes called triangulations, but this term is ambiguous even in the context of graph theory, as it can also refer to maximal planar graphs.

Related graph families

A graph is an AT-free graph if and only if all of its minimal chordal completions are interval graphs. is a claw-free AT-free graph if and only if all of its minimal chordal completions are proper interval graphs. And is a cograph if and only if all of its minimal chordal completions are trivially perfect graphs..

A graph has treewidth at most if and only if has at least one chordal completion whose maximum clique size is at most . It has pathwidth at most if and only if has at least one chordal completion that is an interval graph with maximum clique size at most . It has bandwidth at most if and only if has at least one chordal completion that is a proper interval graph with maximum clique size at most . And it has tree-depth if and only if it has at least one chordal completion that is a trivially perfect graph with maximum clique size at most .

Applications

The original application of chordal completion described in ''Computers and Intractability'' involves Gaussian elimination for sparse matrices. During the process of Gaussian elimination, one wishes to minimize fill-in, coefficients of the matrix that were initially zero but later become nonzero, because the need to calculate the values of these coefficients slows down the algorithm. The pattern of nonzeros in a sparse symmetric matrix can be described by an undirected graph (having the matrix as its adjacency matrix); the pattern of nonzeros in the filled-in matrix is always a chordal graph, any minimal chordal completion corresponds to a fill-in pattern in this way. If a chordal completion of a graph is given, a sequence of steps in which to perform Gaussian elimination to achieve this fill-in pattern can be found by computing an elimination ordering of the resulting chordal graph. In this way, the minimum fill-in problem can be seen as equivalent to the minimum chordal completion problem. In this application, planar graphs may arise in the solution of two-dimensional finite element systems; it follows from the planar separator theorem that every planar graph with vertices has a chordal completion with at most edges.

Another application comes from phylogeny, the problem of reconstructing evolutionary trees, for instance trees of organisms subject to genetic mutations or trees of sets of ancient manuscripts copied one from another subject to scribal errors. If one assumes that each genetic mutation or scribal error happens only once, one obtains a perfect phylogeny, a tree in which the species or manuscripts having any particular characteristic always form a connected subtree. As describes, the existence of a perfect phylogeny can be modeled as a chordal completion problem. One draws an "overlap graph" in which the vertices are attribute values (specific choices for some characteristic of a species or manuscript) and the edges represent pairs of attribute values that are shared by at least one species. The vertices of the graph can be colored by the identities of the characteristics that each attribute value comes from, so that the total number of colors equals the number of characteristics used to derive the phylogeny. Then a perfect phylogeny exists if and only if has a chordal completion that respects the coloring.

Computational complexity

Although listed as an open problem in the 1979 book ''Computers and Intractability'', the computational complexity of the minimum chordal completion problem (also called the minimum fill-in problem) was quickly resolved: showed it to be NP-complete. If the minimum chordal completion adds edges to a graph , then it is possible to find a chordal completion using at most added edges, in polynomial time. The problem of finding the optimal set of edges to add can also be solved by a fixed-parameter tractable algorithm, in time polynomial in the graph size and subexponential in .

The treewidth (minimum clique size of a chordal completion) and related parameters including pathwidth and tree-depth are also NP-complete to compute, and (unless P=NP) cannot be approximated in polynomial time to within a constant factor of their optimum values; however, approximation algorithms with logarithmic approximation ratios are known for them.

Both the minimum fill-in and treewidth problems can be solved in exponential time. More precisely, for an -vertex graph, the time is ..

References

{{reflist, 30em

Graph theory objects