图
图的基本概念
G = (V, E),顶点集V,边集E
V(G):图G中顶点的有限非空集
E(G):图G中顶点之间的关系(边)集合
| V |:图G中顶点的个数,阶
| E |:图G中边的条数
线性表可以为空(空表),树可以为空(空树),图不能为空图。(意思是不能一个顶点都没有,但是边集可以为空)
-
有向图
-
无向图
-
简单图
不存在重复边;不存在环。 -
多重图
某两个结点之间的边数多于一条,又允许顶点通过同一条边和自己关联。(与简单图相对立) -
完全图
完全简单图。任意两个顶点之间都存在边。(无向完全图、有向完全图) -
子图
对于G = (V, E),G’ = (V’, E’),若V’∈V,E’∈E,则G’是G的子集。如果满足了V(G’) = V(G),则称其为G的生成子图 -
连通图
在无向图中,如果顶点a和b之间有路径存在,称ab是连通的。图中任意两个结点都是连通的话称其为连通图,否则为非连通图。
极大连通子图称为连通分量。极大即要求该连通子图包含其所有的边。极小连通子图是既要保持图连通又要使得边数最少的子图。 -
强连通图
在有向图中,如果顶点a和b之间有路径存在,称ab是强连通的。若图中任意两个结点都是强连通的,称为强连通图。
极大强连通子图称为强连通分量。 -
生成树
连通图中,生成树是包含图中全部顶点的一个极小连通子图。
非连通图中,连通分量的生成树构成非连通图的生成森林。 -
度、入度、出度
顶点的度定义为该顶点为一个端点的边的数目。 -
边的权和网
边上有权值的图称为带权图,也称为网。 -
稠密图、稀疏图
边数很少的图称为稀疏图,反之为稠密图 -
路径、路径长度和回路
路径上边的数目称为路径长度。起点和终点相同的路径称为回路(环)。若一个图有n个顶点,且有大于n-1条边,则此图一定有环。 -
简单路径
路径序列中,顶点不重复出现的路径称为简单路径。简单回路 -
距离
从a到b的最短路径若存在,称为距离。若不存在,称其距离为无穷。 -
有向树
一个顶点的入度为0、其余顶点的入度均为1的有向图,称为有向树。
图的存储及基本操作
邻接矩阵法
G2 [1] [4] = a11a14 + a12a24 + a13a34 + a14a44 = 3
顶点1到顶点4的长度为2的路径一共有3条
- 空间复杂度:O( |V|2 )