TY - JOUR

T1 - Almost tight upper bounds for lower envelopes in higher dimensions

AU - Sharir, M.

PY - 1994/12

Y1 - 1994/12

N2 - We consider the problem of bounding the combinatorial complexity of the lower envelope of n surfaces or surface patches in d-space (d≥3), all algebraic of constant degree, and bounded by algebraic surfaces of constant degree. We show that the complexity of the lower envelope of n such surface patches is O(n d-1+∈), for any ∈>0; the constant of proportionality depends on ∈, on d, on s, the maximum number of intersections among any d-tuple of the given surfaces, and on the shape and degree of the surface patches and of their boundaries. This is the first nontrivial general upper bound for this problem, and it almost establishes a long-standing conjecture that the complexity of the envelope is O(n d-2λ q (n)) for some constant q depending on the shape and degree of the surfaces (where λ q (n) is the maximum length of (n, q) Davenport-Schinzel sequences). We also present a randomized algorithm for computing the envelope in three dimensions, with expected running time O(n 2+∈), and give several applications of the new bounds.

AB - We consider the problem of bounding the combinatorial complexity of the lower envelope of n surfaces or surface patches in d-space (d≥3), all algebraic of constant degree, and bounded by algebraic surfaces of constant degree. We show that the complexity of the lower envelope of n such surface patches is O(n d-1+∈), for any ∈>0; the constant of proportionality depends on ∈, on d, on s, the maximum number of intersections among any d-tuple of the given surfaces, and on the shape and degree of the surface patches and of their boundaries. This is the first nontrivial general upper bound for this problem, and it almost establishes a long-standing conjecture that the complexity of the envelope is O(n d-2λ q (n)) for some constant q depending on the shape and degree of the surfaces (where λ q (n) is the maximum length of (n, q) Davenport-Schinzel sequences). We also present a randomized algorithm for computing the envelope in three dimensions, with expected running time O(n 2+∈), and give several applications of the new bounds.

UR - http://www.scopus.com/inward/record.url?scp=51249166297&partnerID=8YFLogxK

U2 - 10.1007/BF02574384

DO - 10.1007/BF02574384

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:51249166297

SN - 0179-5376

VL - 12

SP - 327

EP - 345

JO - Discrete and Computational Geometry

JF - Discrete and Computational Geometry

IS - 1

ER -