Abstract
We show that the total combinatorial complexity of all non-convex cells in an arrangement ofn (possibly intersecting) triangles in 3-space isO(n 7/3 logn) and that this bound is almost tight in the worst case. Our bound significantly improves a previous nearly cubic bound of Pach and Sharir. We also present a (nearly) worst-case optimal randomized algorithm for calculating a single cell of the arrangement and an alternative less efficient, but still subcubic algorithm for calculating all non-convex cells, analyze some special cases of the problem where improved bounds (and faster algorithms) can be obtained, and describe applications of our results to translational motion planning for polyhedra in 3-space.
Similar content being viewed by others
References
B.Aronov, H.Edelsbrunner, L. J.Guibas, and M.Sharir:Improved bounds on the number of edges of many faces in arrangements of line segments. Manuscript, 1989.
B.Aronov, and M.Sharir:The union of convex polyhedra and translational motion planning, in preparation.
B.Chazelle, and J.Friedman: A deterministic view of random sampling and its use in geometry, InProc. 29th IEEE Symp. on Foundations of Computer Science, 1988, 539–549.
B.Chazelle, and L.Palios:Triangulating a non-convex polytope, Proc. 5th Symp. on Computational Geometry,1989, 393–400.
K. Clarkson: New applications of random sampling in computational geometry,Discrete Comput. Geom.,2 (1987) 195–222.
K. Clarkson, H. Edelsbrunner, L. J. Guibas, M. Sharir, andE. Welzl: Combinatorial complexity bounds for arrangements of curves and surfaces,Discrete Comput. Geom.,5(1990) 99–160.
G. E.Collins: Quantifier elimination for real closed fields by cylindrical algebraic decomposition, In2nd GI Conference on Automata Theory and Formal Languages, Springer,1975, 134–183.
D. P.Dobkin, and M. J.Laszlo: Primitives for the manipulation of three-dimensional subdivisions, InProc. 3rd ACM Symp. on Computatioal Geometry,1987, 86–99.
H. Edelsbrunner, L. J. Guibas, J. Hershberger, R. Seidel, M. Sharir, J. Snoeyink, andE. Welzl: Implicity representing arrangements of lines or of segments,Discrete Comput. Geom.,4(1989) 433–466.
H.Edelsbrunner, L. J.Guibas, J.Pach, R.Pollack, M.Sharir, and R.Seidel: Arrangements of curves in the plane: Topology, combinatorics and algorithms, InProc. 15th Int. Colloq. on Automata, Languages and Programming,1988, 214–229.
H. Edelsbrunner, L. J. Guibas, andM. Sharir: The complexity of many cells in arrangements of planes and related problems,Discrete Comput. Geom.,5(1990) 197–216.
H. Edelsbrunner, L. J. Guibas, andM. Sharir: The complexity and construction of many faces in arrangements of lines and of segments,Discrete Comput. Geom.,5(1990) 161–196.
H. Edelsbrunner, L. J. Guibas, andM. Sharir: The Upper Envelope of Piecewise Linear Functions: Algorithms and Applications, Tech. Report 333, Comp. Sci, Dept., Courant Institute, November1987.Discrete Comput. Geom. 4(1989) 311–336.
H. Edelsbrunner, J. O'Rourke, andR. Seidel: Construsting arrangements of lines and hyperplanes with applications,SIAM J. Computing,15 (1986) 341–363.
H. Edelsbrunner, andE. Welzl: On the maximal number of edges of many faces in an arrangement,J. Comb. Theory, Ser. A.41 (1986) 159–166.
P. Erdős: On the number of complete subgraphs contained in certain graphs,Publ. Math. Inst. Hungar. Acad. Sci.,7 (1962) 459–464.
V.Guillemin, and A.Pollack:Differential Topology, Prentice-Hall,1974.
S. Hart, andM. Sharir: Nonlinearity of Davenport-Schinzel sequences and of generalized path-compression schemes,Combinatorica,6 (1986) 151–177.
D. Haussler, andE. Welzl: Epsilon-nets and simplex range queries,Discrete Comput Geom.,2 (1987) 127–151.
J.Matoušek: Construction ofε-nets, InProc 5th Symp. on Computational Geometry,1989, 1–10.
E. E.Moise:Geometric Topology in Dimensions 2 and 3, Springer,1977.
J.O'Rourke:Art Gallery Theorems and Algorithms, Oxford University Press,1987.
J. Pach, andM. Sharir: The Upper Envelope of Piecewise Linear Functions and the Boundary of a Region Enclosed by Convex Plates: Combinatorial Analysis,Discrete Comput. Geom. 4(1989) 291–310.
R. Pollack, M. Sharir, andS. Sifrony: Separating two simple polygons by a sequence of translations,Discrete Comput. Geom.,3 (1988) 123–136.
N. Sarnak, andR. E. Tarjan: Planar point location using persistent search trees,CACM,29 (7) (1986) 669–679.
M.Sharir, and S.Sifrony: Coordinated motion planning for two independent robots, InProc. 4th ACM Symp. on Computational Geometry,1988, 319–328.
C. D.Thomborson, L. L.Deneen, and G. M.Shute:A uniform representation for partially embedded graphs, Manuscript.
A. Wiernik andM. Sharir: Planar realization of non-linear Davenport-Schinzel sequences by segments,Discrete Comput. Geom.,3 (1988) 15–47.
Author information
Authors and Affiliations
Additional information
Work on this paper by the first author has been supported by an AT&T Bell Laboratories PhD Scholarship. Work on this paper by the second author has been supported by Office of Naval Research Grant N00014-87-K-0129, by National Science Foundation Grant No. NSF-DCR-83-20085, by grants from the Digital Equipment Corporation, the IBM Corporation, and by a research grant from the NCRD — the Israeli National Council for Research and Development. A preliminary version of this paper has appeared inProc. 4th ACM Symp. on Computational Geometry, Urbana, Illinois, 1988.