1. 引言
定义1 本文中所涉及的图都是连通的n阶简单图G,顶点数为
,边数为
。在图G中,将
记为顶点u和v的距离。其中,任一顶点u到其他各顶点的距离之和记为
,即
20世纪80年代Balaban提出了一类关于连通图的基于距离的拓扑指标,称为Balaban指标(或简称为J指标) [1] [2],即
Balaban指标的研究意义在于其作为分子拓扑学核心工具,能够精准量化分子结构的分支程度与复杂性,为跨学科研究提供关键支撑。此外,Balaban指标与机器学习的深度融合如图神经网络,以及多指标协同优化如结合Wiener指数,进一步拓展了其在复杂分子体系预测与智能决策中的应用潜力。
为进一步研究图结构的不同性质,2010年Deng等人在文献[2]中提出了图的Sum-Balaban指标,也称SJ指标,定义为
树图作为图论中基础图类之一,常被学者用以研究Balaban指标的问题,在文献[3]中,提出了所有树中Sum-Balaban指数最大的树n顶点和直径d,还提供了一个新的结果证明,即在阶数为n的简单图中,星图
是所有树中具有最大Sum-Balaban指数的图。文献[4]中也提到具有n个顶点和最大度Δ或给定度序列或k个下垂顶点的树中具有最大Balaban指标的树。此外,还确定了具有最小Balaban指数和n个顶点以及最大度Δ的树,以及具有最大Balaban指标和n个顶点以及最大度Δ和k个下垂顶点的树,在后续的研究中,可以发现哈林图的Balaban指标与它的最大度及最大度的个数有关,最大度越多说明图中的路多,各点之间的联系更紧密,Balaban指标值也随之改变。
BALABAN A. T.介绍了一种关于连通图的新的拓扑指标,称为Balaban指标。进一步地,在2010年,BALABAN A. T.等人首次研究了Sum-Balaban指标。在化学应用中,这两种指标都具有良好的描述分子性质的作用,因此被广泛应用于定量结构–活性相关(QSAR)和定量结构–性质相关(QSPR)的各方面研究,如文献[5]。通过对图形的化学结构的思考,人们还提出了计算这两类指标的方法。主要的研究内容集中在研究计算图的(Sum)-Balaban指标的上、下界,其中已有不少的简单连通图被研究证明,包括树图、单圈图、双圈图、链图等等,并且部分学者研究确定指标的上下界时还对具有极值指标的极图进行了刻画。文献[2]给出了Balaban指数的若干基本性质,并分别确定了在顶点数固定的树图中,和Balaban指数取得最小值与最大值的树图结构。文献[6]则是(QSAR)和(QSPR)的研究应用。文献[7]对特征树为双星的哈林图的反魔幻性进行研究,依据图的结构把哈林图分成3部分,按照顶点标号和单调递增的顺序依次对每部分的边给出标号,证明了特征树为双星的哈林图是反魔幻图。文献[8]中Knor等人给出了关于n个顶点的r-正则图的Balaban指数的上界,并为富勒烯图提供了更好的上界,他们还建议探索其他拓扑指数的类似界限。文献[9]解决了3正则图Ln的Balaban指数计算问题,采用了分类讨论的方法,给出了Ln的Balaban指数计算公式,并利用该公式,分别得到了该类正则图Balaban指数的易于计算的上、下界。文献[10]给出哈林图是一个平面图
,其中T是嵌入到平面内的不含2度点且至少有一个顶点度大于等于3的树,C是按顺时针顺序依次连接T中的叶形成的圈。文献[11]给出了有t片树叶的树图对应的哈林图中具有最大和最小零阶广义Randic指标的图类。
定义2 设T是平面内顶点度至少为3或只有叶子点的树(无圈的连通图),即T中没有度为2的顶点,C是连接T中所有叶子点的圈,称
为哈林图G,T为G的特征数,C为G的连接圈,圈上的点称为外点。其中,
是树中不在圈上的点的个数,这些点被称为内点或中心点。本文主要研究内点所构成的图是一条路的情况。
轮图
是特征树为
,连接圈为
的特殊哈林图。
定义3 双星图
是指连接星图
的中心和星图
的中心,且具有
个顶点的图。
多星图
指连接
等s个星图的中心,且具有
个顶点的图。
推论1 n阶哈林图G是由树T与圈C构成,设圈上有k个点,则
,且由内点个数等于图G的顶点个数减去圈上的点数k得
,进一步得到圈上的顶点数就等于图G的顶点数减去内点数
,故在树T中
,
。综上,哈林图G中的边数
。
2. 主要结果
在分析哈林图类的Balaban指标时,先确定不同阶数的满足条件的哈林图的结构,再计算它们的指标,根据哈林图的特殊结构性质,研究图中结构的变化如何影响Balaban指标的数值,由改变圈的大小、树的分支结构、最大度等变量,得出一系列对指标的影响规律。如下所示,本文新定义了一种哈林图的结构表达式,为方便哈林图类的进一步研究。
引理1 由定义2和3,哈林图G可看作是树T与圈C构成,树T上的点是内点与外点构成,且本文规定内点所组成的图均为链图,故可将树T中各个内点设为星图的中心点,
定义为中心点
上悬挂了
条边,边上的点均为叶子点,与圈
构成了哈林图G。
以图
为例,其哈林图G可看作一个内点为
的单星图
与圈
构成,它的结构可以表达为
(在单星图中有3条悬挂边,故有三个叶子点,则圈上点数为3);
以图
为例,其哈林图G可看作两个内点为
和
的双星图
和
与圈
构成,它的结构可以表达为
(在双星图中有4条悬挂边,故有四个叶子点,则圈上点数为4);
以图
为例,其哈林图G可看作三个内点为
、
、
的三星图
、
、
与圈
构成,它的结构可以表达为
(在三星图中有5条悬挂边,故有五个叶子点,则圈上点数为5);
以此类推,内点有s个时,其哈林图G可看作s个内点为
、
、
、
、
、
的多星图
、
、
、
、
与圈
构成,此时,它的结构可以表达为
(在多星图中有
条悬挂边,故有
个叶子点,则圈上点数为
)。
由哈林图的特殊性质可知其没有度为2的顶点,且阶数大于等于4,故从第4阶开始分析,满足定义的哈林图的结构如下,通过计算得出
(本文结果均保留小数点后四位):
(1) 4阶哈林图的结构只有一种,如图1,是特殊的3-正则图:
Figure 1.
,
图1.
,
(2) 5阶哈林图的结构只有一种,如图2,所示:
Figure 2.
,
图2.
,
(3) 6阶哈林图的结构有两种,如图3和图4,则:
Figure 3.
,
图3.
,
Figure 4.
,
图4.
,
(4) 7阶哈林图的结构有两种,如图5和图6,则:
Figure 5.
,
图5.
,
Figure 6.
,
图6.
,
(5) 8阶哈林图的结构有四种,如图7~10,则:
Figure 7.
,
图7.
,
Figure 8.
,
图8.
,
Figure 9.
,
图9.
,
Figure 10.
,
图10.
,
(6) 9阶哈林图的结构有五种,如图11~15,则:
Figure 11.
,
图11.
,
Figure 12.
,
图12.
,
Figure 13.
,
图13.
,
Figure 14.
,
图14.
,
Figure 15.
,
图15.
,
(7) 10阶哈林图的结构有九种,如图16~24,则:
Figure 16.
,
图16.
,
Figure 17.
,
图17.
,
Figure 18.
,
图18.
,
Figure 19.
,
图19.
,
Figure 20.
,
图20.
,
Figure 21.
,
图21.
,
Figure 22.
,
图22.
,
Figure 23.
,
图23.
,
Figure 24.
,
图24.
,
推论2 从以上所得的哈林图类中可知:
1. 正则的哈林图都是完美匹配,反之不然;
2. 因为构成哈林图的树T中不含2度顶点,且在哈林图中,最大度与内点个数有关,所以n阶哈林图中的最大度范围是:
且
;
3. 当哈林图是轮图时,顶点数越大,则Balaban指数越小,如图
;
4. 满足3-正则的哈林图只会出现在n为偶数阶时,且顶点数越大,则Balaban指数越小,如图
;
5. 同阶条件下,圈
中外点数k越多,则Balaban指数越大,如图
时,
;
时,
;
时,
,
;
时,
,
,
;
时,
,
,
,
,
,
。
推论3 n阶轮图的(sum)-Balaban指标
满足条件的特殊哈林图是轮图,直径为2时。设内点编号为1,则
表示内点到圈上各点的最短距离之和,
是圈上各点的编号,
表示i点到图中各点的最短距离之和。由轮图的特殊性质可知,内点
到圈上各点的最短距离之和就是最大度
,而圈上的每个点到其他点的最短距离之和都相等,故:
当
时,在图
中,
,
;
当
时,在图
中,
,
;
当
时,在图
中,
,
;
当
时,在图
中,
,
;
当
时,在图
中,
,
;
当阶数为n时,
,
。
另外,轮图时特殊的哈林图且始终只有一个中心点,故哈林图G中的边数
。
此时,由
与
公式计算得:
推论4 哈林图Balaban指标的上界
引理2 设G是具有n个顶点和m条边的简单连通图,设Δ表示图G中最大的度,则
由上述引理和结论2.3中最大度的范围可知:
推论4.1 在一般n阶哈林图中,当
时,边
,故
推论4.2 在特殊哈林图即轮图中,当
时,边
,故
推论5 直径为3时n阶哈林图的最大Balaban指标
由推论4可知,哈林图的Balaban指标有上界,但无法具体到对应图,要确定指标最大时的哈林图,则需固定直径的长度,根据定义条件,构造具有最大度的哈林图,进而计算指标。如,若固定哈林图中直径的为3,此时内点数相同为2,若悬挂边越多,最大度Δ越大,则
和
指标就越大,如图
和图
中图8的最大度
小于图9的最大度
,所以
;图
、图
和图
中
,所以
;图
、图
、
和图
中比较
大小都可得到验证。故引申至
阶哈林图中,由下图25所示,固定直径为3时的最大
指标和最大J指标下的
指标计算公式为:
Figure 25.
图25.
1、直径为3,则最大度为
,内点数为2,故
;
2、哈林图的结构表示为
,其中编号
;
3、内点1到其他各点的距离之和为:
内点2到其他各点的距离之和为:
外点3到其他各点的距离之和为:
外点4到其他各点的距离之和为:
外点5到其他各点的距离之和为:
外点6到其他各点的距离之和为:
4、从第7个点起,设标号
表示圈上外点的编号,则:
外点7到其他各点的距离之和为:
外点8到其他各点的距离之和为:
外点9到其他各点的距离之和为:
……
外点i到其他各点的距离之和为:
,距离与编号数i无关
……
外点
到其他各点的距离之和:
外点
到其他各点的距离之和:
5、综上可由Balaban指标的定义,得出固定n阶哈林图直径为3时的最大Balaban指标公式,以及在最大Balaban指标时的Sum-Balaban指标:
3. 结论与展望
在Balaban指标的研究中,对树图、圈图、双星图等图的研究成熟且完善,基于这些研究等基础上研究树图加圈图再限制一定条件成新图的研究也存在,但哈林图的Balaban研究还较少,另一方面,本文给出双星图加圈的构造方式,进一步完善对星图的Balaban的补充刻画,另外哈林图类的Balaban研究也给出了一种新的定义方法,在限制直径的情况下,由新的构造方式,得出了最大Balaban指标公式,最后计算出哈林图Balaban指标的上界,为后续研究提供条件。
本文对于哈林图Balaban指标的研究还处于初步阶段,后续可以考虑图运算下的Balaban指标的变化,也可以在Balaban指标变化d的基础上,对比双星图加圈前后Balaban指标的变化,给出改变指标值的原因。