Results 1  10
of
86
DavenportSchinzel Sequences and Their Geometric Applications
, 1998
"... An (n; s) DavenportSchinzel sequence, for positive integers n and s, is a sequence composed of n distinct symbols with the properties that no two adjacent elements are equal, and that it does not contain, as a (possibly noncontiguous) subsequence, any alternation a \Delta \Delta \Delta b \Delta \ ..."
Abstract

Cited by 420 (116 self)
 Add to MetaCart
(Show Context)
An (n; s) DavenportSchinzel sequence, for positive integers n and s, is a sequence composed of n distinct symbols with the properties that no two adjacent elements are equal, and that it does not contain, as a (possibly noncontiguous) subsequence, any alternation a \Delta \Delta \Delta b \Delta \Delta \Delta a \Delta \Delta \Delta b \Delta \Delta \Delta of length s + 2 between two distinct symbols a and b. The close relationship between DavenportSchinzel sequences and the combinatorial structure of lower envelopes of collections of functions make the sequences very attractive because a variety of geometric problems can be formulated in terms of lower envelopes. A nearlinear bound on the maximum length of DavenportSchinzel sequences enable us to derive sharp bounds on the combinatorial structure underlying various geometric problems, which in turn yields efficient algorithms for these problems.
Applications of parametric searching in geometric optimization
 J. Algorithms
, 1994
"... z Sivan Toledo x ..."
(Show Context)
Approximating Polygons and Subdivisions with MinimumLink Paths
, 1991
"... We study several variations on one basic approach to the task of simplifying a plane polygon or subdivision: Fatten the given object and construct an approximation inside the fattened region. We investigate fattening by convolving the segments or vertices with disks and attempt to approximate object ..."
Abstract

Cited by 64 (12 self)
 Add to MetaCart
(Show Context)
We study several variations on one basic approach to the task of simplifying a plane polygon or subdivision: Fatten the given object and construct an approximation inside the fattened region. We investigate fattening by convolving the segments or vertices with disks and attempt to approximate objects with the minimum number of line segments, or with near the minimum, by using efficient greedy algorithms. We give some variants that have linear or O(n log n) algorithms approximating polygonal chains of n segments. We also show that approximating subdivisions and approximating with chains with no selfintersections are NPhard.
Vertical decomposition of shallow levels in 3dimensional arrangements and its applications
 SIAM J. Comput
"... Let F be a collection of n bivariate algebraic functions of constant maximum degree. We show that the combinatorial complexity of the vertical decomposition of the ≤klevel of the arrangement A(F) is O(k 3+ε ψ(n/k)), for any ε> 0, where ψ(r) is the maximum complexity of the lower envelope of a su ..."
Abstract

Cited by 60 (15 self)
 Add to MetaCart
Let F be a collection of n bivariate algebraic functions of constant maximum degree. We show that the combinatorial complexity of the vertical decomposition of the ≤klevel of the arrangement A(F) is O(k 3+ε ψ(n/k)), for any ε> 0, where ψ(r) is the maximum complexity of the lower envelope of a subset of at most r functions of F. This bound is nearly optimal in the worst case, and implies the existence of shallow cuttings, in the sense of [52], of small size in arrangements of bivariate algebraic functions. We also present numerous applications of these results, including: (i) data structures for several generalized threedimensional rangesearching problems; (ii) dynamic data structures for planar nearest and farthestneighbor searching under various fairly general distance functions; (iii) an improved (nearquadratic) algorithm for minimumweight bipartite Euclidean matching in the plane; and (iv) efficient algorithms for certain geometric optimization problems in static and dynamic settings.
New Bounds for Lower Envelopes in Three Dimensions, with Applications to Visibility in Terrains
 Geom
, 1997
"... We consider the problem of bounding the complexity of the lower envelope of n surface patches in 3space, all algebraic of constant maximum degree, and bounded by algebraic arcs of constant maximum degree, with the additional property that the interiors of any triple of these surfaces intersect i ..."
Abstract

Cited by 59 (25 self)
 Add to MetaCart
