2 research outputs found
Density of Range Capturing Hypergraphs
For a finite set of points in the plane, a set in the plane, and a
positive integer , we say that a -element subset of is captured
by if there is a homothetic copy of such that ,
i.e., contains exactly elements from . A -uniform -capturing
hypergraph has a vertex set and a hyperedge set consisting
of all -element subsets of captured by . In case when and
is convex these graphs are planar graphs, known as convex distance function
Delaunay graphs.
In this paper we prove that for any , any , and any convex
compact set , the number of hyperedges in is at most , where is the number of -element
subsets of that can be separated from the rest of with a straight line.
In particular, this bound is independent of and indeed the bound is tight
for all "round" sets and point sets in general position with respect to
.
This refines a general result of Buzaglo, Pinchasi and Rote stating that
every pseudodisc topological hypergraph with vertex set has
hyperedges of size or less.Comment: new version with a tight result and shorter proo
Separation by Convex Pseudo-Circles
Let S be a finite set of n points in the plane in general position. We prove that every inclusion-maximal family of subsets of S separable by convex pseudo-circles has the same cardinal n 0 + n 1 + n 2 + n 3 . This number does not depend on the configuration of S and is the same as the number of subsets of S separable by true circles. Buzaglo, Holzman, and Pinchasi showed that it is an upper bound for the number of subsets separable by (non necessarily convex) pseudo-circles. Actually, we first count the number of elements in a maximal family of k-subsets of S separable by convex pseudo-circles, for a given k. We show that Lee's result on the number of k-subsets separable by true circles still holds for convex pseudo-circles. In particular, this means that the number of k-subsets of S separable by a maximal family of convex pseudo-circles is an invariant of S: It does not depend on the choice of the maximal family. To prove this result, we introduce a graph that generalizes the dual graph of the order-k Voronoi diagram, and whose vertices are the k-subsets of S separable by a maximal family of convex pseudo-circles. In order to count the number of vertices of this graph, we first show that it admits a planar realization which is a triangulation. It turns out (but is not detailed in the present paper) that these triangulations are the centroid triangulations Liu and Snoeyink conjectured to construct