Convex Decomposition of Polyhedra and Robustness

This paper presents a simple algorithm to compute a convex decomposition of a nonconvex polyhedron of arbitrary genus (handles) and shells (internal voids). For such a polyhedron S with n edges and rnotches (features causing nonconvexity in polyhedra), the algorithm produces a worst-case optimal $O(r^2 )$ number of convex polyhedra $S_i $, with $U_{i = 1}^k S_i = S$, in $O(nr^2 + r^{7/2} )$ time and $O(nr + r^{5/2} )$ space. Recently, Chazelle and Palios have given a fast $O((n + r^2 )\log r$) time and $O(n + r^2 )$ space algorithm to tetrahedralize a nonconvex polyhedron. Their algorithm, however, works for a simple polyhedron of genus zero and with no shells (internal voids). The algorithm, presented here, is based on the simple cut and split paradigm of Chazelle. With the help of zone theorems on arrangements, it is shown that this cut and split method is quite efficient. The algorithm is extended to work for a certain class of nonmanifold polyhedra. Also presented is an algorithm for the same problem ...

[1]  M. Karasick On the representation and manipulation of rigid solids , 1989 .

[2]  Herbert Edelsbrunner,et al.  Simulation of simplicity: a technique to cope with degenerate cases in geometric algorithms , 1988, SCG '88.

[3]  Andrzej Lingas,et al.  The Power of Non-Rectilinear Holes , 1982, ICALP.

[4]  Steven Fortune,et al.  Stable maintenance of point set triangulations in two dimensions , 1989, 30th Annual Symposium on Foundations of Computer Science.

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

[6]  Bernard Chazelle,et al.  Triangulating a non-convex polytype , 1989, SCG '89.

[7]  B. Chazelle Computational geometry and convexity , 1980 .

[8]  Chandrajit L. Bajaj,et al.  Geometric Modeling with Algebraic Surfaces , 1988, IMA Conference on the Mathematics of Surfaces.

[9]  Victor J. Milenkovic,et al.  Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic , 1989, Artif. Intell..

[10]  David P. Dobkin,et al.  Recipes for geometry and numerical analysis - Part I: an empirical study , 1988, SCG '88.

[11]  Joseph O'Rourke,et al.  Some NP-hard polygon decomposition problems , 1983, IEEE Trans. Inf. Theory.

[12]  John E. Hopcroft,et al.  Robust set operations on polyhedral solids , 1987, IEEE Computer Graphics and Applications.

[13]  Kurt Mehlhorn,et al.  Sorting Jordan Sequences in Linear Time Using Level-Linked Search Trees , 1986, Inf. Control..

[14]  Bernard Chazelle,et al.  Convex Partitions of Polyhedra: A Lower Bound and Worst-Case Optimal Algorithm , 1984, SIAM J. Comput..

[15]  Chee-Keng Yap,et al.  A geometric consistency theorem for a symbolic perturbation scheme , 1988, SCG '88.