RNG:The relative neighbourhood graph of finite planar set
有限平面集的相对领域图
1.INTRODUCTION
介绍了最小生成树(MST)和Delaunay三角剖分(DT)、Voronoi图。DT是Voronoi的对偶,可以通过Voronoi图画出DT,即共享同一边的两点进行连接就能生成DT图。基于相对近的感知信息,提出了RNG。
2.RNG
对于图中任意两个点p_i和p_j的欧几里得距离:
d(p_i, p_j) ≤ max[d(p_i, p_k ), d(p_j, p_k )] k = 1, ……, n, k ≠ i, j
这样的图就是相对领域图。换句话说,在二维欧几里得空间中,边p_i p_j存在,在分别以p_i,p_j为圆心且半径为d(p_i, p_j)的两圆相交的区域不存在其他点。
3.两个定理
定理1:RNG是最小生成树的超集。
如图所示,点a,b分别为两圆圆心,相交的区域为R,B表示R的边界。令c为第三个点,且c不属于B,因为c如果在B上,d(a,b)=d(c,b)或者d(c,a)此时最小生成树不唯一。所以c在R或者R非上。如果c属于R,则d(a,c)<d(a,b)或者d(b,c)<d(a,b),此时ab不属于MST。因此所有其余点位于R非是ab属于MST的一个必要非充分条件。这是ab属于RNG的充分必要条件,因此MST属于RNG,是其子集。
定理2:RNG是DT的子集。
相交区域R不能存在其他点才能使ab属于RNG。假设,ab属于RNG,因为DT是Voronoi图的对偶,因此分析DT中两点是否存在一条线的问题就是Voronoi两区域什么时候共有一条边。考虑c,d位于图中的B上,虚线就是Voronoi图。观察与ca和ad相关的Voronoi线分别是连接ca和ad的线的垂直平分线。在这种情况下,c,a,d都在圆心为b的圆上,不管c或d和a多么近,线Ta和Tb此时不共有同一边。因此,只要c,d只要有一点位于R非,Ta和Tb此时共有一条边。当没有点位于R时,Ta和Tb共享一边,因此ab属于DT,得证。
定理3:RNG边数
n个点的RNG的边数Ne大于等于n-1,小于等于3n-6。根据定理1和2,最小生成树边数下界为n-1,三角剖分最多边数为3n-6确定。
4.构造算法
文章介绍两种找到RNG的方法,方法一就是常规办法,计算所有点数之间的距离,对每一对点,找出最短的距离,时间复杂度O(n3),但是这种算法并不仅限于二维欧几里得空间,使用于高维空间。方法二是通过定理2,RNG是DT子集进行寻找,时间复杂度为O(n2)。