270 research outputs found
Minkowski Sum Construction and other Applications of Arrangements of Geodesic Arcs on the Sphere
We present two exact implementations of efficient output-sensitive algorithms
that compute Minkowski sums of two convex polyhedra in 3D. We do not assume
general position. Namely, we handle degenerate input, and produce exact
results. We provide a tight bound on the exact maximum complexity of Minkowski
sums of polytopes in 3D in terms of the number of facets of the summand
polytopes. The algorithms employ variants of a data structure that represents
arrangements embedded on two-dimensional parametric surfaces in 3D, and they
make use of many operations applied to arrangements in these representations.
We have developed software components that support the arrangement
data-structure variants and the operations applied to them. These software
components are generic, as they can be instantiated with any number type.
However, our algorithms require only (exact) rational arithmetic. These
software components together with exact rational-arithmetic enable a robust,
efficient, and elegant implementation of the Minkowski-sum constructions and
the related applications. These software components are provided through a
package of the Computational Geometry Algorithm Library (CGAL) called
Arrangement_on_surface_2. We also present exact implementations of other
applications that exploit arrangements of arcs of great circles embedded on the
sphere. We use them as basic blocks in an exact implementation of an efficient
algorithm that partitions an assembly of polyhedra in 3D with two hands using
infinite translations. This application distinctly shows the importance of
exact computation, as imprecise computation might result with dismissal of
valid partitioning-motions.Comment: A Ph.D. thesis carried out at the Tel-Aviv university. 134 pages
long. The advisor was Prof. Dan Halperi
The Complexity of Finding Small Triangulations of Convex 3-Polytopes
The problem of finding a triangulation of a convex three-dimensional polytope
with few tetrahedra is proved to be NP-hard. We discuss other related
complexity results.Comment: 37 pages. An earlier version containing the sketch of the proof
appeared at the proceedings of SODA 200
Approximating Convex Shapes With Respect to Symmetric Difference Under Homotheties
The symmetric difference is a robust operator for measuring the error of approximating one shape by another. Given two convex shapes P and C, we study the problem of minimizing the volume of their symmetric difference under all possible scalings and translations of C. We prove that the problem can be solved by convex programming. We also present a combinatorial algorithm for convex polygons in the plane that runs in O((m+n) log^3(m+n)) expected time, where n and m denote the number of vertices of P and C, respectively
Efficient Path Planning in Narrow Passages via Closed-Form Minkowski Operations
Path planning has long been one of the major research areas in robotics, with
PRM and RRT being two of the most effective classes of path planners. Though
generally very efficient, these sampling-based planners can become
computationally expensive in the important case of "narrow passages". This
paper develops a path planning paradigm specifically formulated for narrow
passage problems. The core is based on planning for rigid-body robots
encapsulated by unions of ellipsoids. The environmental features are enclosed
geometrically using convex differentiable surfaces (e.g., superquadrics). The
main benefit of doing this is that configuration-space obstacles can be
parameterized explicitly in closed form, thereby allowing prior knowledge to be
used to avoid sampling infeasible configurations. Then, by characterizing a
tight volume bound for multiple ellipsoids, robot transitions involving
rotations are guaranteed to be collision-free without traditional collision
detection. Furthermore, combining the stochastic sampling strategy, the
proposed planning framework can be extended to solving higher dimensional
problems in which the robot has a moving base and articulated appendages.
Benchmark results show that, remarkably, the proposed framework outperforms the
popular sampling-based planners in terms of computational time and success rate
in finding a path through narrow corridors and in higher dimensional
configuration spaces
Ball hulls, ball intersections, and 2-center problems for gauges
The notions of ball hull and ball intersection of nite sets, important in Banach space theory, are extended from normed planes to generalized normed planes, i.e., to (asymmetric) convex distance functions which are also called gauges. In this more general setting we derive various new results about these notions and their relations to each other. Further on, we extend the known 2-center problem and a modified version of it from the Euclidean situation to norms and gauges or, in other words, from Euclidean circles to arbitrary closed convex curves. We derive algorithmical results on the construction of ball hulls and ball intersections, and computational approaches to the 2-center problem with constrained circles and, in case of strictly convex norms and gauges, for the fixed 2-center problem are also given
- …