Abstract

A family $S$ of convex sets in the plane defines a hypergraph $H = (S,E)$ as follows. Every subfamily $S'\subset S$ defines a hyperedge of $H$ if and only if there exists a halfspace $h$ that fully contains $S'$, and no other set of $S$ is fully contained in $h$.
... read more