1. 引言
设有n个顶点的无向简单图G的顶点集为
,边集为
。其邻接矩阵定义为
,其中
(邻接矩阵为实对称矩阵且主对角元素为0)。若G每个顶点都具有k个相邻顶点,则称若G是k-正则图,参数为
的强正则图就是有v个顶点的k-正则图,且其中任意两个相邻顶点恰好有
个公共相邻顶点,任意两个非相邻顶点恰好有
个公共相邻顶点。图G的能量E定义为
,其中
是其邻接矩阵A的特征值,如果两个图有相同的能量,则称它们是等能量的,如果一个图和它的补图不同构且具有相同的能量,则称图是互补等能量的。1978年Gutman首先在 [1] 中定义了图能量,在过去的四十年中引起了研究者的广泛关注。图能的概念源于量子化学,与分子图 [2] 的总
-电子能有关。等能图的构造有许多论文,例如:Hou和Xu [3] 构造了无穷多个等能二部图。Vinagre [4] 等人给出了一种利用图积从起始图中获得新等能图对的方法。关于等能量的强正则图的研究,近几年,Ramane等人在 [5] [6] 构造了几类互补等能图以及与强正则图相关的等能图。本文通过观察互补等能量图的参数规律构造出了一些互补等能量的强正则图,强正则图在图论和编码理论之间架起了桥梁,因此对于代数图论是至关重要的。
2. 预备知识
定理2.1给出了强正则图的特征值以及特征值重数的计算方法。
定理2.1 [7] 如果G是带有参数
的强正则图,则G的谱是
,且
(1)
它们的重数分别为
,其中
定理2.1给出了强正则图补图的参数以及强正则图存在的必要条件。
定理2.2 [8] 若G是带有参数
的强正则图,则其补图
是带有参数
,其中
,
,
,
。若考虑一个固定顶点u,用两种方法计算边vw,使得u与v相邻,但不与w相邻,则
。
3. 一些自补等能量的强正则图
下面我们给出了强正则图能量的表达式,并可以根据表达式判断两个图能量是否相等。
定理3.1 若G是带有参数
的强正则图且谱为
,则图G的能量为
。
证明:根据定理2.2,图G的谱为
,则
。
因为
,可得
。且
,所以
。
根据能量的定义可得
(2)
根据定理2.3,
是带有参数
的强正则图,将
,
,
,
代入(4)得
(3)
定理3.2和定理3.3给出了本文构造的不同构且互补等能量的强正则图。
定理3.2 G是一个带参数
的强正则图,则
。
证明:将G的参数代入公式(2),利用mathematica计算可得
,
将
的参数代入公式(3),
的能量计算为
,
化简得
。
在得出G与
等能量之后,再判断是否同构,若其特征值不相等,则G与
不同构。将G与
的参数代入公式(1),则可得到G与
的特征值,见表1:
Table 1. Eigenvalues of G and G ¯
表1. G与
的特征值
由此可见,G与
不同构且等能量,则称强正则图G是互补等能量的。
另外我们利用编程搜索得到了存在的
时互补等能量的强正则图的参数 [9] ,见表2:
Table 2. Parameters of complementaryequienergetic strongly regular graph (t = 3)
表2. 互补等能量的强正则图的参数(t = 3)
定理3.3 G是一个带参数
的强正则图,则
。
证明:将G的参数代入公式(2),同样利用mathematica计算可得
,
将
的参数代入公式(3),
的能量计算为
,
化简得
。
同样判断G与
是否同构,将G与
的参数代入公式(1),则可得到G与
的特征值,见表3:
Table 3. Eigenvalues of G and G ¯
表3. G与
的特征值
由此可见,G与
不同构且等能量,则称强正则图G是互补等能量的。
表4给出了编程搜索到的存在的
时互补等能量的强正则图的参数 [9] ,见表4:
Table 4. Parameters of complementary equienergetic strongly regular graph (t = 3)
表4. 互补等能量的强正则图的参数(t = 3)