图论学习第一章

最新推荐文章于 2024-09-02 20:13:36 发布

LoveSummer3

最新推荐文章于 2024-09-02 20:13:36 发布

阅读量965

点赞数 12

文章标签：图论

本文链接：https://blog.csdn.net/qq_45245770/article/details/138767082

版权

1.邻接矩阵、布尔矩阵、邻接矩阵的性质（（1）非负性和对称性（2）同一图的不同形式的邻接矩阵是相似矩阵（3）如果G为简单图，则A（G）是布尔矩阵，行和（列和）等于对应顶点的度数）（4）G连通的充分必要条件：A（G）不能与方阵组成的矩阵相似

2.邻接矩阵的两个推论:推论（1） $A^{2}$ 的元素 ${a_{ii}}^{2}$ 是 $v_{i}$ 的度数。 $A^{3}$ 的元素 ${a_{ii}}^{3}$ 是含 $v_{i}$ 的三角形的数目的两倍；

推论（2）若G是连通的，对于i $\neq$ j, $v_{i}$ 与 $v_{j}$ 之间的距离是使 $A^{n}$ 的 ${a_{ij}}^{n}\neq0$ 的最小整数

3.关联矩阵、关联矩阵的性质（（1）元素为0、1或2；关联矩阵每列和为2；每行和为对应的顶点度数）

4.邻接代数的定义：图G的邻接矩阵的各个复系数的多项式在通常的矩阵运算法则下构成一个有限维的线性空间，记为 $\Lambda (G)=\left \{ a_0{E}+a_1{A}+...+a_k{A^{k}},a_i\epsilon C,k_i\epsilon Z\right \}$ 、

图的邻接谱的定义：图的邻接矩阵A（G）的特征值以及重数(邻接谱的表示:SpecA(G))

同谱图:两个非同构的n阶图具有相同的谱

相关定理：定理11 n阶连通图G的邻接代数的维数有： $d(G)+1 \leq dim\Lambda(G)\leq n$

定理14 单图A（G）的谱为Spec（G），则 $\sum_{i=1}^{S}m_i\lambda_i^2=2m(G)$

定理15 设 $\lambda$ 是单图 $G=(n,m)$ 的任意特征值，则 $\left | \lambda \right |\leq\sqrt{2m(n-1)/n)}$

l部图、完全l部图，记作 $K_{n1,n2,...,nl}$
n阶完全l几乎等部图，记作 $T_{l,n}$ (n=r+kl)、完全l等部图
相关定理:
1. 定理1 连通偶图的2部划分是唯一的
2. 定理2 n阶完全偶图 $K_{n1,n2}$ 的边数m=n1n2,且 $m\leq\left \lfloor n^2/4 \right \rfloor$ ,其中 $\left \lfloor x \right \rfloor$ 表示不大于实数x的最大整数
3. 定理3 n阶l部图G有最多边数的充要条件是G与 $T_{l,n}$ 同构
度弱于（度优于）、定理19：若n阶简单图G不包含 $K_{l+1}$ ,则G度弱于某个完全l部图H.且若G具有与H相同的度序列，则G与H同构
Turan定理：若G是简单图，并且不包含 $K_{l+1}$ ，则边数 $m(G)\leq m(T_{l,n})$ .此外，当且仅0当，G与 $T_{l,n}$ 同构时有 $m(G)\doteq m(T_{l,n})$ 、托兰定理的应用

此节ppt中涉及的概念较少，主要是在托兰定理这节之后补充了交图和团图的概念，有关交图的概念：

交图的性质：

定理1 每个图均为交图

证明：对于G的每个点 $v_i$ ,令 $S_i$ 是 $v_i$ 与关联与 $v_i$ 的边的集的并，于是得到G与 $\Omega \left ( F \right )$ 同构，其中F是 $S_i$ 的一个族

定义2 G是S上的交图，如果S的基数最小，称S的基数为图G的交数，记为V(G)

关于交数的几个推论：

1.（n,m）连通图G的交数满足： $V(G)\leq m$ (这点可以从定理1的证明中，把各个子集 $S_i$ 中把其子集的各个点略去，因此有 $S=E\left ( G \right )$ ,而 $V(G)\leq E(G)$

2.若图G有m条边， $n_0$ 个孤立点，且没有K2支，则 $V(G)\leq m+n_0$ (该结果得出了推论1的上界

3.设G是一个有n>3个点的连通图，则当且仅当G中没有三角形时， $\left ( G \right )\doteq m$ ，证略。

4.若G是一个任意 $n \geq 4$ 的图，则： $V\left ( G \right ) \leq \left \lfloor n^2/4 \right \rfloor$

团图的概念：

定义3 单图G的一个团是指V中的一个子集 $V_1$ ，使得 $G\left [ V_1 \right ]$ 是完全图

定义4 一个给定的图G的团图是G的团的族的交图，团图

关注