树的Zagreb指标的上界
2018-08-10李树立
李树立
(泉州师范学院数学与计算机科学学院,福建 泉州 362000)
1 预备知识
2 主要结果
定义1对于一个连通图G,第一类Zagreb指标M1(G)定义为
容易证明第一类Zagreb 指标也可表示为
引理1记图G的度序列为(d1,d2,…,di,…,dj,…,dn),其中d1≥d2≥…≥dn,若图G′的度序列为(d1,d2,…,di+1,…,dj-1,…,dn),则
M1(G)
证明由定义1可知,
M1(G′)-M1(G)=(di+1)2+(dj-1)2-
di2-dj2=2(di-dj)+2.
因为di≥dj,故di-dj≥0,则M1(G′)-M1(G)>0,引理得证.
由于n个顶点的树有n-1条边,由握手定理可知
kΔ+s+n-k-1=2(n-1),
即
k(Δ-1)+s=n-1.
因为
1≤s<Δ,
所以
设Sn为n个顶点的星图,若有k个星图Sp1,Sp2,…,Spk,则连接Spi与Spi+1的中心点,i=1,2,…,k-1,所得到的图记为Sp1,p2+1,…,pk-1+1,pk.如图1所示.
图1 5个顶点的星图S5(a)及由4个星图S5,S4,S3,S5构造的星图S5,5,4,5(b)Fig.1 The star S5 of five vertices (a) and the new graph S5,5,4,5 constructed by S5,S4,S3,S5 (b)
由以上分析及引理1,可得到以下定理是显然的.
对于第一类Zagreb指标,Das等[10]得到了如下结果.
定理2[10]设T是顶点数为n,最大度为Δ的树,则
M1(T)≤n2-3n+2(Δ+1)
等式成立当且仅当T≅Sn,或T≅P4.
记
g(n,Δ)=n2-3n+2(Δ+1).
下面证明我们得到的上界优于Das等[10]得到的上界.
定理3对顶点个数为n及最大度为Δ的任意树,有f(n,Δ)≤g(n,Δ).
n-1=(n-2)·(Δ+1)-ε(Δ2-1)+
[1+ε(Δ-1)]2+n-1=(n-2)·(Δ+1)+
n-(ε-ε2)(Δ-1)2.
因为0≤ε<1,2≤Δ≤n-1,则
f(n,Δ)≤(n-2)·(Δ+1)+n=(n-4)·
(Δ+1)+n+2(Δ+1)≤(n-4)·
n+n+2(Δ+1)=n2-3n+2(Δ+1)=
g(n,Δ).
定理得证.
由定理3可知,定理1中的树的第一类Zagreb指标的上界优于Das等[10]给出的上界,一些数值比较见表1.由表1数据可以看出f(n,Δ)≤g(n,Δ).
表1 f(n,Δ)与g(n,Δ)的一些数值比较
Tab.1 Some numerical comparisons of f(n,Δ) and g(n,Δ)
(n,Δ)f(n,Δ)g(n,Δ)f(n,Δ)/g(n,Δ)≈ (10 000,10) 119 97099 970 0221.2×10-3 (10 000,50)519 80499 970 1025.2×10-3 (10 000,100)1 019 70099 970 2021.0×10-2 (10 000,200)2 012 35099 970 4022.0×10-2 (10 000,500)5 010 34099 971 0025.0×10-2 (10 000,1000)10 010 07099 972 0021.0×10-1