目录
1. 正则图
1.1. 正则图
(1)定义:所有顶点的度数都一样
(2)一个顶点的度至少有0个,至多有n-1个(其中n为顶点个数)
1.2. 完全图
(1)表示方法 ,其中p是顶点,叫做p个顶点的完全图
1.3. 部图
(1)定义:部图(partite graph)是一类特殊的图,即一个图的节点集可分成若干个子集,使得每一条边的两端点不在同一子集内,若一个图的节点集能分成k个两两不交的非空子集,使得这个图的每一条边的两端点不在同一个子集内,则称这个图为k部图。
(2)例子:(源于百度百科:部图_百度百科 (baidu.com))
1.4. 推论
(1)对于n个顶点的完全图,必有两个顶点的度数相同
证明:
对点数n归纳
n=2成立
设n=k成立n=k+1时
1)若有一点度数为0,去掉这点,则剩下k个点必有2个度数相同的顶点
2)若每点度数至少为1,而所有点对数都至多为k,k+1个点,度数都是1至k的整数,由抽屉原理得必定至少有2个度数相同的顶点
归纳法对n=k+1也成立
所以在顶点个数不少于2的简单无向图中,必有度数相同的顶点
(2)抽屉原理:
桌上有十个苹果,要把这十个苹果放到九个抽屉里,无论怎样放,我们会发现至少会有一个抽屉里面放不少于两个苹果。这一现象就是我们所说的“抽屉原理”。 抽屉原理的一般含义为:“如果每个抽屉代表一个集合,每一个苹果就可以代表一个元素,假如有n+1个元素放到n个集合中去,其中必定有一个集合里至少有两个元素。” 抽屉原理有时也被称为鸽巢原理。它是组合数学中一个重要的原理
2. 同构
2.1. 同构图
(1)定义:
图论当中的术语,假设G=(V,E)和G1=(V1,E1)是两个图,如果存在一个双射m:V→V1,使得对所有的x,y∈V均有xy∈E等价于m(x)m(y)∈E1,则称G和G1是同构的,如图。
这样的一个映射m称之为一个同构,如果G=G1,则称其为一个自同构(automorphism)。 [1]
用符号𝑮 ≅ 𝑮′表示图同构。
图同构的直观即为,可以通过将图G的顶点重新标号,使之与图G'完全相同,则G与H同构。
(2)乌拉姆猜想:如果两个图所有的子图都同构,那么两图同构(未被证实)
3. 路、圈、连通
3.1. 通道
(1)定义:图的顶点和边的交错序列
3.2. 路/迹
(1)迹:边不重复的通道
(2)闭迹:一条没有重复边的闭通道
(3)路:顶点不重复的通道
(4)闭路:圈
4. 路、圈、连通图
(1)连通图:从任意一个顶点出发能到达其他任意一个顶点
5. 判断连通
5.1. 判定
(1)定理1:若在图G(p,q)中任意一条路,起始点为u,终点为v,有deg u+deg v ≥ p-1,则G一定连通
5.2. 极大连通子图
(1)被称为支或连通分量
6. 连通的几类证明方法
6.1. 演绎
(1)证明:
//旨在求出两点的公共连接点
若能使
,则代表图连通
若不存在这样的,则可证明不连通
设 ,其中
原本是
,但因
和
前置条件不连接,故再减去1。又因为
又和
的
条邻接边全不相邻,故再减去
。
知 与5.1矛盾
(2)推论:
6.2. 反证
(1)例:证明图G只能有一个支
证明:设图 记为
有两个支,分别记为
设它们的度
知
根据先前知识有
很明显
根据5.1知若图中 则一定图为连通图,与
矛盾
故图只能有一个支
6.3. 归纳法
7. 判定图是否有圈
(1)定理:若有 ,如果G中每个顶点的度为偶数,则G中有圈
(2)证明:G中最长路径为
在找出最长路径之后,知每个顶点度最少为2,即一定还会连接另外一个顶点,此时无论连接任何顶点都会构成环
(3)定理2:如果图中每个顶点的度都大于等于m(m≥2),则至少有长为m+1得到圈
8. 关于路和图的一个定理
(1)若两个顶点间有两条路,则图存在圈