Convex Hulls: Complexity and Applications (a Survey)

Computational geometry is, in brief, the study of algorithms for geometric problems. Classical study of geometry and geometric objects, however, is not well-suited to efficient algorithms techniques. Thus, for the given geometric problems, it becomes necessary to identify properties and concepts that lend themselves to efficient computation. The primary focus of this paper will be on one such geometric problems, the Convex Hull problem

Aspects Of Combinatorial Geometry

This thesis presents solutions to various problems in the expanding field of combinatorial geometry. Chapter 1 gives an introduction to the theory of the solution of an integer programming problem, that is maximising a linear form with integer variables subject to a number of constraints. Since the maximum value of the linear form occurs at a vertex of the convex hull of integer points defined by the constraints, it is of interest to estimate the number of these vertices. Chapter 2 describes the application of certain geometrical interpretations of number theory to the solution of integer programming problems in the plane. By using, in part, the well-known Klein interpretation of continued fractions, a method of constructing the vertices of the convex hull of integer points defined by particular constraints is developed. Bounds for the number of these vertices and properties of certain special cases are given. Chapter 3 considers the general d-dimensional integer programming problem. Upper and lower bounds are presented for the number of vertices of the convex hull of integer points defined by particular constraints. Chapter 4 is concerned with the approximation of convex sets by convex polytopes. First, a detailed description of recent work on minimal circumscribing triangles for convex polygons and the extension to minimal circumscribing equilateral triangles is given. This leads to a new approach to constructing a Borsuk Division and finding a regular hexagon circumscribing a convex polygon. Then, a method of approximating general convex sets by convex polytopes is presented, leading to consideration of the problem of a d-simplex approximating a d-ball. Chapter 5 develops algorithms for finding points with particular combinatorial properties, using containment objects such as balls, closed half-spaces and ellipsoids. Chapter 6 gives a new approach to the problem of inscribing a square in a convex polygon, leading to possible ideas for an algorithm

Slime mould computes planar shapes

Computing a polygon defining a set of planar points is a classical problem of modern computational geometry. In laboratory experiments we demonstrate that a concave hull, a connected alpha-shape without holes, of a finite planar set is approximated by slime mould Physarum polycephalum. We represent planar points with sources of long-distance attractants and short-distance repellents and inoculate a piece of plasmodium outside the data set. The plasmodium moves towards the data and envelops it by pronounced protoplasmic tubes

Convex hulls of spheres and convex hulls of convex polytopes lying on parallel hyperplanes

Given a set $\Sigma$ of spheres in $\mathbb{E}^d$, with $d\ge{}3$ and $d$ odd, having a fixed number of $m$ distinct radii $\rho_1,\rho_2,...,\rho_m$, we show that the worst-case combinatorial complexity of the convex hull $CH_d(\Sigma)$ of $\Sigma$ is $\Theta(\sum_{1\le{}i\ne{}j\le{}m}n_in_j^{\lfloor\frac{d}{2}\rfloor})$, where $n_i$ is the number of spheres in $\Sigma$ with radius $\rho_i$. To prove the lower bound, we construct a set of $\Theta(n_1+n_2)$ spheres in $\mathbb{E}^d$, with $d\ge{}3$ odd, where $n_i$ spheres have radius $\rho_i$, $i=1,2$, and $\rho_2\ne\rho_1$, such that their convex hull has combinatorial complexity $\Omega(n_1n_2^{\lfloor\frac{d}{2}\rfloor}+n_2n_1^{\lfloor\frac{d}{2}\rfloor})$. Our construction is then generalized to the case where the spheres have $m\ge{}3$ distinct radii. For the upper bound, we reduce the sphere convex hull problem to the problem of computing the worst-case combinatorial complexity of the convex hull of a set of $m$ $d$-dimensional convex polytopes lying on $m$ parallel hyperplanes in $\mathbb{E}^{d+1}$, where $d\ge{}3$ odd, a problem which is of independent interest. More precisely, we show that the worst-case combinatorial complexity of the convex hull of a set $\{\mathcal{P}_1,\mathcal{P}_2,...,\mathcal{P}_m\}$ of $m$ $d$-dimensional convex polytopes lying on $m$ parallel hyperplanes of $\mathbb{E}^{d+1}$ is $O(\sum_{1\le{}i\ne{}j\le{}m}n_in_j^{\lfloor\frac{d}{2}\rfloor})$, where $n_i$ is the number of vertices of $\mathcal{P}_i$. We end with algorithmic considerations, and we show how our tight bounds for the parallel polytope convex hull problem, yield tight bounds on the combinatorial complexity of the Minkowski sum of two convex polytopes in $\mathbb{E}^d$.Comment: 22 pages, 5 figures, new proof of upper bound for the complexity of the convex hull of parallel polytopes (the new proof gives upper bounds for all face numbers of the convex hull of the parallel polytopes

Geometric Reasoning with polymake

The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections include a survey of research results obtained with the help of polymake so far and a short description of the technical background