李树立
(泉州师范学院数学与计算机科学学院,福建 泉州 362000)
定义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