We answer the question initially posed by Arik Tamir at the Fourth NYU Computational Geometry Day (March, 1987): “Given a
collection of compact sets, can one decide in polynomial time whether there exists a convex body whose boundary intersects
every set in the collection?”
We prove that when the sets are segments in the plane, deciding existence of the convex stabber is NP-hard. The problem remains
NP-hard if the sets are regular polygons. We also show that in 3D the stabbing problem is hard when the sets are balls. On
the positive side, we give a polynomial-time algorithm to find a convex transversal of a maximum number of pairwise-disjoint
segments in 2D if the vertices of the transversal are restricted to a given set of points. Our algorithm also finds a convex
stabber of the maximum number of a set of convex pseudodisks in the plane.
The stabbing problem is related to “convexity” of point sets measured as the minimum distance by which the points must be
shifted in order to arrive in convex position; we give a PTAS to find the minimum shift in 2D, and a 2-approximation in any
dimension. We also consider stabbing with vertices of a regular polygon – a problem closely related to approximate symmetry
detection.