Voronoi图概念介绍（不涉及代码实现）

Voronoi图

原始Voronoi图

我们考虑一个包含n个在欧式平面R²的点的集合S={s₁,……,s~_n}，其中2≤n<∞。这n个点的笛卡尔坐标分别为(s₁₁,s₁₂),……(s_n1,s_n2)，并且这些点并不重合。集合S中的点我们称之为站点(sites)。设x为欧式空间中的任一点，坐标为(x₁,x₂)。我们设点x和一个站点s_i∈S的距离为

$$d_E(s_i,x)=||s_i-x||=\sqrt[2]{((s_{i1}-x_1{)}^2)+(s_{i2}-x_2{)}^2)}\text{\hspace{1em}(1)}$$

如果$s_i\in S$是离x距离最近的站点或离x距离最近的站点之一，我们可以得知对于其他任一点$s_j\in S,j\in I_n$都有$d_E(s_i,x)<d_E(s_j,x)$。我们将所有符合条件的x的集合称为$s_i$控制的原始Voronoi区域，表示为

V E ( s i ) = { x ∣ d E ( s i , x ) ⩽ d E ( s j , x ) , i ≠ j , j ∈ I n } V_E(s_i)=\{x|d_E(s_i,x)\leqslant d_E(s_j,x),i\neq j,j\in I_n\} VE​(si​)={x∣dE​(si​,x)⩽dE​(sj​,x),i​=j,j∈In​}

我们称所有站点控制区域组成的集合位原始Voronoi图，定义为

V E ( S ) = { V E ( s i ) , … … , V E ( s n ) } V_E(S)=\{V_E(s_i),……,V_E(s_n)\} VE​(S)={VE​(si​),……,VE​(sn​)}

两个不同站点控制的区域的划分线，是垂直于$s_i和s_j$连接线的垂直平分线，这条线把平面分为两部分，每个站点控制区域内得点距离改点的距离都小于到另一个站点的距离。

权重Voronoi图

在包含n个站点的集合S划分的原始Voronoi图中，包含了一个隐含的条件，即每个站点除了位置不同外其他都是相同的，换句话说就是每一个站点都有相同的权重。在这个基础上进行扩展，假设有一组参数 W = { w i ∣ i ∈ { 1 , … … , n } } W=\{w_i|i \in \{1,……,n\}\} W={wi​∣i∈{1,……,n}}，这组参数我们称之为权重。通过使用权重函数，我们可以定义权重距离来生成权重Voronoi图$V(S,W)$。站点$s_i$控制的Voronoi区域$V(s_i,w_i)\in V(S,W)$不仅取决于站点的位置，还取决于站点的权重，通常权重较大的站点形成更大的Voronoi区域。由于权重距离允许多种函数形式，因此存在各种各样的具有不同特点的权重Voronoi剖分。这里重点介绍两种权重距离函数，它们的连通区域特别适合计算容量限制的Voronoi图。

加权Voronoi图（Additively Weighted Voronoi Diagrams）

一个加权Voronoi图$V_{AW}(S,W)$由以下距离函数表征，其中站点$s_i\in S$，它的权重$w_i\in W$，点x是平面上任一点。$$d_{AW}(s_i,w_i,x)=\Vert s_i-x\Vert -w_i$$.

两个站点$s_i$和$s_j$的平分线的形状随参数值$\alpha =||s_i-s_j||$和$\beta =w_i-w_j$变化而变化，其中，我们不失一般性的假设$\beta \ge 0$。如果$0<\alpha <\beta$，则站点$s_i$在整个平面上占主导地位，$s_j$控制的区域消失。如果$\alpha =\beta$时，除由$s_i$到$s_j$向外辐射的半线外，其他区域都消失。最后，如果$\alpha >\beta$，则$V_{AW}(s_i,w_i)$和$V_{AW}(s_j,w_j)$的平分线是以$s_i和s_j$为焦点的双曲线。这里需要注意一点，如果$\beta =0$，平分线就还是两个站点连线的垂直平分线。

幂图(Power Diagrams)

一个幂图$V_{PW}(S,W)$又称为加权幂次Voronoi图(additively weighted power voronoi diagram)，它的特点是使用PW距离函数，如下所示

