Min-Max-Boundary Domain Decomposition
Domain decomposition is one of the most effective and popular parallel computing techniques for solving large scale numerical systems. In the special case when the amount of computation in a subdomain is proportional to the volume of the subdomain, domain decomposition amounts to minimizing the surface area of each subdomain while dividing the volume evenly. Motivated by this fact, we study the following min-max boundary multi-way partitioning problem: Given a graph G and an integer k > 1, we would like to divide G into k subgraphs G 1, . . . , G k (by removing edges) such that (i) |G i| = Θ(|G|/k) for all i ∈ 1, . . . , k; and (ii) the maximum boundary size of any subgraph (the set of edges connecting it with other subgraphs) is minimized.
We provide an algorithm that given G, a well-shaped mesh in d dimensions, finds a partition of G into k subgraphs G 1, . . . , G k, such that for all i, G i has Θ(|G|/k) vertices and the number of edges connecting G i with the other subgraphs is O((|G|/k)1−1/d ). Our algorithm can find such a partition in O(|G| log k) time. Finally, we extend our results to vertex-weighted and vertex-based graph decomposition. Our results can be used to simultaneously balance the computational and memory requirement on a distributed-memory parallel computer without sacrificing the communication overhead.
KeywordsPlanar Graph Domain Decomposition Decomposition Tree Separator Theorem Degree Graph
Unable to display preview. Download preview PDF.
- 1.N. Alon, P. Seymour, and R. Thomas. A separator theorem for graphs with an excluded minor and its applications. In STOC90, pages 293–299. ACM, 1990.Google Scholar
- 3.M. Benantar, R. Biswas, J. E. Flaherty, and M. S. Shephard. Parallel computation with adaptive methods for elliptic and hyperbolic systems. Comp. Methods Applied Mech. and Eng., pages 73–93, 1990.Google Scholar
- 4.M. Bern, D. Eppstein, and J. R. Gilbert. Provably good mesh generation. In FOCS90, pages 231–241. IEEE, 1990.Google Scholar
- 8.T. F. Chan and T. P. Mathew. Domain decomposition algorithms. Acta Numerica, pages 61–144, 1994.Google Scholar
- 9.J. R. Gilbert, G. L. Miller, and S.-H. Teng. Geometric mesh partitioning: Implementation and experiments. In SIAM J. Sci. Comput., to appear, 1999.Google Scholar
- 13.G. L. Miller, S.-H. Teng, W. Thurston, and S. A. Vavasis. Finite element meshes and geometric separators. SIAM J. Sci. Comput., to appear, 1999.Google Scholar
- 14.G. L. Miller, S.-H. Teng, W. Thurston, and S. A. Vavasis. Separators for sphere-packings and nearest neighborhood graphs. J. ACM, Jan. 1997.Google Scholar
- 15.H. D. Simon and S.-H. Teng. How good is recursive bisection? SIAM J. Sci. Comput., to appear, 1996.Google Scholar
- 16.D. A. Spielman and S.-H. Teng. Spectral partitioning works: planar graphs and finite element meshes. In FOCS96, pages 96–107, IEEE, 1996.Google Scholar
- 18.S.-H. Teng. Provably good partitioning and load balancing algorithms for parallel adaptive n-body simulation. SIAM J. Scientific Computing, to appear, 1999.Google Scholar