Partitioning Meshes with Lines and Planes

We investigate several geometric methods for dividing an irregular mesh into pieces of roughly equal size with few interconnecting edges. All these methods are based on cutting a mesh with a line (in two dimensions) or a hyperplane (in any dimension). Line cuts have often been used in practice, but their quality varies widely. Until now, no theory has existed to predict the eeectiveness of any line-cut algorithm. We make two main contributions: First, we give rigorous (and tight) bounds on the quality of line cuts for meshes of bounded aspect ratio in terms of a parameter we call grading that measures the nonuniformity of the mesh. Our bound on line cut quality diiers from the known bound on circle cut quality by a factor that grows only as the 1=d power of the logarithm of the mesh grading. Second, we give an upper bound on the quality of an exact 50:50 line cut. This is the rst proof of a cut size guarantee for any exact bisection induced by a single geometric cut. We use these bounds to design simple and eecient algorithms that guarantee to nd good line cuts.

[1]  David Eppstein,et al.  Provably good mesh generation , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[2]  Charbel Farhat,et al.  Automatic partitioning of unstructured meshes for the parallel solution of problems in computational mechanics , 1993 .

[3]  Scott A. Mitchell,et al.  Quality mesh generation in three dimensions , 1992, SCG '92.

[4]  Stephen A. Vavasis,et al.  Automatic Domain Partitioning in Three Dimensions , 1991, SIAM J. Sci. Comput..

[5]  Herbert Edelsbrunner,et al.  Algorithms in Combinatorial Geometry , 1987, EATCS Monographs in Theoretical Computer Science.

[6]  Gary L. Miller,et al.  Geometric mesh partitioning: implementation and experiments , 1995, Proceedings of 9th International Parallel Processing Symposium.

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

[8]  Gary L. Miller,et al.  Density graphs and separators , 1991, SODA '91.

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

[10]  D. Eppstein,et al.  MESH GENERATION AND OPTIMAL TRIANGULATION , 1992 .

[11]  S. Teng,et al.  A Cartesian Parallel Nested Dissection Algorithm , 1994 .

[12]  Gary L. Miller,et al.  Automatic Mesh Partitioning , 1992 .

[13]  Gary L. Miller,et al.  A Delaunay based numerical method for three dimensions: generation, formulation, and partition , 1995, STOC '95.

[14]  S. Teng Points, spheres, and separators: a unified geometric approach to graph partitioning , 1992 .

[15]  Gary L. Miller,et al.  Moments of Inertia and Graph Separators , 1994, SODA '94.

[16]  Shang-Hua Teng,et al.  How Good is Recursive Bisection? , 1997, SIAM J. Sci. Comput..

[17]  I. Fried Condition of finite element matrices generated from nonuniform meshes. , 1972 .

[18]  D WilliamsRoy Performance of dynamic load balancing algorithms for unstructured mesh calculations , 1991 .

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