$$d_{PW}(s_i,w_i,x)={||s+i-x||}^2-w_i$$.

这时，两个Voronoi区域$V_{PW}(s_i,w_i)$和$V_{PW}(s_j,w_j)$的平分线是一条直线，它平行于线段$\overline{s_i{s}_j}$的垂直平分线并且通过点$p_{ij}^{\ast }$，$p_{ij}^{\ast }$由下述公式给出：

$$p_{ij}^{\ast }=\frac{||s_j|{|}^2-||s_i|{|}^2+w_i-w_j}{2||s_j-s_i|{|}^2}(s_j-s_i)$$.

如果$||s_i-s_j|{|}^2<w_j-w_i$，则站点$s_i$会处在他控制的Voronoi区域$V_{PW}(s_i,w_i)$外面。

质心Voronoi图

质心Voronoi图是一个限定边界在二维欧式空间的Voronoi图，它的性质是每一个Voronoi区域$V(s_i)$的站点都在区域质心$m_i$上，质心的计算公式由下给出：

$$m_i=\frac{{\int }_{V(s_i)}x\rho (x)dx}{{\int }_{V(s_i)}\rho (x)dx}$$

其中$\rho (x)\ge 0$是定义在空间$\Omega$上的密度函数。换句话说，质心是Voronoi区域相对于密度函数的质量的中心。质心Voronoi图的重要性建立在他与能量函数的关系上：$$\mathcal{F}(S,\mathcal{V}(S))=\sum _{i=1}^n{\int }_{x\in V(s_i)}\rho (x)||x-s_i|{|}^{2}dx$$

其中$V(s_i)\in \mathcal{V}(S)$并且$s_i\in S$。对于$\mathcal{F}$最小化的必须条件是$\mathcal{V}(S)$是关于$S$的一个Voronoi图。

生成质心Voronoi图的一个常用方法是Lloyd迭代法。该算法迭代地移动每个站点$s_i\in S$到它控制的Voronoi区域$V(s_i)\in \mathcal{V}(S)$的质心$m_i$处，知道站点满足一定的收敛条件。由于站点每一次向质心移动都会影响到上述能量函数，算法可以使$\mathcal{F}$收敛到它的局部最小值，即每个站点都与它控制区域的质心位置重合。^[1]

容量限制Voronoi图(Capacity-Constrained Voronoi Diagrams)

考虑一个包含n个站点的集合$S$，该集合确定了空间$\Omega \in {\mathbb{R}}^2$中符合密度函数$\rho (x)\ge 0，x\in \Omega$的一个Voronoi图$\mathcal{V}(S)$，其中每个站点的控制区域$V(s_i)\in \mathcal{V}(S)$由该公式计算得到$$|V(s_i)|={\int }_{x\in V(s_i)}\rho (x)dx$$.其中每个Voronoi区域面积$|V(s_i)|$被定义为站点$s_i$的容量。

一个参数集合 C = { c i ∣ i ∈ { 1 , … … , n } } ， 0 ≤ c i ≤ ∞ ， ∑ C = ∫ x ∈ Ω ρ ( x ) d x C=\{c_i|i\in \{1,……,n\}\}，0\leq c_i \leq \infty，\sum C = \int_{x \in \Omega}\rho(x)dx C={ci​∣i∈{1,……,n}}，0≤ci​≤∞，∑C=∫x∈Ω​ρ(x)dx，它被称为容量约束($capacityconstraint$)。一个容量约束的Voronoi图$\mathcal{V}(S,C)$就是由定义在$\Omega$上的集合S划分的每个站点$s_i\in S$都满足容量约束$c_i\in C$的Voronoi图。换句话说，一个由n个站点划定的容量限制Voronoi图和一组容量约束$C$满足条件${\sum }_{i=1}^n(|V(s_i)-c_i|{)}^2=0$.

空间$\Omega$可以是有界的也可以是无界的，只要符合密度$\rho$的空间面积之和等于容量$C$即可。

容量约束Voronoi图关注的是最终产生的Voronoi区域面积，而不是底层的站点位置，它的目的是确定给定空间的分区，这些分区由预定义大小的紧凑区域组成。因此，它并不局限于特定的空间或距离函数。