522 research outputs found
Approximating Smallest Containers for Packing Three-dimensional Convex Objects
We investigate the problem of computing a minimal-volume container for the
non-overlapping packing of a given set of three-dimensional convex objects.
Already the simplest versions of the problem are NP-hard so that we cannot
expect to find exact polynomial time algorithms. We give constant ratio
approximation algorithms for packing axis-parallel (rectangular) cuboids under
translation into an axis-parallel (rectangular) cuboid as container, for
cuboids under rigid motions into an axis-parallel cuboid or into an arbitrary
convex container, and for packing convex polyhedra under rigid motions into an
axis-parallel cuboid or arbitrary convex container. This work gives the first
approximability results for the computation of minimal volume containers for
the objects described
Practical methods for approximating shortest paths on a convex polytope in R3
AbstractWe propose an extremely simple approximation scheme for computing shortest paths on the surface of a convex polytope in three dimensions. Given a convex polytope P with n vertices and two points p, q on its surface, let dP(p, q) denote the shortest path distance between p and q on the surface of P. Our algorithm produces a path of length at most 2dP(p, q) in time O(n). Extending this result, we can also compute an approximation of the shortest path tree rooted at an arbitrary point x â P in time O(n log n). In the approximate tree, the distance between a vertex v â P and x is at most cdP(x, v), where c = 2.38(1 + Δ) for any fixed Δ > 0. The best algorithms for computing an exact shortest path on a convex polytope take Ω(n2) time in the worst case; in addition, they are too complicated to be suitable in practice. We can also get a weak approximation result in the general case of k disjoint convex polyhedra: in O(n) time our algorithm gives a path of length at most 2k times the optimal
Analysis of parametric biological models with non-linear dynamics
In this paper we present recent results on parametric analysis of biological
models. The underlying method is based on the algorithms for computing
trajectory sets of hybrid systems with polynomial dynamics. The method is then
applied to two case studies of biological systems: one is a cardiac cell model
for studying the conditions for cardiac abnormalities, and the second is a
model of insect nest-site choice.Comment: In Proceedings HSB 2012, arXiv:1208.315
Separation-Sensitive Collision Detection for Convex Objects
We develop a class of new kinetic data structures for collision detection
between moving convex polytopes; the performance of these structures is
sensitive to the separation of the polytopes during their motion. For two
convex polygons in the plane, let be the maximum diameter of the polygons,
and let be the minimum distance between them during their motion. Our
separation certificate changes times when the relative motion of
the two polygons is a translation along a straight line or convex curve,
for translation along an algebraic trajectory, and for
algebraic rigid motion (translation and rotation). Each certificate update is
performed in time. Variants of these data structures are also
shown that exhibit \emph{hysteresis}---after a separation certificate fails,
the new certificate cannot fail again until the objects have moved by some
constant fraction of their current separation. We can then bound the number of
events by the combinatorial size of a certain cover of the motion path by
balls.Comment: 10 pages, 8 figures; to appear in Proc. 10th Annual ACM-SIAM
Symposium on Discrete Algorithms, 1999; see also
http://www.uiuc.edu/ph/www/jeffe/pubs/kollide.html ; v2 replaces submission
with camera-ready versio
Witness (Delaunay) Graphs
Proximity graphs are used in several areas in which a neighborliness
relationship for input data sets is a useful tool in their analysis, and have
also received substantial attention from the graph drawing community, as they
are a natural way of implicitly representing graphs. However, as a tool for
graph representation, proximity graphs have some limitations that may be
overcome with suitable generalizations. We introduce a generalization, witness
graphs, that encompasses both the goal of more power and flexibility for graph
drawing issues and a wider spectrum for neighborhood analysis. We study in
detail two concrete examples, both related to Delaunay graphs, and consider as
well some problems on stabbing geometric objects and point set discrimination,
that can be naturally described in terms of witness graphs.Comment: 27 pages. JCCGG 200
Minimizing Cubic and Homogeneous Polynomials over Integers in the Plane
We complete the complexity classification by degree of minimizing a
polynomial over the integer points in a polyhedron in . Previous
work shows that optimizing a quadratic polynomial over the integer points in a
polyhedral region in can be done in polynomial time, while
optimizing a quartic polynomial in the same type of region is NP-hard. We close
the gap by showing that this problem can be solved in polynomial time for cubic
polynomials.
Furthermore, we show that the problem of minimizing a homogeneous polynomial
of any fixed degree over the integer points in a bounded polyhedron in
is solvable in polynomial time. We show that this holds for
polynomials that can be translated into homogeneous polynomials, even when the
translation vector is unknown. We demonstrate that such problems in the
unbounded case can have smallest optimal solutions of exponential size in the
size of the input, thus requiring a compact representation of solutions for a
general polynomial time algorithm for the unbounded case
Geodesic Paths On 3D Surfaces: Survey and Open Problems
This survey gives a brief overview of theoretically and practically relevant
algorithms to compute geodesic paths and distances on three-dimensional
surfaces. The survey focuses on polyhedral three-dimensional surfaces
- âŠ