1. 引言
关于图的网络分析及其应用的研究是当前图论研究中的一个热点问题。图的笛卡尔乘积方法是设计互连网络的一类重要方法[1],是网络设计的一种核心手段。基于笛卡尔乘积互连网络的谱对于研究图论之所以重要,主要在于可以用其计算图的诸多不变量,如特征值及其重数等关键参数。此外,此类方法在交通网络优化、芯片电路设计、社交网络分析等也有实际应用背景。在文献[2]-[7]中,对于一些著名的互连网络谱的研究,如(广义)超立方体、折叠超立方体、增广超立方体的(拉普拉斯)谱等。
本文从两类互连网络
和
的拓扑结构出发,根据邻接谱、Laplace谱定义,得到了邻接矩阵并刻画邻接谱特征、拉普拉斯矩阵并刻画Laplace谱特征,并附有程序代码。
2. 基本概念
本文所讨论的图均为简单图,未定义的术语和记号见文献[8]。下面介绍互连网络、邻接谱以及Laplace谱的定义。
定义1 [1] 设环网
是无向图,m-立方体
是m正则的连通图,则环网
与m-立方体
的笛卡尔乘积,即互连网络
。
根据定义,互连网络
的基本性质如下:
a)
有
个顶点和
条边;
b)
的顶点数为
,边数为
;
c)
正则度为
。
定义2 [1] 设Pancake网络
是无向图,m-立方体
是m正则的连通图,则Pancake网络
与m-立方体
的笛卡尔乘积,即互连网络
。
根据定义,互连网络
的基本性质如下:
a)
的顶点数为
,边数为
。
b)
正则度为
。
定义3 [2] 设G是一个简单图,
是对应的邻接矩阵。由特征多项式
的解构成所有特征值的集合,称为图G邻接矩阵的谱,简称邻接谱,记作
。
其中,
为特征值,
为特征值对应的重数。
用记号
表示矩阵的张量积(又称为Kronecker积),则
的邻接矩阵可表示为
,
的邻接矩阵可表示为
.
定义4 [2] 设L是Laplace矩阵,由
,以及特征多项式
的解构成所有特征值的集合,称为Laplace谱,其中
是与L同阶的度矩阵,A是与L同阶的邻接矩阵。
针对本文所提到的两类互连网络的度矩阵分别为
根据文献[9],环网
、Pancake网
和m-立方体
的邻接谱如下:
Table 1. Ring network
neighbourhood spectrum
表1. 环网
邻接谱
n |
特征值 |
重数 |
3 |
2, −1 |
1, 2 |
4 |
3, −1 |
1, 3 |
5 |
4, −1 |
1, 4 |
6 |
5, −1 |
1, 5 |
⋯ |
⋯ |
⋯ |
n |
n − 1, −1 |
1, n − 1 |
Table 2. Pancake network
neighbouring spectra
表2. Pancake网
邻接谱
n |
特征值 |
重数 |
2 |
1, −1 |
1, 1 |
3 |
|
|
⋯ |
⋯ |
⋯ |
n |
|
|
Table 3. m-cube
neighbourhood spectrum
表3. m-立方体
邻接谱
m |
特征值 |
重数 |
1 |
−1, 1 |
1, 1 |
2 |
−2, 0, 2 |
1, 2, 1 |
3 |
−3, −1, 1, 3 |
1, 3, 3, 1 |
4 |
−4, −2, 0, 2, 4 |
1, 4, 6, 4, 1 |
⋯ |
⋯ |
⋯ |
m |
|
|
由以上叙述,本文需要如下两个引理。
引理1 [2] 设图G和H的特征根分别是
和
,则笛卡尔乘积图的特征值为
,其中
。
引理2 [9] 已知图的邻接矩阵为A,邻接谱
,正则度为
,则它的Laplace谱为
。
3. 互连网络
的谱特征
3.1. 互连网络
的邻接谱
设互连网络
,分别将环网
、m-立方体
和
的特征值代入互连网络的邻接矩阵A中对应的分块矩阵的位置上,得到的新矩阵记为
。
定理3.1 已知互连网络
与其对应的新矩阵
,则
的特征值即为互连网络
邻接谱。
证明:互连网络
的邻接矩阵可表示为
,其中
是超立方体
的邻接矩阵,
是与
同阶的分块单位矩阵。
先将
与
的特征值代入邻接矩阵A中,再对其求解特征值。
1. 当
的特征值为
(重数为1)时,
。
由特征多项式
得:
得:
(重数为1),
(重数为2)。
2. 当
的特征值为
(重数为m)时,
.
由特征多项式
得:
得:
(重数为m),
(重数为2m)。
3. 当
的特征值为
(重数为
)时,
.
由特征多项式
得:
得:
(重数为
),
(重数为
)。
以此类推,可得:
即定理3.1成立,得证。
通过利用上述定理,我们可以很容易得到一些维数较低的互连网络
的谱。如:
.
引理3.2 互连网络
的邻接矩阵可表示为
,
是n阶分块对角矩阵,其中
是超立方体
的邻接矩阵,
与
分别是与
同阶的分块单位矩阵和零矩阵。
定理3.3 互连网络
的谱为
证明:根据
和
的结构特征及邻接谱的定义,由表1和表3可得邻接谱。由引理1可知,
的特征值,为
。重数分别为:
由此可知
的邻接谱为:
3.2. 互连网络
的Laplace谱
定理3.4互连网络
的Laplace谱为
证明:由定义1和定理3.3,有互连网络
的正则度为
,特征值为
根据引理1容易得出,互连网络的Laplace谱上的特征值是由互连网络的邻接谱的特征值与其正则度经过逐项相加得到的,相应重数不变。从而,互连网络
的Laplace特征值为
综上可知:
4. 互连网络
的谱特征
受第三节互连网络
谱特征证明思路,本节互连网络
的两种谱求解不再详细写出证明过程。又因对确定的互连网络
谱特征分析观察,没有一般的公式解。因此,本节利用上一节讨论两种谱特征思路,利用算法编程实现互连网络
两种谱特征的讨论。
4.1. 互连网络
的邻接谱
互连网络
的邻接谱求解算法思路:
第一步,设计Pancake网
邻接谱程序。根据表2的结果,我们利用Mathematica软件编程,可得Pancake网
邻接谱。
第二步,设计m-立方体
邻接谱程序。根据表3的结果,我们利用Mathematica软件编程,可得m-立方体
邻接谱。
第三步,根据引理1,设计任意两个特征值求和,即得互连网络
的邻接谱。即将上述两步得到的特征值分为两组数值列表,进而生成一个包含每组数值的所有可能的配对,每个配对求和并输出列表。
例1 画出互连网络
的图形并求解邻接谱。
解:互连网络
的图形,见图1:
Figure 1.
图1.
根据附录中的程序代码1,可得互连网络
的邻接谱
4.2. 互连网络
的Laplace谱
上小节得到的邻接谱后,根据定义2和引理2,互连网络
的正则度为
,从而可得
的Laplace谱。我们也设计了程序代码,见附录。
例2 求解互连网络
的Laplace谱。
解:根据附录中的程序代码2,可得互连网络
的Laplace谱
5. 总结
本文从师海忠构建的两类新的互连网络
和
的拓扑结构出发,根据邻接谱、Laplace谱定义,得到了邻接矩阵并刻画邻接谱特征、拉普拉斯矩阵并刻画Laplace谱特征,并根据证明思路设计了算法,文末附有程序代码。
根据定理3.3可知互连网络
随着n和m的增大,最大特征值与最小非零特征值之间的差距会越大,因此该图的直径会越来越小;同理可得互连网络
也是如此。
根据定理3.4可知互连网络
的Laplace矩阵第二小特征值(也称代数连通度)大于零,则该图是连通的;同理可得互连网络
也是连通的。又因为
的代数连通度大于
,因此互连网络
的节点间平均路径长度要比互连网络
更大。
下一步我们根据所得到的谱特征,研究其性质并反馈在互连网络的一些不变量中。
附 录
1.程序代码1:
n=Input["n="];
m=Input["m="];
FactorialPlusOne:=Factorial[n]+1;
g1=2*Cos[Pi*Range[1,FactorialPlusOne-1]/FactorialPlusOne];
g2=Eigenvalues[AdjacencyMatrix[HypercubeGraph[m]]];
cartesianProduct:=Tuples[{g1,g2}];
allSums:=Plus@@@cartesianProduct;
allSums
2.程序代码2:
n=Input["n="];
m=Input["m="];
FactorialPlusOne:=Factorial[n]+1;
g1=2*Cos[Pi*Range[1,FactorialPlusOne-1]/FactorialPlusOne];
g2=Eigenvalues[AdjacencyMatrix[HypercubeGraph[m]]];
cartesianProduct:=Tuples[{g1,g2}];
allSums:=Plus@@@cartesianProduct;
allSums
%+(n+m-1)
NOTES
*通讯作者。