skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Partitioning a chordal graph into transitive subgraphs for parallel sparse triangular solution

Technical Report ·
DOI:https://doi.org/10.2172/10121667· OSTI ID:10121667
 [1];  [2];  [3]
  1. Oak Ridge National Lab., TN (United States)
  2. Waterloo Univ., ON (Canada). Dept. of Computer Science
  3. IBM Canada Lab., North York, Ontario (Canada)

A recent approach for solving sparse triangular systems of equations on massively parallel computers employs a factorization of the triangular coefficient matrix to obtain a representation of its inverse in product form. The number of general communication steps required by this approach is proportional to the number of factors in the factorization. The triangular matrix can be symmetrically permuted to minimize the number of factors over suitable classes of permutations, and thereby the complexity of the parallel algorithm can be minimized. Algorithms for minimizing the number of factors over several classes of permutations have been considered in earlier work. Let F = L+L{sup T} denote the symmetric filled matrix corresponding to a Cholesky factor L, and let G{sub F} denote the adjacency graph of F. In this paper we consider the problem of minirriizing the number of factors over all permutations which preserve the structure of G{sub F}. The graph model of this problem is to partition the vertices G{sub F} into the fewest transitively closed subgraphs over all perfect elimination orderings while satisfying a certain precedence relationship. The solution to this chordal graph partitioning problem can be described by a greedy scheme which eliminates a largest permissible subgraph at each step. Further, the subgraph eliminated at each step can be characterized in terms of lengths of chordless paths in the current elimination graph. This solution relies on several results concerning transitive perfect elimination orderings introduced in this paper. We describe a partitioning algorithm with {Omicron}({vert_bar}V{vert_bar} + {vert_bar}E{vert_bar}) time and space complexity.

Research Organization:
Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States)
Sponsoring Organization:
USDOE, Washington, DC (United States); National Science Foundation, Washington, DC (United States); Natural Sciences and Engineering Research Council of Canada, Ottawa, ON (Canada)
DOE Contract Number:
AC05-84OR21400; FG02-91ER25095
OSTI ID:
10121667
Report Number(s):
ORNL/TM-12270; ON: DE93006614; CNN: Grant CCR-9024954; Grant OGP0008111
Resource Relation:
Other Information: PBD: Dec 1992
Country of Publication:
United States
Language:
English