Abstract:We consider the following problem in computational geometry: given, in the d-dimensional real space, a set of points marked as positive and a set of points marked as negative, such that the convex hull of the positive set does not intersect the negative set, find K hyperplanes that separate, if possible, all the positive points from the negative ones. That is, we search for a convex polyhedron with at most K faces, containing all the positive points and no negative point. The problem is known in the literature for pure convex polyhedral approximation; our interest stems from its possible applications in constraint learning, where points are feasible or infeasible solutions of a Mixed Integer Program, and the K hyperplanes are linear constraints to be found. We cast the problem as an optimization one, minimizing the number of negative points inside the convex polyhedron, whenever exact separation cannot be achieved. We introduce models inspired by support vector machines and we design two mathematical programming formulations with binary variables. We exploit Dantzig-Wolfe decomposition to obtain extended formulations, and we devise column generation algorithms with ad-hoc pricing routines. We compare computing time and separation error values obtained by all our approaches on synthetic datasets, with number of points from hundreds up to a few thousands, showing our approaches to perform better than existing ones from the literature. Furthermore, we observe that key computational differences arise, depending on whether the budget K is sufficient to completely separate the positive points from the negative ones or not. On 8-dimensional instances (and over), existing convex hull algorithms become computational inapplicable, while our algorithms allow to identify good convex hull approximations in minutes of computation.

A novel algorithm for finding convex hull of a generic polygon with simulation of progressively supporting elastic lines

Determining Convexo-Concave Vertices of Polygonby Dynamic Distinct Partition

Convex hull properties and algorithms

Accelerated Visual Hulls of Complex Objects Using Contribution Weights

Generating Large Convex Polytopes Directly on Point Clouds

Algorithmic Efficiency in Convex Hull Computation: Insights from 2D and 3D Implementations

CudaChain: A Practical GPU-accelerated 2D Convex Hull Algorithm

Space Subdivision to Speed-up Convex Hull Construction in E3

PolyDepth: Real-time Penetration Depth Computation Using Iterative Contact-Space Projection

PolyDepth

A Fast Convex Hull Algorithm for Ring-Distributed Planar Point Sets

Convex Hulls: Surface Mapping onto a Sphere

Arbitrary polygon mesh for elastic and elastoplastic analysis of solids using smoothed finite element method

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

GPU Accelerated Convex Hull Computation.

A unified approach for fairing arbitrary polygonal meshes

Mathematical Programming Algorithms for Convex Hull Approximation with a Hyperplane Budget

The Convex-Hull of A Set of Convex Polygons

Constant Workspace Algorithms for Computing Relative Hulls in the Plane

A Sufficient Condition for Convex Hull Property in General Convex Spatio-Temporal Corridors

Point-in-Convex Polygon and Point-in-Convex Polyhedron Algorithms with O(1) Complexity using Space Subdivision