图的基本概念
1.1 图论的发展
1. 哥尼斯堡七桥问题
2. 基尔霍夫电网络
3. 四色问题
4. 化学同分异构物
5. 哈密尔顿周游世界问题
6. 20世纪的图论
1.2 图的概念
1.2.1 图
定义:一个图G是指
G
是指一个有序三元组
如果顶点
v
是边
对于顶点
u
和
若两条边有共同的顶点,则也称这两条边是相邻的.
两个端点重合的边,称为环.
两个端点不重合的边,称为连杆.
关联同一对顶点的两条或多条边,称为多重边.
没有环和重复边的图,称为简单图.
若图 G=(V,E) 的顶点数和边的数目都是有限的,则称图 G 是有限图,否则是无限图.
只有一个顶点的图称为平凡图,其他所有的图都称为非平凡图.
可以画在平面上的,除顶点外没有交叉的图称为平面图.
1.2.2 子图
定义:设图
若
H′⊆G
,且
V(H)=V(G)
,则称
H
是
若
H⊆G
,其中
V(H)=V(G)
和
E(H)=E(G)
至少有一个不成立,则称H是G的真子图,或当
H⊆G
但
H≠G
时,记为
H⊂G
.
定义 假设
V′
是
V(G)
的一个非空子集,以
V′
为顶点集,以两端点均为在
V′
中的边的全体为边集所组成的
G
的子图,称为
定义 假设
E′
是
E(G)
的一个非空子集,以
E′
为边集,以
E′
中的边关联的全部顶点为顶点集的G的子图,称为
G
的由
注意:
点导出子图就是在原有图中去掉一些点及其相关联的边所产生的子图.
边导出子图是在原图中取一些边,并保留相关联的点产生的子图.
1.2.2 一些重要类型的图
完全图:若图
G
中任意不同顶点邻接,则图
补图:图
G′
与
G
有相同的顶点集
偶图或二分(部)图:简单图
完全二分图或完全偶图:偶图或二分图中,U的每个点都和W中每个点相关联。
空图:无边的图。
圈:首尾相接的通路。n个顶点的圈记作Cn。
星: K1,n是一个完全二分图,图中只有一个结点的度为n,其余n个结点是度为1的端结点。