DT随机化增量算法复杂度分析.pdf

Delaunay Triangulation 随机化增量算法复杂度分析 Delaunay Triangulation （DT，德劳内三角剖分）是一种重要的图结构，在计 算几何、GIS 等领域有着广泛的应用。目前已经存在许多构造 DT 剖分的有效算 法。本文介绍一种经典的引入随机机制的增量算法。这种算法通过每次加入一个 新点，并调整已有结构的策略，最终构造出包含所有点的DT 剖分。 我们先介绍算法的基本思想，并证明算法的正确性，然后对算法的时间和空 间复杂度进行分析。 1. 基本概念 1.1 Triangulation(三角剖分) P 为平面上任意点集，以P 中所有点为顶点的最大平面图T ，称为点集P 的 一个Triangulation （三角剖分）。 显然，由于T 是最大的平面图，T 中的基本形状单元只能是三角形，且T 的 最外多边形轮廓是凸多边形。 凸多边形 图 1 点集的三角剖分 1.2 Delaunay Triangulation(DT) 一般地，平面上点集 P 对应的三角剖分并不唯一。对 P 的一个剖分T ，记中 的三角形数为 m ，则 T 中有 3m 个内角，按照递增顺序，依次记为,  ,i 1,2, ,3m 。 i A T  , ,,      1 2 3m  A(T )  A(T ) j j 记 ，定义 当且仅当存在i 使得 对    所有ji 成立，且 i i 则 定义1 DT : arg max(A(T )) T 即点集P 的DT 为P 的所有三角剖分中，最小角最大的剖分。 2. 算法设计 2.1 正确性证明 增量算法基于如下思想，先由点集P 中较少的点构成规模较小的DT 剖分T ， 然后逐个加入新点，构造新的剖分T ，如果必要，通过适当调整，以保证每次加 入新点后T 仍为 DT 剖分。这样，当P 中所有点加入后，我们便得到了 P 的DT 剖分。 对于DT 剖分，我们有如下结论： 定理1 空圆性质 给定P 及其剖分T ，T 为DT 的充要条件是T 中任意三角形的 外接圆内不含有P 的任何点。 图 2 DT 剖分的空圆性 对于P 的一个非DT 剖分，不可所有的三角形都满足空圆性，据此，我们可 以定义“非法”的情况。 定义2 P 为平面点集，T 为的P 的一个剖分，在T 中如果存在两个三角形组成 一个凸四边形，如图，若四点不共圆，则称边p p 为一条非法边 i j “非法”边 图 3 图3 剖分中的“非法”边 在一个剖分中，如果存在非法边e，则e 所在的三角形不满足 DT 所要求的 空圆性。 对于包含m 个顶点的DT 图T ，在T 的外轮廓内部加入一点p ，则p 的位置 r r 只可能有如图4 所示的a、b 两种情况： (b)