Spectral Nested Dissection 1

We describe a spectral nested dissection algorithm for computing orderings appropriate for parallel factorization of sparse, symmetric matrices. The algorithm makes use of spectral properties of the Laplacian matrix associated with the given matrix to compute separators. We evaluate the quality of the spectral orderings with respect to several measures: fill, elimination tree height, height and weight balances of elimination trees, and clique tree heights. Spectral orderings compare quite favorably with commonly used orderings, outperforming them by a wide margin for some of these measures. These results are confirmed by computing a multifrontal numerical factorization with the different orderings on a Cray Y-MP with eight processors. Abstract. We describe a spectral nested dissection algorithm for computing orderings appropriate for parallel factorization of sparse, symmetric matrices. The algorithm makes use of spectral properties of the Laplacian matrix associated with the given matrix to compute separators. We evaluate the quality of the spectral orderings with respect to several measures: fill, elimination tree height, height and weight balances of elimination trees, and clique tree heights. Spectral orderings compare quite favorably with commonly used orderings, outperforming them by a wide margin for some of these measures. These results are confirmed by computing a multifrontal numerical factorization with the different orderings on a Cray Y-MP with eight processors.

[1]  Barry W. Peyton,et al.  On Finding Minimum-Diameter Clique Trees , 1994, Nord. J. Comput..

[2]  Bojan Mohar,et al.  Laplace eigenvalues of graphs - a survey , 1992, Discret. Math..

[3]  John R. Gilbert,et al.  Highly Parallel Sparse Cholesky Factorization , 1992, SIAM J. Sci. Comput..

[4]  S. Hammond,et al.  On a massively parallel Euler solver for unstructured grids , 1992 .

[5]  Gary L. Miller,et al.  A unified geometric approach to graph separators , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[6]  A. Pothen,et al.  A Distributed Multifrontal Algorithm Using Clique Trees , 1991 .

[7]  Horst D. Simon,et al.  Partitioning of unstructured problems for parallel processing , 1991 .

[8]  Joseph W. H. Liu The role of elimination trees in sparse factorization , 1990 .

[9]  Joseph W. H. Liu The Minimum Degree Ordering with Constraints , 1989 .

[10]  J. G. Lewis,et al.  A fast algorithm for reordering sparse matrices for parallel factorization , 1989 .

[11]  Timothy J. Barth,et al.  The design and application of upwind schemes on unstructured meshes , 1989 .

[12]  Frank Thomson Leighton,et al.  An approximate max-flow min-cut theorem for uniform multicommodity flow problems with applications to approximation algorithms , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[13]  Barry W. Peyton,et al.  Progress in Sparse Matrix Methods for Large Linear Systems On Vector Supercomputers , 1987 .

[14]  Joseph W. H. Liu,et al.  Modification of the minimum-degree algorithm by multiple elimination , 1985, TOMS.

[15]  John G. Lewis,et al.  Sparse matrix test problems , 1982, SGNM.

[16]  J. Pasciak,et al.  Computer solution of large sparse positive definite systems , 1982 .

[17]  B. Parlett,et al.  On estimating the largest eigenvalue with the Lanczos algorithm , 1982 .

[18]  J. Gilbert Graph separator theorems and sparse Gaussian elimination , 1980 .

[19]  D. Rose,et al.  Generalized nested dissection , 1977 .

[20]  M. Fiedler A property of eigenvectors of nonnegative symmetric matrices and its application to graph theory , 1975 .

[21]  Alex Pothen,et al.  PARTITIONING SPARSE MATRICES WITH EIGENVECTORS OF GRAPHS* , 1990 .

[22]  A. George Nested Dissection of a Regular Finite Element Mesh , 1973 .

[23]  M. Fiedler Algebraic connectivity of graphs , 1973 .