33、动态欧几里得最小生成树详解

动态欧几里得最小生成树详解

1. 引言

在处理移动点集的欧几里得最小生成树（EMST）问题时，我们需要考虑如何在点移动过程中高效地维护 EMST。根据引理 1 和 2，可能影响目标属性（EMST）的实际证书集是定义 Delaunay 三角剖分（DT）边权重顺序的 $O(n)$ 个证书集。定理 1 表明，一组移动点的 EMST 发生改变当且仅当发生有效的顺序事件。

2. 相关理论基础

2.1 定理 1

定理 1：一组移动点的 EMST 发生改变当且仅当发生有效的顺序事件。利用该定理，我们可以维护 Delaunay 三角剖分边的排序列表，每当一对连续边的顺序改变时，我们必须检查这是否定义了一个有效的顺序事件。如果是，则对 EMST 应用所需的更改。不过，简单地处理每个事件需要 $O(n)$ 时间，这在动态数据结构（KDS）指标方面响应性不佳。

2.2 DT 事件处理

为了获得正确的 $E(DT)$ 值，我们需要跟踪和处理 DT 事件。我们采用 Guibas 等人提出的方法来检测 DT 事件。该方法在经过 $O(n \log n)$ 时间和 $O(n)$ 空间的预处理后，可以通过处理所需事件来维护一组移动点的 Voronoi 图。任何事件的处理时间为 $O(\log n)$，从 $t = 0$ 到 $t = \infty$ 处理的事件总数为 $O(n^2\lambda_s(n))$，其中 $\lambda_s(n)$ 是长度为 $n$ 且阶为 $s$ 的 Davenport - Schinzel 序列的最大长度，$s = 4q$，$q$ 是定义点运动的多项式曲线的最大次数。

3. 构建动态数据