Suppose there are n post offices p 1 ,. .. p n in a city. Someone who is located at a position q within the city would like to know which post office is closest to him. Modeling the city as a planar region, we think of p 1 ,. .. p n and q as points in the plane. Denote the set of post offices by P = {p 1 ,. .. p n }. While the locations of post offices are known and do not change so frequently, we do not know in advance for which—possibly many—query locations the closest post office is to be found. Therefore, our long term goal is to come up with a data structure on top of P that allows to answer any possible query efficiently. The basic idea is to apply a so-called locus approach: we partition the query space into regions on which is the answer is the same. In our case, this amounts to partition the plane into regions such that for all points within a region the same point from P is closest (among all points from P). As a warmup, consider the problem for two post offices p i , p j ∈ P. For which query locations is the answer p i rather than p j ? This region is bounded by the bisector of p i and p j , that is, the set of points which have the same distance to both points.
[1]
Robert E. Tarjan,et al.
Planar point location using persistent search trees
,
1986,
CACM.
[2]
Michael T. Goodrich,et al.
Methods for achieving fast query times in point location data structures
,
1997,
SODA '97.
[3]
Raimund Seidel,et al.
On the exact worst case query complexity of planar point location
,
2000,
SODA '98.
[4]
Leonidas J. Guibas,et al.
Optimal Point Location in a Monotone Subdivision
,
1986,
SIAM J. Comput..
[5]
David G. Kirkpatrick,et al.
Optimal Search in Planar Subdivisions
,
1983,
SIAM J. Comput..