Geometric Algorithms for Minimal Enclosing Disks in Strictly Convex Normed Planes

With the geometric background provided by Alonso, Martini, and Spirovaon the location of circumcenters of triangles in normed planes, we show the validity of the Elzinga--Hearn algorithm and the Shamos--Hoey algorithm for solving the minimal enclosing disk problem in strictly convex normed planes

A Sweepline Algorithm for Generalized Delaunay Triangulations

We give a deterministic O(n log n) sweepline algorithm to construct the generalized Voronoi diagram for n points in the plane or rather its dual the generalized Delaunay triangulation. The algorithm uses no transformations and it is developed solely from the sweepline paradigm together with greediness. A generalized Delaunay triangulation can be based on an arbitrary strictly convex Minkowski distance function (including all L_p distance functions 1 < p < *) in contrast to ordinary Delaunay triangualations which are based on the Euclidean distance function

Density of Range Capturing Hypergraphs

For a finite set $X$ of points in the plane, a set $S$ in the plane, and a positive integer $k$, we say that a $k$-element subset $Y$ of $X$ is captured by $S$ if there is a homothetic copy $S'$ of $S$ such that $X\cap S' = Y$, i.e., $S'$ contains exactly $k$ elements from $X$. A $k$-uniform $S$-capturing hypergraph $H = H(X,S,k)$ has a vertex set $X$ and a hyperedge set consisting of all $k$-element subsets of $X$ captured by $S$. In case when $k=2$ and $S$ is convex these graphs are planar graphs, known as convex distance function Delaunay graphs. In this paper we prove that for any $k\geq 2$, any $X$, and any convex compact set $S$, the number of hyperedges in $H(X,S,k)$ is at most $(2k-1)|X| - k^2 + 1 - \sum_{i=1}^{k-1}a_i$, where $a_i$ is the number of $i$-element subsets of $X$ that can be separated from the rest of $X$ with a straight line. In particular, this bound is independent of $S$ and indeed the bound is tight for all "round" sets $S$ and point sets $X$ in general position with respect to $S$. This refines a general result of Buzaglo, Pinchasi and Rote stating that every pseudodisc topological hypergraph with vertex set $X$ has $O(k^2|X|)$ hyperedges of size $k$ or less.Comment: new version with a tight result and shorter proo