A Finite Algorithm for the Realizabilty of a Delaunay Triangulation

TL;DR

This paper presents a constructive algorithm with exponential time complexity for determining whether a given graph can be realized as a Delaunay triangulation of some point set in the plane, addressing an open problem in computational geometry.

Contribution

It introduces the first explicit, constructive algorithm for Delaunay realization, providing integer-coordinate point sets when such realizations exist.

Findings

Algorithm runs in n^{O(n)} time

Outputs integer-coordinate point sets

Addresses an open problem in Delaunay realization

Abstract

The \emph{Delaunay graph} of a point set $P \subseteq \mathbb{R}^2$ is the plane graph with the vertex-set $P$ and the edge-set that contains $\{p,p'\}$ if there exists a disc whose intersection with $P$ is exactly $\{p,p'\}$. Accordingly, a triangulated graph $G$ is \emph{Delaunay realizable} if there exists a triangulation of the Delaunay graph of some $P \subseteq \mathbb{R}^2$, called a \emph{Delaunay triangulation} of $P$, that is isomorphic to $G$. The objective of \textsc{Delaunay Realization} is to compute a point set $P \subseteq \mathbb{R}^2$ that realizes a given graph $G$ (if such a $P$ exists). Known algorithms do not solve \textsc{Delaunay Realization} as they are non-constructive. Obtaining a constructive algorithm for \textsc{Delaunay Realization} was mentioned as an open problem by Hiroshima et al.~\cite{hiroshima2000}. We design an $n^{\mathcal{O}(n)}$-time constructive algorithm for \textsc{Delaunay Realization}. In fact, our algorithm outputs sets of points with {\em integer} coordinates.