Table of Contents
Fetching ...

External Incremental Delaunay Triangulation

Yifeng Cai

TL;DR

This work presents an external incremental method for 2D Delaunay triangulation that uses the convex hull as the core operation unit, avoiding the triangle containment search inherent in traditional triangle-based incremental methods. Points are processed in coordinate-sorted order, and each new point is integrated by finding the upper and lower tangents to the current hull, deleting edges whose circumcircles contain the new point, and then linking exposed hull points to form a new triangulation; the algorithm relies on data structures P, L_ch, and D_tri to manage points, hull, and triangles. Key contributions include a convex-hull–based incremental construction with $O(n log n)$ point sorting, $O(n)$ tangent searches, and empirical linear-time performance for uniform point sets, along with a correctness proof grounded in Voronoi duality and edge flips. The approach simplifies implementation by removing the need for a fictitious outer triangle and dynamic triangle search structures, potentially yielding practical performance benefits for large, well-distributed point sets.

Abstract

This paper introduces a Delaunay triangulation algorithm based on the external incremental method. Unlike traditional random incremental methods, this approach uses convex hull and points as basic operational units instead of triangles. Since each newly added point is outside the convex hull, there is no need to search for which triangle contains the point, simplifying the algorithm implementation. The time complexity for point sorting is $O(n\log n)$, while the collective complexity for upper/lower tangent searches is proven to be $O(n)$. For uniformly distributed point sets, empirical results demonstrate linear time $O(n)$ for full triangulation construction. The overall time complexity remains $O(n\log n)$. This paper details the algorithm's data structures, implementation details, correctness proof, and comparison with other methods.

External Incremental Delaunay Triangulation

TL;DR

This work presents an external incremental method for 2D Delaunay triangulation that uses the convex hull as the core operation unit, avoiding the triangle containment search inherent in traditional triangle-based incremental methods. Points are processed in coordinate-sorted order, and each new point is integrated by finding the upper and lower tangents to the current hull, deleting edges whose circumcircles contain the new point, and then linking exposed hull points to form a new triangulation; the algorithm relies on data structures P, L_ch, and D_tri to manage points, hull, and triangles. Key contributions include a convex-hull–based incremental construction with point sorting, tangent searches, and empirical linear-time performance for uniform point sets, along with a correctness proof grounded in Voronoi duality and edge flips. The approach simplifies implementation by removing the need for a fictitious outer triangle and dynamic triangle search structures, potentially yielding practical performance benefits for large, well-distributed point sets.

Abstract

This paper introduces a Delaunay triangulation algorithm based on the external incremental method. Unlike traditional random incremental methods, this approach uses convex hull and points as basic operational units instead of triangles. Since each newly added point is outside the convex hull, there is no need to search for which triangle contains the point, simplifying the algorithm implementation. The time complexity for point sorting is , while the collective complexity for upper/lower tangent searches is proven to be . For uniformly distributed point sets, empirical results demonstrate linear time for full triangulation construction. The overall time complexity remains . This paper details the algorithm's data structures, implementation details, correctness proof, and comparison with other methods.

Paper Structure

This paper contains 16 sections, 9 theorems, 6 equations, 3 figures, 5 algorithms.

Key Result

Proposition 1

For $\triangle BCD$, if A and D are on opposite sides of BC, then if $\angle{A}+\angle{D}>\pi$, A is inside the circumcircle of BCD. If $\angle{A}+\angle{D}<\pi$, A is outside the circumcircle of BCD.

Figures (3)

  • Figure 1: Sorted incremental method for Delaunay triangulation
  • Figure 2: A and D are on opposite sides of BC
  • Figure 3: Schematic diagram of the sorted incremental method for the convex hull

Theorems & Definitions (17)

  • Proposition 1
  • proof
  • Theorem 1
  • Theorem 2
  • Example 1
  • Theorem 3
  • proof
  • Definition 1: Tangent Line
  • Definition 2: Tangent Point
  • Theorem 4
  • ...and 7 more