(College of Mathematics and Statistics,Northwest Normal University,Lanzhou 730070,China)
Apollonian networks; degree cumulative distribution; collapse-rank; fragile-rank
DOI: 10.6043/j.issn.0438-0479.201607023
备注
针对具有无标度特性的阿波罗网络模型,为了进一步研究网络遭到蓄意攻击以后的受损程度,详细计算了瓦解度、脆弱度等新的参数.受度累积分布的启发,提出了新的 D-度累积分布以及 dd-度累积分布,并通过计算度累积分布和边累积分布,验证4类分布彼此等价且均服从指数分布.
Aimed at the Apollonian network model with scale-free properties,we propose some new parameters for this model in order to further discuss the damage rank of attacked networks,such as collapse-rank,fragile-rank and so on.Inspired by cumulative degree distribution,we also propose new D-degree cumulative distribution and dd-degree cumulative distribution,and compute it with cumulative degree distribution and edge cumulative distribution for verifying the equivalency of these distributions,as well as show that four all are exponential.
引言
复杂网络的研究是当今网络研究的重要课题,人们提出了许多网络模型,比如 Watts等[1]在1998年结合规则网络和随机网络的特点给出的小世界网络模型(WS模型),Barabási等[2]在1999年提出的无标度网络模型(BA模型),激发了人们对复杂网络的各种性质研究的兴趣[3-5].显然,其中不乏研究者通过大量的实验、数据、模型来探索无标度网络的机制与特性,研究表明无标度网络的度累积分布服从指数分布.本文中将证明4类累积分布彼此等价,试图为研究无标度网络提供更多的衡量标准.
由于无标度网络中大部分节点的度数不大,只有极少数节点的度十分巨大.网络中这些度值非常大的中枢节点的存在使得无标度网络对意外故障有强大的承受能力,但面对协同性攻击时,却显得十分脆弱.实际上,现实中的很多网络是极易受到攻击的,比如万维网、飞机航线网、新陈代谢网、社交网等[6-10].一旦网络遭到蓄意攻击,人们会关心它的瓦解程度和网络本身的脆弱程度,从而可以针对破坏程度的大小,找到恰当的修复网络的方法,还可以对网络中比较重要的节点进行保护,防止受到外界攻击.本文中度量了以上提到的网络现象,并通过数学方法刻画网络的脆弱和瓦解程度.
1 阿波罗网络模型的构造算法
记t时刻的阿波罗网络为 N(t),初始网络 N(0)是平面上的一个内三角形,在此三角形内部加入一个新节点,并连接这个新节点与该三角形的3个顶点,即可得到 N(1).同样地,在 N(1)中的3个内三角形中分别加入一个新节点,与各自所在三角形的3个顶点连边,构造出 N(2).以此类推,从网络 N(t-1)可得到网络 N(t)(见图1).此过程由以下算法表述:
初始:t=0,N(0)有3个顶点与3条边构成一个三角形,称为活动三角形.
迭代:t≥1,N(t)通过对 N(t-1)添加顶点和边得到,对 N(t-1)的每个活动三角形中心添加一个新顶点,并连接新顶点与该活动三角形的3个顶点,新产生的 3 个三角形又成为下一时刻网络演化过程中的活动三角形.
对任意给定的 t 时刻阿波罗网络 N(t),用记号 nv(t)和 ne(t)分别表示它的节点数目和边数目,记号 V(t)和 E(t)分别表示阿波罗网络 N(t)的节点集合和边集合,即是 nv(t)=|V(t)|,ne(t)=|E(t)|.在网络增长过程中,一个新节点的产生对应产生3 条新边,也就是说新产生的节点的度为 3.由于阿波罗网络增长过程的迭代性质,可以得到 N(t)的节点数目和边数目分别如下:
nv(t)=nv(t-1)+3t-1=1/2(3t+5),t≥1,(1)
ne(t)=ne(t-1)+3t=3/2(3t+1),t≥1.(2)
此外,N(t)的平均度〈k〉满足
〈k〉=(2ne(t))/(nv(t))=(2[3/2(3t+1)])/(1/2(3t+5))=(2·3t+1+6)/(3t+5),(3)
当 t→∞时,平均度〈k〉→6,这说明阿波罗网络N(t)是一个稀疏网络.由N(t)的构造可以看出,N(t)具有优先链接性,即初始网络中的节点的连线数目十分大,同时也表明 N(t)具有增长性.文献 [11] 证明阿波罗网络属于无标度模型.
2 阿波罗网络模型的拓扑结构
2.1 度累积分布度累积分布 Pcum(k)是网络的一个很重要的统计参数,它的定义是
Pcum(k)=1/(nv(t))∑k'≥k|V(k',t)|,(4)
这里 V(k',t)是 N(t)中度数为 k' 的节点之集.已知 t 时刻,N(t)中与 i 节点 关联的边数目称为节点 i 的度,记为 ki(t),具有度数 ki(t)的节点的个数记为 nki(t),即 nk'(t)=|V(k',t)|.为叙述简便,将节点 i 称为 i 号点,即 0 号点为 N(0)的顶点; 1 号点为N(1)\N(0)的点; 2 号点为 N(2)\N(1)的点,依次类推.就初始网络的节点而言,k0(t)=k0(t-1)+2t-1 且k0(0)=2.对 i(i≥1)号点,ki(t)=2ki(t-1),且ki(i)=3.因此,不难得出阿波罗网络 N(t)的度数与对应节点个数的度谱:N(t)中度数为 ki(t)=3,6,12,…,3·2t-1,2t+1 的节点个数 nki(t)=3t-1,3t-2,3t-3,…,1,3.注意到,N(t)的度谱属于离散型,在 τ 时刻以后,进入阿波罗网络 N(t)的节点度数均小于 k,τ 时刻之前进入的顶点的度都大于 k,则有
Pcum(k)=1/(nv(t))∑k'≥k|V(k',t)|=
1/(nv(t))[3+∑τi=11/2(3i+5)]=
(3+1/2(31+5)+1/2(32+5)+…+
1/2(3τ+5))·(1/2(3t+5))-1=
(3τ+1+10τ+9)/(2(3t+5))∝3/23τ-t.(5)
将 τ=t-(lnk-ln3)/(ln2)代入上式,得 Pcum(k)∝k1-rub>c,其中 rc=1+(ln3)/(ln2)≈2.586.从而证明 N(t)服从幂律分布.
2.2 边累积分布另一种关于累积分布的统计方法,叫做边累积分布[10],定义为:Pecum(k)=1/(ne(t))∑τi=0ne(i,0<τ<1).根据阿波罗网络的度谱,得到
Pecum(k)=1/(ne(t))∑τi=0ne(i)=
(ne(0)+ne(1)+…+ne(τ-1)+ne(τ))/(ne(t))=
(3/2(30+1)+3/2(31+1)+…+
3/2(3τ+1))·3/2(3t+1)=(3τ+1+2τ+1)/(2(3t+1)).(6)
对任意的 ε>0,有
|Pcum(k)-Pecum(k)|=
|(3τ+1+10τ+9)/(2(3t+5))-(3τ+1+2τ+1)/(2(3t+1))|=
(|3t(8τ+8)-12·3τ+4|)/(2(3t+5)(3t+1))<
(3t(8τ+8)+12·3τ+4)/(2(3t+5)(3t+1))<
(3t(8τ+24))/(2(3t+5)(3t+1))<(16τ3t)/((3t+5)(3t+1))<
(16t)/(3t)<(16)/t,(7)
当t充分大时,可得(16)/t<ε,从而证明了 Pecum(k)~Pcum(k).
2.3 D-度累积分布受度累积分布的启发,定义一种新的统计指标:D-度累积分布.对一个固定的整数d≥k,有PDcum(k)=1/(nv(d,t))∑τi=0nv(d,i),其中 nv(d,i)是网络 N(i)中度为 d 的节点的个数,当 N(i)中没有度为 d 的节点时规定 nv(d,i)=0.参照阿波罗网络的度谱,为了便于计算,记 d=3·2m(0≤m<t),则度数 d 对应的节点个数为 nv(d,t)=3t-(m+1).可计算出
PDcum(k)=1/(nv(d,t))∑τi=0nv(d,i)=
(30+31+32+…+3τ-(m+1))/(3t-(m+1))=
(3τ-m-1)/(2·3t-m-1)∝1/2·3τ-t.(8)
当 t>(11·3m)/ε(ε>0)时,有
|Pcum(k)-PDcum(k)|=
|(3τ+1+10τ+9)/(2(3t+5))-(3τ-m-1)/(2·3t-m-1)|<
(10τ·3t+3t+15·3t+3·3t+15·3t)/(2·3t-m·3t)<
(22τ·3m)/(3t)<(11·3m)/t<ε,(9)
即PDcum(k)~Pcum(k).
2.4 dd-度累积分布此外,本文中还定义了一种新的统计指标:dd-度累积分布.对一个固定的整数d>k,有Pddcum(k)=1/(nv(d,t))∑τi=0d·nv(d,i)(0<τ<t),其中nv(d,i)是N(i)中度为d的节点的个数,当N(i)中没有度为d的节点时规定nv(d,i)=0.参照阿波罗网络的度谱,类似于上述记号有d=3·2m(0≤m≤t),且度数d对应的节点个数为nv(d,i)=3t-(m+1).可计算出
Pddcum(k)=1/(nv(t))∑τi=0d·nv(d,i)=
(3·2m)/(3t-(m+1))(30+31+32+…+3τ-(m+1))=
2m-1·3τ-t+2.(10)
对任意的ε>0,有
|Pcum(k)-Pddcum(k)|=
|(3τ+1+10τ+9)/(2(3t+5))-2m-1·3τ-t+2|=
|(3τ+1+10τ+9)/(2(3t+5))-(2m·3τ+2)/(2·3t)|<
((10τ+9)·3t+5·2m·3t)/(2·3t(3t+5))<
(19+5·2m)/t<ε.(11)
当t>(19+5·2m)/ε时,可以得到|Pcum(k)-Pddcum(k)|<ε.从而可得Pddcum(k)~Pcum(k).
3 阿波罗网络的其他统计指标
网络受到攻击的情形大致可分为2种:一种是外界蓄意攻击网络中的边,比如战争中军方破坏敌人的飞机航线、炸毁敌人运送物资的铁路等等,但是这种破坏不会摧毁网络中的关键节点,于是修复网络相对容易; 另一种攻击方式是破坏网络中的节点,一旦网络中节点遭到毁坏,那么这些节点携带的信息将无法再传输给其他相关节点,将导致网络整体或局部地瘫痪.后一种破坏方式将导致修复网络的过程变得复杂,所以研究网络的受损程度更有助于人类控制网络.
本文中没有收集到关于网络瘫痪的数学刻画,也没有见到网络瘫痪修补的困难度研究,这主要归结于网络的随机性、非确定性等因素.实际上瘫痪网络的状态是各异的,一个网络可以被破坏成10个或100个碎块.显然,修补10个碎块比修补100个碎块难度低、花费少、耗时短.下面给出本研究试验后的理论结果,分为顶点和边两方面的概念.
3.1 瓦解度和脆弱度一般地,从网络N(t)的顶点集中删除一个子集能导致整个网络瘫痪.若有子集 X*V(N(t)),使得对任意的子集 XV(N(t))总有分支数目 ω(N(t)-X*)≥ω(N(t)-X)成立,记cor(t)=(|X*|)/(|V(N(t))|)为网络 N(t)的瓦解度.显然,满足瓦解度cor(t)的子集可能有多个.另外定义 frr(t)=(ω(N(t)-X*))/(|V(N(t))|)为N(t)的脆弱度.网络脆弱度是一个相对分支数目的概念,即是统计碎块的比率.不难看到,cor(t)的值越大,网络受损程度越厉害; frr(t)的值越小,网络稳定性越好,抵御外界攻击的能力也就越强.阿波罗网络模型 N(t)的瓦解度和脆弱度分别如下:
cor(t)=(|X*|)/(|V(N(t))|)=(1/2(3t-1+5))/(1/2(3t+5))≈1/3,
frr(t)=(ω(N(t)-X*))/(|V(N(t))|)=(3t-1)/(1/2(3t+5))≈2/3.(12)
在阿波罗网络中,破坏 X* 中的全部节点,才能使网络遭破坏后的分支最多,瓦解度最大.
3.2 边瓦解度和边脆弱度类似于顶点的瓦解度和脆弱度的叙述,阿波罗网络模型也有边瓦解度和边脆弱度.对任意边子集 YE(N(t)),若存在边子集 Y*E(N(t)),使得总有 ω(E(t)-Y*)≥ω(E(t)-Y)成立,记 corE(t)=(|Y*|)/(|E(N(t))|)为网络 N(t)的边瓦解度,frrE(t)=(ω(N(t)-Y*))/(|E(N(t))|)为 N(t)的边脆弱度[10].阿波罗网络的边瓦解度和边脆弱度分别为:
corE(t)=(|Y*|)/(|E(N(t))|)=(3/2(3t+1))/(3/2(3t+1))=1,
frrE(t)=(ω(N(t)-Y*))/(|E(N(t))|)=(1/2(3t+5))/(3/2(3t+1))≈1/3.(13)
不难看到,在阿波罗网络中,只有破坏网络中的所有边才能使得整个网络的瓦解度达到最大.
3.3 邻点度平均和吸引数本研究认为,一个顶点 u 的邻点与外界的关联多少显示这个顶点 u 的重要性.因此,本研究考察邻点度平均.文献 [10] 中定义一个节点 x 的邻点度平均为 t 时刻 x 的邻点的度之和与 x 的度的比值,记为 dave(x),即有 dave(x)=1/(k(x,t))∑y∈nei(x)k(y,t),其中 k(x,t)表示 N(t)中节点 x 的度,nei(x)是指N(t)中节点 x 的所有邻点构成的集合.节点 x 的吸引数定义为
att(x)=(k(x,t)-1)/(∑y∈nei(x)k(y,t)).(14)
对于阿波罗网络的不同顶点进行计算如下:对初始 t=0 时的顶点 v0,有
dave(v0)=(∑y∈nei(v0)k(y,t))/(k(v0,t))=
(2(2t+1)+3·2t-1+…+2t-1·
3·2t-t)·2t+1=(2(2t+1)+3t·2t-1)/(2t+1),(15)
att(v0)=(k(v0,t)-1)/(∑y∈nei(v0)k(y,t))=
(2t)/(2(2t+1)+3t·2t-1).(16)
对 N(i)中标号为i 的某个顶点 vi(i≥1),则有
dave(vi)=1/(k(vi,t))∑y∈nei(vi)k(y,t)=
(3·(3·2t-(i+1))+6(3·2t-(i+2))+…+
3·2t-(i+1)(3·2t-t)+Su,v,i-1)·(3·2t-i)-1=
(9(t-i)·2t-i-1+Su,v,i-1)/(3·2t-i),(17)
以及
att(vi)=(k(vi,t)-1)/(∑y∈nei(v1)k(y,t))=
(3·2t-i-1)/(9(t-i)·2t-i-1+Su,v,i-1),(18)
其中 Su,v,i-1(u,v,i-1 为节点标号)是指 i 号点的邻点中在 i 号点之前进入网络的3个节点的度之和.
Su,v,i-1=
{2t+1(3·2-i+1)+2, u=0,v=0;
2t[3(2-v+21-i)+1]+1, u=0,1≤v≤i-2;
3·2t(2-u+2-v+21-i), 1≤u,v≤i-2,u≠v.(19)
4 结 论
以文献[11]中的阿波罗网络模型为例,计算了该网络的度累积分布、边累积分布以及 D-度累积分布和 dd-度累积分布,并考查了上述几类累积分布的相互关系,最终得到 Pcum(k)~Pecum(k)~PDcum(k)~Pddcum(k).表明无标度的阿波罗网络的以上4类累积分布彼此等价,无标度网络是否均具有此类性质值得进一步研究.本文中提出新的D-度累积分布和dd-度累积分布,目的是为研究无标度网络的拓扑结构提供更多的衡量标准.此外,本研究针对受到攻击的阿波罗网络,定义了网络的瓦解度、脆弱度、边瓦解度、边脆弱度、邻点度平均和吸引数这 6 个新指标来刻画网络的坚韧性和脆弱度.当然,还需要对新的随机统计指标在其他的网络模型中进一步测试,以提高刻画的精确度.人们可以利用对这些新指标的分析,更好地研究网络的本质特性,修复遭到蓄意攻击的网络; 同时,也可以根据不同网络的性质,采取相应的措施保护更多、更重要的网络不受攻击.
- [1] WATTS D J,STROGATZ S H.Collective dynamics of small-world networks [J].Nature,1998,393(6684):440-442.
- [2] BARABÁSI A L,ALBERT R.Emergence of scaling in random networks [J].Science,1999,286:509-512.
- [3] NEWMAN M E J,WATTS D J.Renormalization group analysis of the small-world network model [J].Phys Lett A,1999,263:341-346.
- [4] AMARAL L A N,SCALA A,BARTHELEMY M,et al.Classes of small-world networks [J].Proceding National Academy of Sciences USA,2000,97:11149-11152.
- [5] COMELLAS F,SAMPELS M.Statistical mechanics and its applications [J].Physica A,2002,309:231-235.
- [6] JEONG H,TOMBOR B,ALBERT R,et al.The large-scale organization of metabolic networks [J].Nature,2000,407:651-655.
- [7] ALBERT R,JEONG H,BARABÁSI A L.Diameter of the world wide web [J].Nature,1999,401:130-131.
- [8] 张婉佳,刘霞,姚兵.一类增长网络模型的生成树 [J].厦门大学学报(自然科学版),2015,54(4):497-501.
- [9] 李振汉,唐余亮,雷鹰.基于ZigBee的无线传感器网络的自愈功能 [J].厦门大学学报(自然科学版),2012,51(5):834-838.
- [10] YAO B,WANG H Y,YAO M,et al.On the collapse of graphs related to scale-free networks [C]∥Proceeding of 2013 Third International Conference on Information Science and Technology.[S.l.]:IEEE,2013:16-21.
- [11] ZHANG Z Z,WU B,COMELLAS F.The number of spanning trees in Apollonian networks [J].Discrete Applied Mathematics 2014,169:206-213.