1,946 research outputs found
Faster Geometric Algorithms via Dynamic Determinant Computation
The computation of determinants or their signs is the core procedure in many
important geometric algorithms, such as convex hull, volume and point location.
As the dimension of the computation space grows, a higher percentage of the
total computation time is consumed by these computations. In this paper we
study the sequences of determinants that appear in geometric algorithms. The
computation of a single determinant is accelerated by using the information
from the previous computations in that sequence.
We propose two dynamic determinant algorithms with quadratic arithmetic
complexity when employed in convex hull and volume computations, and with
linear arithmetic complexity when used in point location problems. We implement
the proposed algorithms and perform an extensive experimental analysis. On one
hand, our analysis serves as a performance study of state-of-the-art
determinant algorithms and implementations. On the other hand, we demonstrate
the supremacy of our methods over state-of-the-art implementations of
determinant and geometric algorithms. Our experimental results include a 20 and
78 times speed-up in volume and point location computations in dimension 6 and
11 respectively.Comment: 29 pages, 8 figures, 3 table
An Output-sensitive Algorithm for Computing Projections of Resultant Polytopes
We develop an incremental algorithm to compute the Newton polytope
of the resultant, aka resultant polytope, or its
projection along a given direction.
The resultant is fundamental in algebraic elimination and
in implicitization of parametric hypersurfaces.
Our algorithm exactly computes vertex- and halfspace-representations
of the desired polytope using an oracle producing resultant vertices in a
given direction.
It is output-sensitive as it uses one oracle call per vertex.
We overcome the bottleneck of determinantal predicates
by hashing, thus accelerating execution from to times.
We implement our algorithm using the experimental CGAL package {\tt
triangulation}.
A variant of the algorithm computes successively tighter inner and outer
approximations: when these polytopes have, respectively,
90\% and 105\% of the true volume, runtime is reduced up to times.
Our method computes instances of -, - or -dimensional polytopes
with K, K or vertices, resp., within hr.
Compared to tropical geometry software, ours is faster up to
dimension or , and competitive in higher dimensions
Convex Hulls, Oracles, and Homology
This paper presents a new algorithm for the convex hull problem, which is
based on a reduction to a combinatorial decision problem
POLYTOPE-COMPLETENESS-COMBINATORIAL, which in turn can be solved by a
simplicial homology computation. Like other convex hull algorithms, our
algorithm is polynomial (in the size of input plus output) for simplicial or
simple input. We show that the ``no''-case of
POLYTOPE-COMPLETENESS-COMBINATORIAL has a certificate that can be checked in
polynomial time (if integrity of the input is guaranteed).Comment: 11 pages, 2 figure
Regular triangulations of dynamic sets of points
The Delaunay triangulations of a set of points are a class of
triangulations which play an important role in a variety of
different disciplines of science. Regular triangulations are a
generalization of Delaunay triangulations that maintain both their
relationship with convex hulls and with Voronoi diagrams. In regular
triangulations, a real value, its weight, is assigned to each point.
In this paper a simple data structure is presented that allows
regular triangulations of sets of points to be dynamically updated,
that is, new points can be incrementally inserted in the set and old
points can be deleted from it. The algorithms we propose for
insertion and deletion are based on a geometrical interpretation of
the history data structure in one more dimension and use lifted
flips as the unique topological operation. This results in rather
simple and efficient algorithms. The algorithms have been
implemented and experimental results are given.Postprint (published version
- …