arXiv++ Combinatorics

In this paper, we focus on families of bipartitions, i.e. set partitions consisting of at most two components. We say that a family of bipartitions is a separating family for a set $S$ if every two elements in $S$ can be separated by some bipartition. Furthermore, we call a separating family minimal if no proper subfamily is a separating family. We characterize the set of all minimal separating families of maximum size for arbitrary set $S$ as the set of all spanning trees on $S$ and enumerate minimal separating families of maximum size. Furthermore, we enumerate separating families of arbitrary size, which need not be minimal.

P. Kirchberger proved that, for a finite subset $X$ of $\mathbb{R}^{d}$ such that each point in $X$ is painted with one of two colors, if every $d+2$ or fewer points in $X$ can be separated along the colors, then all the points in $X$ can be separated along the colors. In this paper, we show a more colorful theorem.