毕业答辩图的拟拉普拉斯矩阵整谱性研究重点.pptVIP

图的拟拉普拉斯矩阵整谱性研究;研究背景;研究目标;论文结构;相关概念;定义3 设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点 和 分别属于这两个不同的顶点集A,B,则称图G为一个二分图(也叫二部图)。 定义4 每对顶点之间都恰连有一条边的简单图叫完全图。n个端点的完全图有n个端点及n(n- 1)/2条边，以 表示。记 为 的二部完全图； 称为星图，其中 。 ;研究综述;定理1(交错定理) 设G为n阶图，则G的Laplace特征值 与G+e的Laplace特征值交错，即： 由此我们发现：G在添加一条边后，所有特征值不会 减小，且特征值总和增加2.若将加边后的谱扰动限制 在整数扰动，则发生变化的特征值仅有下面两种情形： 情形1 一个特征值增加2，其余n-1个特征值保持不 变(称该情形为在一处发生谱整变化)； 情形2 恰有2个特征值增加1，其余n-2个特征值保持不变(称该情形为在两处发生谱整变化)。 若在添加一个环e后，Laplace谱发生如下整形变化： (情形3)恰有一个特征值增加1，其余n-1个特征值 保持不变(称该情形为加环后的在一处发生谱整变化)。 ; 定理2 设G=(V,E)为一般图，G加环后在一处发生 谱整变化当且仅当G时由带有一些环的孤立点构成的 图。 二、恰有三个不同特征值Laplace整图 设I,J分别表示(适当阶数的)单位矩阵和全1矩阵， 1表示(适当阶数的)的全1向量。 引理1 设G为n( n≥3)阶连通图，L为G的Laplace矩阵。 则L有t(2≤t ≤n)个不同特征值当且仅当存在t-1个不同非 零数 ，使得 ;推论1 设G为n(n≥3)阶连通图，则G恰有两个不同的 特征值当且仅当G为完全图。 推论2 设G为n(n≥3)阶连通图，则G恰有三个不同特征 值当且仅当存在两个不同的整数r,s,使得 ，其中 ； ，其中 。 定理3 设G是无三角形的非正则图，则G有三个不同特 征值当且仅当G是星图。在此情况下，G是Laplace整的。 ;定理4 连通二部图G具有三个不同特征值当且仅当G是 完全正则二部图或星图，对于这两种情形，G均是 Laplace整的。 三、图的拟拉普拉斯矩阵的谱 定理5 二部图的Q-多项式等于Laplace特征多项式。 定理6 设G是具有n个顶点和m条边的简单图，则G的拟 拉普拉斯矩阵的最大特征值 ； 最小特征值 。其中等号成立的充要 条件是G为完全图。 ;定理7 设G=(V,E)为n个顶点m条边的无向简单图，则 图G的拟拉普拉斯谱半径 有： 。 定理8 设图G=(V,E)为n个顶点m条边的无向简单图， 且图G无孤立点，则G的拟拉普拉斯谱半径 有： 其中 ， 分别为最大度和最小度，等号成立的充要条 件是图G为一些顶点度相同的正则图的并。 ;主要结论; 其中 为一个(i-1)×(i-1)的矩阵， 为一个(n-i+1) ×(n-i+1)的矩阵，设x为一个不大于1的正实数，取可 逆矩阵 ， 则 ;考虑矩阵K(G)的行和 ，首先考虑前i-1行的 行和，显然第一行的行和最大，则 (1) 接着考虑第i行到第n行的行和，显然第i行的行和最大， 则 (2) ;显然， ， 令 ， 可得到， 。 解该方程得： 易验证， 时，x=1， 时，0x1,而另一个根 由于x是不大于1的正实数，故舍去。将其代入（1）式， 有： ; 命题2 设 是 的根顶点，那么图 的 拟拉普拉斯多项式为 其中