On the complexity of sets of free lines and line segments among balls in three dimensions
Résumé
We present two new fundamental lower bounds on the worst-case combinatorial complexity of sets of free lines and sets of maximal free line segments in the presence of balls in three dimensions. We first prove that the set of maximal non-occluded line segments among n disjoint unit balls has complexity Omega(n^4), which matches the trivial O(n^4) upper bound. This improves the trivial Omega(n^2) bound and also the Omega(n^3) lower bound for the restricted setting of arbitrary-size balls [Devillers and Ramos, 2001]. This result settles, negatively, the natural conjecture that this set of line segments, or, equivalently, the visibility complex, has smaller worst-case complexity for disjoint fat objects than for skinny triangles. We also prove an Omega(n^3) lower bound on the complexity of the set of non-occluded lines among n balls of arbitrary radii, improving on the trivial Omega(n^2) bound. This new bound is however not known to be tight as the only known upper bound is the trivial O(n^4) bound.
Domaines
Géométrie algorithmique [cs.CG]Origine | Fichiers produits par l'(les) auteur(s) |
---|