The Hausdorff metric imposes a geometry on the hyperspace
of all nonempty compact subsets of
. One notion of betweenness in this geometry is an extension of betweenness in Euclidean geometry. For certain positive integers
, there exists a pair of disjoint finite sets
and
for which there are
different sets on the line segment defined by these sets at every distance from one of the sets. There are many fascinating and interesting properties of these numbers
. For example, for each integer
between
and
there exist sets
and
such that
, but no such sets exist for
. Further discussion of this can be found in Section
.
The number is related to edge covers of bipartite graphs, which is explained in more detail in Section
. For each fixed value of , varying the size of one of the partite sets yields different numbers of edge covers, generating integer sequences. These sequences help us understand more about line segments in
and edge covers of graphs.