Advertisement

Journal of Combinatorial Optimization

, Volume 1, Issue 1, pp 79–104 | Cite as

Moments of Inertia and Graph Separators

  • Keith D. Gremban
  • Gary L. Miller
  • Shang-Hua Teng
Article

Abstract

Graphs that arise from the finite element or finite difference methods often include geometric information such as the coordinates of the nodes of the graph. The geometric separator algorithm of Miller, Teng, Thurston, and Vavasis uses some of the available geometric information to find small node separators of graphs. The algorithm utilizes a random sampling technique based on the uniform distribution to find a good separator. We show that sampling from an elliptic distribution based on the inertia matrix of the graph can significantly improve the quality of the separator. More generally, given a cost function f on the unit d-sphere Ud, we can define an elliptic distribution based on the second moments of f. The expectation of f with respect to the elliptic distribution is less than or equal to the expectation with respect to the uniform distribution, with equality only in degenerate cases. We also demonstrate experimentally that the benefit gained by the use of the additional geometric information is significant. Some previous algorithms have used the moments of inertia heuristically, and suffer from extremely poor worst case performance. This is the first result, to our knowledge, that incorporates the moments of inertia into a provably good strategy.

Keywords

Cost Function Uniform Distribution Discrete Geometry Good Separator Degenerate Case 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alon, N., P. Seymour, and R. Thomas. A separator theorem for non-planar graphs. In Proceedings of the 22th Annual ACM Symposium on Theory of Computing, Maryland, May 1990. ACM.Google Scholar
  2. Blelloch, G., A. Feldmann, O. Ghattas, J. Gilbert, G. Miller, D. R. O'Hallaron, E. Schwabe and J. Schewchuk, S.-H. Teng. (1996). Automated parallel solution of unstructured PDE problems. CACM, invited submission, to appear.Google Scholar
  3. Clarkson, K., D. Eppstein, G. L. Miller, C. Sturtivant, and S.-H. Teng. Approximating center point with iterated radon points. In Proceedings of 9th ACM Symposium on Computational Geometry, pp. 91–98, San Diego, May, 1993.Google Scholar
  4. Crawford, G. E. Elementary proof that the arithmetic mean of any number of positive quantities is greater than the geometric mean. Proc. Edinburgh Math. Soc., 17:2–4, 1899–1900.Google Scholar
  5. Djidjev, H. N. On the problem of partitioning planar graphs. SIAM J. Alg. Disc. Math., 3(2):229–240, June 1982.Google Scholar
  6. Donath, W. E. (1988). Logic partitioning. In B. T. Preas and M. J. Lorenzetti, eds., Physical Design Automation of VLSI Systems, pp. 65–86. Benjamin/Cummings.Google Scholar
  7. Donath, W. E., and A. J. Hoffman. (1972). Algorithms for partitioning of graphs and computer logic based on eigenvectors of connection matrices. IBM Technical Disclosure Bulletin, 15:938–944.Google Scholar
  8. Eppstein, D., G. L. Miller, and S.-H. Teng. (1993). A deterministic linear time algorithm for geometric separators and its applications. In Proceedings of 9th ACM Symposium on Computational Geometry, pp. 99–108, San Diego, May.Google Scholar
  9. Farhat, C., and M. Lesoinne. (1993). Automatic partitioning of unstructured meshes for the parallel solution of problems in computational mechanics. Int. J. Num. Meth. Eng. 36:745–764.Google Scholar
  10. Farhat, C., and H. Simon. (1993). TOP/DOMDEC—a software tool for mesh partitioning and parallel processing. Technical Report, NASA Ames Research Center.Google Scholar
  11. Frieze, A. M., G. L. Miller, and S.-H. Teng. (1992). Separator based parallel divide and conquer in computational geometry. In 4th Annual ACM Symposium on Parallel Algorithms and Architectures, pp 420–430.Google Scholar
  12. Gazit, H. (1986). An improved algorithm for separating a planar graph. Manuscript, Department of Computer Science, University of Southern California.Google Scholar
  13. Gazit, H., and G. L. Miller. A parallel algorithm for finding a separator in planar graphs. In 28st Annual Symposium on Foundation of Computation Science, IEEE, 238–248, Los Angeles, October 1987.Google Scholar
  14. George, J. A. (1973). Nested dissection of a regular finite element mesh. SIAM J. Numerical Analysis, 10:345–363.Google Scholar
  15. George, A., and J. W. H. Liu. (1981). Computer Solution of Large Sparse Positive Definite Systems. Prentice-Hall.Google Scholar
  16. Gilbert, J. R., J. P. Hutchinson, and R. E. Tarjan. (1984). A separation theorem for graphs of bounded genus. J. Algorithms, 5:391–407.Google Scholar
  17. Gilbert, J. R., G. L. Miller, and S.-H. Teng. (1995). Geometric mesh partitioning: Implementation and experiments. In International Conference of Parallel Processing, pp 418–427.Google Scholar
  18. Heath, M., and P. Raghavan. (1994). A cartesian parallel nested dissection algorithm. To appear in SIAM Journal on Matrix Analysis and Applications.Google Scholar
  19. Hendrickson, B., and R. Leland. (1993). Multidimensional spectral load balancing. Technical Report, Sandia National Laboratories, SAND93-0074.Google Scholar
  20. Hendrickson, B., and R. Leland. (1993). A multilevel algorithm for partitioning graphs. Technical Report SAND93-1301, Sandia National Laboratories, Albuquerque, NM.Google Scholar
  21. Hendrickson, B., and R. Leland. (1993). The Chaco user's guide, Version 1.0. Technical Report SAND93-2339, Sandia National Laboratories, Albuquerque, NM.Google Scholar
  22. Jordan, C. (1869). Sur les assemblages de lignes. Journal Reine Angew. Math, 70:185–190.Google Scholar
  23. Kernighan B. W., and S. Lin. (1970). An efficient heuristic procedure for partitioning graphs. Bell Sys. Tech. J., 49:291–307.Google Scholar
  24. Leighton, F. T. (1983). Complexity Issues in VLSI. Foundations of Computing. MIT Press, Cambridge, MA.Google Scholar
  25. Leighton, F. T., and S. Rao. (1988). An approximate max-flow min-cut theorem for uniform multicommodity flow problems with applications to approximation algorithms. In 29th Annual Symposium on Foundations of Computer Science, pp 422–431.Google Scholar
  26. Leiserson, C. E. (1983). Area Efficient VLSI Computation. Foundations of Computing. MIT Press, Cambridge, MA.Google Scholar
  27. Lipton, R. J., D. J. Rose, and R. E. Tarjan. (1979). “Generalized nested dissection”. SIAM J. on Numerical Analysis, 16:346–358.Google Scholar
  28. Lipton, R. J., and R. E. Tarjan. (1979). “A separator theorem for planar graphs”. SIAM J. of Appl. Math., 36(April), 177–189.Google Scholar
  29. Miller, G. L. (1986). Finding small simple cycle separators for 2-connected planar graphs. Journal of Computer and System Sciences, 32(3)(June), 265–279.Google Scholar
  30. Miller, G. L., S.-H. Teng, W. Thurston, and S. A. Vavasis. (1996). “Automatic Mesh Partitioning.” In A. George, J. Gilbert, and J. Liu, editors, Sparse Matrix Computations: Graph Theory Issues and Algorithms, IMA Volumes in Mathematics and its Applications. Springer-Verlag.Google Scholar
  31. Miller, G. L., S.-H. Teng, W. Thurston, and S. A. Vavasis. (1996). Finite element meshes and geometric separators. SIAM J. Scientific Computing, to appear.Google Scholar
  32. Nour-Omid, B., A. Raefsky, and G. Lyzenga. (1987). Solving finite element equations on concurrent computers. in A. K. Noor, ed., Parallel Computations and Their Impact on Mechanics, The American Society of Mechanical Engineers, AMD-Vol. 86, 209–228.Google Scholar
  33. Pan, V., and J. Reif. (1985). Efficient parallel solution of linear systems. In Proceedings of the 17th Annual ACM Symposium on Theory of Computing, pages 143–152, Providence, RI, May. ACM.Google Scholar
  34. Pothen, A., H. D. Simon, and K.-P. Liou. (1990). Partitioning sparse matrices with eigenvectors of graphs. SIAM J. Mat. Anal. Appl., 11(3):430–452.Google Scholar
  35. Simon, H. D. (1991). Partitioning of unstructured problems for parallel processing. Computing Systems in Engineering 2(2/3):135–148.Google Scholar
  36. Teng, S.-H.. (1991). Points, Spheres, and Separators: a unified geometric approach to graph partitioning. Ph.D. Thesis, Carnegie Mellon University, CMU-CS-91-184.Google Scholar
  37. Ungar, P. (1951). A theorem on planar graphs. Journal London Math Soc. 26:256–262.Google Scholar
  38. Williams, R. D. (1991). Performance of dynamic load balancing algorithms for unstructured mesh calculations Concurrency: Practice and Experience, 3(5):457–481.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Keith D. Gremban
    • 1
  • Gary L. Miller
    • 2
  • Shang-Hua Teng
    • 2
  1. 1.Advanced Information Systems DivisionCTA IncEnglewood
  2. 2.School of Computer ScienceCarnegie Mellon UniversityPittsburgh

Personalised recommendations