1. 引言
网络已在当今社会广泛普及,网络抗毁性起源于计算机网络,是通信网络连通性研究的一个重要概念。1985年Gunther和Hartnell提出了间谍网络的概念 [1] ,他们通过一个图来模拟间谍网络,其中图的顶点代表间谍或站点,边代表通讯方式。间谍网络最重要的特性是:如果间谍被捕,与他们直接接触的间谍是不可靠的。2006年,南海地震的发生导致部分国际海底通讯电缆中断,使得许多国家和地区通信故障,某些地区的互联网接入和语音通话也受到影响。基于上述背景的抗毁性参数,称为邻域抗毁性参数。
在网络抗毁性分析中,主要考虑三个因素 [2] :1) 破坏网络的难易程度;2) 网络被破坏的严重程度;3) 有多少顶点仍然保持连通。因此,邻域连通度 [1] [3] 、边邻域连通度 [4] [5] 、邻域完整度 [6] 、边邻域完整度 [7] 、邻域离散数 [8] 、边邻域离散数 [9] [10] 、邻域坚韧度 [11] 、边邻域坚韧度 [12] [13] 、邻域毁裂度 [14] 、边邻域毁裂度 [15] [16] 等参数被引入,以衡量网络在“邻域”情形下的抗毁性。
设
是一个简单图,分别称
和
为e的开邻域和闭邻域。若
,则分别称
和
为X的开邻域和闭邻域。若将
中的边和与X中的边关联的点均从中G删除,则称X为G的一个边颠覆策略,记剩余子图为
。对连通图G,设
,若
不连通,或孤立点或空集
,则称X为G的一个邻域边割集。
定义1 [1] 设G是连通图,其边邻域连通度的定义为:
,其中X为G的邻域边割集。
边邻域连通度是基于(1)考虑的。
定义2 [7] 设G是连通图,其边邻域完整度的定义为:
,其中
为
的最大连通分支的阶。
边邻域完整度是基于(1)和(3)考虑的。
定义3 [9] 设G是连通图,其边邻域离散数的定义为:
,其中X为G的邻域边割集,
为
的连通分支数。
定义4 [12] 设G是连通图,其边邻域坚韧度的定义为:
,其中X为G的邻域边割集,
为
的连通分支数。
边邻域离散数和边邻域坚韧度是基于(1)和(2)考虑的。边邻域坚韧度是边邻域离散数的除法形式,尽管这两个参数在定义上有一些相似之处,但在衡量网络的抗毁性方面作用不同。
定义5 [15] 设G是连通图,其边邻域毁裂度的定义为:
,其中X为G的邻域边割集,
和
为
的最大连通分支的阶和连通分支数。
边邻域毁裂度是基于(1)、(2)和(3)考虑的,是视角较为全面的抗毁性参数。
为了更好地刻画边失效情形下的网络抗毁性,闫伟等人提出图的混合边邻域粘连度的概念。
定义6 [17] 设G是连通图,其混合边邻域粘连度定义为
,其中X为G的邻域边割集,
和
为
的最大连通分支的阶和连通分支数。若有
,使得
,则称
为G的一个混合边邻域粘连集,简记为MENT-集。显然,混合边邻域粘连度越大,网络抗毁性越好。
混合边邻域粘连度和边邻域毁裂度在衡量网络的抗毁性方面作用不同。目前已经研究了
、
、
、
、
、
、
、
等(当p比较大时,完全p部分图的最大匹配需通过算法解决 [18] )基本图的混合边邻域粘连度计算公式,下文我们将研究广义Petersen图的混合边邻域粘连度计算公式。
本文所讨论的图均是简单无向图,未定义的概念和术语参见文献 [19] [20] 。
2. 广义Petersen图的混合边邻域粘连度
考虑广义Petersen图的混合边邻域坚韧度,先了解其定义及其部分性质,具体如下:
定义2.1
对于正整数n和t满足
,
,且
,定义广义Petersen图
为:
,
,其中下标关于模n同余。
Watkins等人证明了
与
同构。图1所示为广义Petersen图
,由于该图在各种图论文献中经常出现,人们习惯上称之为Petersen图。
定理2.2
对广义Petersen图
有
,其中
。
证明 显然
,
,
。根据n被6除的余数,分以下六种情形讨论(其中
)。
情形1
。
令
,结合图
结构(如图2所示)可知,X为
的一个MENT-集,容易知道
,
且
,则
。

Figure 2. P(6k, 1) and a MENT-set of P(6k, 1)
图2. P(6k, 1)及其一个MENT-集
情形2
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
情形3
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
情形4
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
情形5
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
情形6
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
综上所述,定理得证。
定理2.3
对于广义Petersen图
有
,其中
。
证明 显然
,
,
。
根据n被6除的余数,分以下六种情形讨论(其中
)。
情形1
。
令
,结合图
结构(如图3所示)可知,X为
的一个MENT-集,容易知道
,
且
,则
。

Figure 3. P(6k, 2) and a MENT-set of P(6k, 2)
图3. P(6k, 2)及其一个MENT-集
情形2
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
情形3
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
情形4
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
情形5
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
情形6
。
令
,结合图
结构可知,X为
的一个MENT-集,容易知道
,
且
,则
。
综上所述,定理得证。
3. 结论
本文在已知混合边邻域粘连度概念的基础上给出了广义Petersen图的混合边邻域粘连度的计算公式。闫伟 [17] 已指出混合边邻域粘连度的区分度较好,刻画某些网络的抗毁性更为精确。一般图的混合边邻域粘连度计算比较复杂,但一些具有特殊结构的图类,如联图、Harary图、树等的混合边邻域粘连度算法值得深入研究。
NOTES
*通讯作者。