第一章 图的基本概念
第一节 图和简单图
- 图的一些定义:有限图、平凡图、非平凡图、空图、重边、环、简单图、复合图、相邻、相关联、图的同构。
- 完全图、偶图、补图
- 顶点的度、最小度、最大度、奇点、偶点、k正则图、握手定理、推论1、推论2、图序列、定理三、频序列
第二节 子图和图的运算
- 子图、真子图、生成子图、导出子图、定理6、图的运算(不相交、不相重、并集、交集、差、对称差、联图、积图)、方体
第三节 路与图的连通性
- 途径、迹、路
- 连通图、非连通图、连通分支、定理7(若图G是不连通的,则G的补图是连通图)
- 闭迹、圈(奇圈、偶圈)、直径、一个图是偶图当且仅当它不含奇圈。
第四节 最短路及其算法
- 权、赋权图
- 最短路问题的顶点标号法(不断地迭代An、bn、t(a)、Tn)
第五节 图的代数表示以及其特征
1.邻接矩阵、布尔矩阵、邻接矩阵的性质((1)非负性和对称性 (2)同一图的不同形式的邻接矩阵是相似矩阵 (3)如果G为简单图,则A(G)是布尔矩阵,行和(列和)等于对应顶点的度数)(4)G连通的充分必要条件:A(G)不能与方阵组成的矩阵相似
2.邻接矩阵的两个推论:推论(1)的元素
是
的度数。
的元素
是含
的三角形的数目的两倍;
推论(2)若G是连通的,对于ij,
与
之间的距离是使
的
的最小整数
3.关联矩阵、关联矩阵的性质((1)元素为0、1或2;关联矩阵每列和为2;每行和为对应的顶点度数)
4.邻接代数的定义:图G的邻接矩阵的各个复系数的多项式在通常的矩阵运算法则下构成一个有限维的线性空间,记为、
图的邻接谱的定义:图的邻接矩阵A(G)的特征值以及重数(邻接谱的表示:SpecA(G))
同谱图:两个非同构的n阶图具有相同的谱
相关定理:定理11 n阶连通图G的邻接代数的维数有:
定理14 单图A(G)的谱为Spec(G),则
定理15 设是单图
的任意特征值,则
第六节 极图
- l部图、完全l部图,记作
- n阶完全l几乎等部图,记作
(n=r+kl)、完全l等部图
- 相关定理:
- 定理1 连通偶图的2部划分是唯一的
- 定理2 n阶完全偶图
的边数m=n1n2,且
,其中
表示不大于实数x的最大整数
- 定理3 n阶l部图G有最多边数的充要条件是G与
同构
- 度弱于(度优于)、定理19:若n阶简单图G不包含
,则G度弱于某个完全l部图H.且若G具有与H相同的度序列,则G与H同构
- Turan定理: 若G是简单图,并且不包含
,则边数
.此外,当且仅0当,G与
同构时有
、托兰定理的应用
第七节 交图和团图
此节ppt中涉及的概念较少,主要是在托兰定理这节之后补充了交图和团图的概念,有关交图的概念:
交图的性质:
定理1 每个图均为交图
证明:对于G的每个点,令
是
与关联与
的边的集的并,于是得到G与
同构,其中F是
的一个族
定义2 G是S上的交图,如果S的基数最小,称S的基数为图G的交数,记为V(G)
关于交数的几个推论:
1.(n,m)连通图G的交数满足:(这点可以从定理1的证明中,把各个子集
中把其子集的各个点略去,因此有
,而
2.若图G有m条边,个孤立点,且没有K2支,则
(该结果得出了推论1的上界
3.设G是一个有n>3个点的连通图,则当且仅当G中没有三角形时,,证略。
4.若G是一个任意的图,则:
团图的概念 :
定义3 单图G的一个团是指V中的一个子集,使得
是完全图
定义4 一个给定的图G的团图是G的团的族的交图,团图