数据结构第7章图

GraphKind
kind;
// 图的种类标志
乐山师范学院计算机科学系
网的邻接矩阵
W(i , j ), 若i j且 i, j E或(i, j ) E A.e dge [i ][ j ] , 若i j且 i, j E或(i, j ) E 0, 若i j
主讲教师：孙锐
2 0
乐山师范学院计算机科学系
邻接表表示法特点： 1）无向图邻接表边结点数是边数的两倍. 2）顶点vi的度：在无向图中等于第i个链表中的结点 数；在有向图邻接表中,第i行的结点数等于顶点i的 出度，在有向图逆邻接表中,第i行的结点数等于顶点 i的入度。 3）在邻接表上容易找到任一顶点的第一个邻接点和 下一个邻接点 4）设存储顶点的一维数组大小为n(图的顶点数n),G 占用存储空间：n+e；G占用存储空间与它的顶点数和 边数有关；适用于边稀疏的图；
对有向图，若任意两个顶点之间都存在一条 有向路径，则称此有向图为强连通图。否则，其 各个强连通子图称作它的强连通分量。
A
A
B
C F
E
B C F
E
主讲教师：孙锐
乐山师范学院计算机科学系
生成树、生成森林 假设一个连通图有 n 个顶点和 e 条边，其中 n-1 条边和 n 个顶点构成一个极小连通子图，称该极小连 通子图为此连通图的生成树。
} ArcCell,AdjMatrix[MAX_VERTEX_NUM][MAX_VERTEX_NUM]; typedef struct { // 图的定义 VertexType AdjMatrix int } MGraph;
主讲教师：孙锐
vexs[MAX_VERTEX_NUM]; // 顶点信息 arcs;
主讲教师：孙锐
乐山师范学院计算机科学系
邻接矩阵表示法定义：(C语言描述) typedef struct ArcCell { // 弧的定义
VRType
InfoType
adj;
*info;
// VRType是顶点关系类型；对无权图，用1
或0表示相邻否；对带权图，则为权值类型。 // 该弧相关信息的指针
W
A B C D E
乐山师范学院计算机科学系
主讲教师：孙锐
由顶点集和边集构成的图称作无向图。
若<v, w>VR 必有<w, v>VR, 则称 (v,w) 为顶点v 和顶点 w 之间存在一条边。
B A
C D
F
主讲教师：孙锐
E
乐山师范学院计算机科学系
名词和术语
网、子图
15
A
21
2
9 11
B E
A B C F
B
3
7
C
F
E
设图G=(V,{VR}) 和图 G=(V,{VR}),且 VV, VRVR,则称 G 为 G 的子图。
主讲教师：孙锐
乐山师范学院计算机科学系
完全图、稀疏图、稠密图 假设图中有 n 个顶点，e 条边，则含有 e=n(n-1)/2 条边的无向图称作完全图；含有 e=n(n-1) 条弧的有向图 称作有向完全图；若边或弧的个数 e<nlogn，则称作稀疏 图，否则称作稠密图。 邻接点、度、入度、出度 假若顶点v 和顶点w 之间 存在一条边，则称顶点v 和 w 互为邻接点，边(v,w) 和 顶点v 和w 相关联。 和顶点v 关联的边的数目 定义为顶点v的度。
例如:
主讲教师：孙锐
B
C
A F E
D
ID(B) = 3 ID(A) = 2
乐山师范学院计算机科学系
顶点的出度: 以顶点v为弧尾的弧的数目
顶点的入度: 以顶点v为弧头的弧的数目
顶点的度(TD)=出度(OD)+入度(ID)
A
例如: OD(B) = 1 ID(B) = 2 TD(B) = 3
B
C
主讲教师：孙锐
15
A
21
2
9 11
B
3
7
D
C
E
0 15 ∞ 9 ∞ ∞ 0 3 ∞ ∞ A.edge = ∞ ∞ 0 ∞ 2 ∞ ∞ 21 0 ∞ 11 7 ∞ ∞ 0
乐山师范学院计算机科学系
主讲教师：孙锐
图的邻接表存储表示
B A
C D
0 1 2 3 4 5
主讲教师：孙锐
乐山师范学院计算机科学系
邻接表表示法定义：(JAVA语言描述) class ArcNode {
int adjvex; // 该弧所指向的顶点的位置 ArcNode nextarc; // 指向下一条弧的指针 InfoType info; // 该弧相关信息的指针 } class VNode { VertexType data; // 顶点信息 ArcNode firstarc; // 指向第一条依附该顶点的弧 } class ALGraph{
// 弧的信息 // 顶点数，弧数
vexnum, arcnum;
GraphKind
kind;
// 图的种类标志
乐山师范学院计算机科学系
邻接矩阵表示法定义：(JAVA语言描述) class ArcCell { // 弧的定义
VRType
InfoType }
adj;
info;
// VRType是顶点关系类型；对无权图，用1
1
2 3 0 2
4
C
D
2 C 3 D
可见，在有向图的 邻接表中不易找到指向 该顶点的弧。
主讲教师：孙锐
1
4 E
乐山师范学院计算机科学系
有向图的逆邻接表
A B E
0 A 1 B 2 C 3 D 4 E
3 3 4 0
C
D
在有向图的邻接表 中，对每个顶点，链接 的是指向该顶点的弧。
// 对v的尚未访问的邻接顶点w // 递归调用DFS
} // DFS
主讲教师：孙锐
乐山师范学院计算机科学系
如果图中仍有顶点未被访问，则以该顶点为起始点，
进行深度优先搜索遍历，否则继续检查下一顶点。
void DFSTraverse(Graph G, Status (*Visit)(int v)) {
主讲教师：孙锐
0 1 0 0 1 0
1 0 0 0 1 1
0 0 0 1 0 1
0 0 1 0 0 1
1 1 0 0 0 0
0 1 1 1 0 0
乐山师范学院计算机科学系
A
A A B
B
C
D
E
B
C E
D
C D E
0 0 0 0 1
1 0 0 0 1
0 1 0 1 0
1 0 0 0 0
0 0 1 0 0
第七章 图
主要内容:
图的基本概念和术语 图的存储结构 图的遍历 图的连通性问题
有向无环图及应用 最短路径求解
主要目标:
熟练掌握图的邻接矩阵和邻接表的存储方式 实现图的一些基本运算，特别是深度遍历和广度遍历 掌握以图为基础的一些常用算法，如最小生成树、拓扑排序、 最短路径等
E
F
乐山师范学院计算机科学系
路径、路径长度、简单路径、简单回路 设图G=(V,{VR})中的一个顶点序列{ u=vi,0,vi,1, …, vi,m=w}中，(vi,j-1,vi,j)VR 1≤j≤m,则称从顶点u 到顶 点w 之间存在一条路径。 路径上边的数目称作路径长度。 简单路径:序列中顶点不重复出现的路径。 简单回路:序列中第一个顶点和最后一个顶点相同的路径。
或0表示相邻否；对带权图，则为权值类型。 // 该弧相关信息的指针
class MGraph{ // 图的定义 VertexType int };
主讲教师：孙锐
vexs[MAX_VERTEX_NUM]; // 顶点信息
// 弧的信息 // 顶点数，弧数
ArcCell[][] arcs; vexnum, arcnum;
A
B
C
主讲教师：孙锐
E
F
如:长度为3的路径{A,B,C,F}
乐山师范学院计算机科学系
连通图、连通分量、强连通图、强连通分量
若图G中任意两个顶点 之间都有路径相通，则称 此图为连通图； 若无向图为非连通图， 则图中各个极大连通子图称 作此图的连通分量。
B A F
C D E
主讲教师：孙锐
乐山师范学院计算机科学系
// 对图 G 作深度优先遍历。
VisitFunc = Visit; for (v=0; v<G.vexnum; ++v) visited[v] = FALSE; // 访问标志数组初始化 for (v=0; v<G.vexnum; ++v) if (!visited[v]) DFS(G, v);
主讲教师：孙锐
乐山师范学院计算机科学系
邻接表表示法定义：(C语言描述) typedef struct ArcNode {
int adjvex; // 该弧所指向的顶点的位置 struct ArcNode *nextarc; // 指向下一条弧的指针 InfoType *info; // 该弧相关信息的指针 } ArcNode; typedef struct VNode { VertexType data; // 顶点信息 ArcNode *firstarc; // 指向第一条依附该顶点的弧 } VNode, AdjList[MAX_VERTEX_NUM]; typedef struct { AdjList vertices; int vexnum, arcnum; int kind; // 图的种类标志 } ALGraph;