A Clique Tree Algorithm for Partitioning A Chordal Graph into Transitive Subgraphs

A partitioning problem on chordal graphs that arises in the solution of sparse triangular systems of equations on parallel computers is considered. Roughly the problem is to partition a chordal graph $G$ into the fewest transitively orientable subgraphs over all perfect elimination orderings of $G$, subject to a certain precedence relationship on its vertices. In earlier work, a greedy scheme that solved the problem by eliminating a largest subset of vertices at each step was described, and an algorithm implementing the scheme in time and space linear in the number of edges of the graph was provided. Here a more efficient greedy scheme, obtained by representing the chordal graph in terms of its maximal cliques, which eliminates a subset of the leaf cliques % of the current graph at each step is described. Several new results about minimal vertex separators in chordal graphs, and in particular the concept of a {\em critical separator\/} of a leaf clique, are employed to prove that the new scheme solves the partitioning problem. We provide an algorithm implementing the scheme in time and space linear in the size of the clique tree.