Zone diagrams: Existence, uniqueness, and algorithmic challenge

Tetsuo Asano, Jir̃í Matous̃ek, Takeshi Tokuyama

研究成果: Article

21 引用 (Scopus)

抜粋

A zone diagram is a new variation of the classical notion of the Voronoi diagram. Given points (sites) p1,..., pn in the plane, each pi is assigned a region Ri, but in contrast to the ordinary Voronoi diagrams, the union of the Ri has a nonempty complement, the neutral zone. The defining property is that each Ri consists of all x ε ℝ2 that lie closer (nonstrictly) to pi than to the union of all the other Rj, j ≠ i. Thus, the zone diagram is defined implicitly, by a "fixed-point property," and neither its existence nor its uniqueness seem obvious. We establish existence using a general fixed-point result (a consequence of Schauder's theorem or Kakutani's theorem); this proof should generalize easily to related settings, say higher dimensions. Then we prove uniqueness of the zone diagram, as well as convergence of a natural iterative algorithm for computing it, by a geometric argument, which also relies on a result for the case of two sites in an earlier paper. Many challenging questions remain open.

元の言語English
ページ(範囲)1182-1198
ページ数17
ジャーナルSIAM Journal on Computing
37
発行部数4
DOI
出版物ステータスPublished - 2007 12 1

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

フィンガープリント Zone diagrams: Existence, uniqueness, and algorithmic challenge' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用