(Show Context)
We consider the problem of bounding the complexity of the lower envelope of n surface patches in 3space, all algebraic of constant maximum degree, and bounded by algebraic arcs of constant maximum degree, with the additional property that the interiors of any triple of these surfaces intersect in at most two points. We show that the number of vertices on the lower envelope of n such surface patches is O(n 2 \Delta 2 c p log n ), for some constant c depending on the shape and degree of the surface patches. We apply this result to obtain an upper bound on the combinatorial complexity of the `lower envelope' of the space of all rays in 3space that lie above a given polyhedral terrain K with n edges. This envelope consists of all rays that touch the terrain (but otherwise lie above it). We show that the combinatorial complexity of this rayenvelope is O(n 3 \Delta 2 c p log n ) for some constant c; in particular, there are at most that many rays that pass above th...
On Dynamic Voronoi Diagrams and the Minimum Hausdorff Distance for Point Sets Under Euclidean Motion in the Plane
, 1992
"... We show that the dynamic Voronoi diagram of k sets of points in the plane, where each set consists of n points moving rigidly, has complexity O(n 2 k 2 s (k)) for some fixed s, where s (n) is the maximum length of a (n; s) DavenportSchinzel sequence. This improves the result of Aonuma et. al ..."
Abstract

Cited by 48 (3 self)
 Add to MetaCart
We show that the dynamic Voronoi diagram of k sets of points in the plane, where each set consists of n points moving rigidly, has complexity O(n 2 k 2 s (k)) for some fixed s, where s (n) is the maximum length of a (n; s) DavenportSchinzel sequence. This improves the result of Aonuma et. al., who show an upper bound of O(n 3 k 4 log k) for the complexity of such Voronoi diagrams. We then apply this result to the problem of finding the minimum Hausdorff distance between two point sets in the plane under Euclidean motion. We show that this distance can be computed in time O((m + n) 6 log(mn)), where the two sets contain m and n points respectively. This work was supported in part by NSF grant IRI9057928 and matching funds from General Electric and Kodak, and in part by AFOSR under contract AFOSR910328. The second author was also supported by the Eshkol grant 0460190 from The Israeli Ministry of Science and Technology. 1. Introduction Determining the degree to ...
Voronoi Diagrams of Moving Points
, 1995
"... Consider a set of n points in ddimensional Euclidean space, d 2, each of which is continuously moving along a given individual trajectory. At each instant in time, the points define a Voronoi diagram. As the points move, the Voronoi diagram changes continuously, but at certain critical instants in ..."
Abstract

Cited by 47 (6 self)
 Add to MetaCart
Consider a set of n points in ddimensional Euclidean space, d 2, each of which is continuously moving along a given individual trajectory. At each instant in time, the points define a Voronoi diagram. As the points move, the Voronoi diagram changes continuously, but at certain critical instants in time, topological events occur that cause a change in the Voronoi diagram. In this paper, we present a method of maintaining the Voronoi diagram over time, while showing that the number of topological events has an upper bound of O(n d s (n)), where s (n) is the maximum length of a (n; s)DavenportSchinzel sequence [AgShSh 89, DaSc 65] and s is a constant depending on the motions of the point sites. Our results are a linearfactor improvement over the naive O(n d+2 ) upper bound on the number of topological events. In addition, we show that if only k points are moving (while leaving the other n \Gamma k points fixed), there is an upper bound of O(kn d\Gamma1 s (n) + (n \Gamma k)...
Constructing Levels in Arrangements and Higher Order Voronoi Diagrams
 SIAM J. COMPUT
, 1994
"... We give simple randomized incremental algorithms for computing the klevel in an arrangement of n hyperplanes in two and threedimensional space. The expected running time of our algorithms is O(nk+nff(n) log n) for the planar case, and O(nk 2 +n log 3 n) for the threedimensional case. Both bo ..."
Abstract

Cited by 41 (10 self)
 Add to MetaCart
(Show Context)
We give simple randomized incremental algorithms for computing the klevel in an arrangement of n hyperplanes in two and threedimensional space. The expected running time of our algorithms is O(nk+nff(n) log n) for the planar case, and O(nk 2 +n log 3 n) for the threedimensional case. Both bounds are optimal unless k is very small. The algorithm generalizes to computing the klevel in an arrangement of discs or xmonotone Jordan curves in the plane. Our approach can also be used to compute the klevel; this yields a randomized algorithm for computing the orderk Voronoi diagram of n points in the plane in expected time O(k(n \Gamma k) log n + n log 3 n).
A Linear Upper Bound in Extremal Theory of Sequences
, 1994
"... An extremal problem considering sequences related to DavenportSchinzel sequences is investigated in this paper. We prove that f(x k ; n) = O(n) where the quantity on the left side is defined as the maximum length m of the sequence u = a 1 a 2 ::a m of integers such that 1) 1 a r n, 2) ..."
Abstract

Cited by 35 (12 self)
 Add to MetaCart
(Show Context)
An extremal problem considering sequences related to DavenportSchinzel sequences is investigated in this paper. We prove that f(x k ; n) = O(n) where the quantity on the left side is defined as the maximum length m of the sequence u = a 1 a 2 ::a m of integers such that 1) 1 a r n, 2) a r = a s ; r 6= s implies jr \Gamma sj k and 3) u contains no subsequence of the type x k (x stands for xx::x itimes).