DS_第七章图

1, 0,
如果 < i, j > E 或者 (i, j) E 否则
i，j表示存放在顶点表中第i个和第j个顶点。 无向图的邻接矩阵是对称的，有向图的邻接矩阵可能是不对称的。
13
在无向图的邻接矩阵中, 统计第 i 行 (列) 1 的个数可得顶点i 的度。 在有向图的邻接矩阵中, 统计第 i 行 1 的个数可得顶点 i 的出度，统
计第 j 列 1 的个数可得顶点 j 的入度。
14
网的邻接矩阵
W (i, j),
A.Edge
[i][
j]
=

,
0,
如果 i ! j 且 < i, j E 或 (i, j) E 否则,但是 i != j 对角线 i == j
15
用邻接矩阵表示图时，除了存储用于表示顶点间相邻关
子图 设有两个图 G＝(V, E) 和 G’＝(V’, E’)。若 V’ V 且 E’E, 则 称 图G’ 是图G 的子图。
5
路径 在图 G＝(V, E) 中, 若从顶点 vi 出发, 沿一些边经过一些顶点 vp1, vp2, …, vpm，到达顶点vj。则称顶点序列 ( vi vp1 vp2 ... vpm vj ) 为从 顶点vi 到顶点 vj 的路径。它经过的边(vi, vp1)、(vp1, vp2)、...、(vpm, vj)应 是属于E的边。
5
6
19
7.2.2 邻接表 (Adjacency List)
无向图的邻接表：把同一个顶点发出的边链接在同一个边链表中， 链表的每一个结点代表一条边，叫做边结点，边结点中保存有与该 边相关联的另一顶点的顶点下标 adjvex 和指向同一链表中下一个 边结点的指针 nextarc。
int
vexnum,arcnum; //顶点数和边数
GraphKind
kind;
//图的类型
} ALGraph;
23
void CreateALGraph(ALGraph &G) // 创建无向图的邻接表
{ scanf(&G.vexnum, &G.arcnum, &G.kind);
for(k=1; k<=G.vexnum; k++) // 输入顶点，建立顶点数组
vexnum;
//顶点数
int
arcnum;
//边数
GraphKind
kind;
//图的类型
} Mgraph;
// { DG, DN, AG, AN}意思是 {有向图,有向网,无向图,无向网}
16
2
1
4
3
5
0 1 1 1 1
Edge 11
0 0
0 0
1 0
10
1 1 0 0 0
顶点表：用数组的形式存放所有的顶点及对应的边链表的头指针。 边链表：每条边用一个结点进行表示。同一个结点的所有的边形成
它的边结点单链表。
在邻接表的边链表中，各个边结点的链接顺序任意，视边结点输入
次序而定。
20
VNode
顶点数组
ArcNode
data firstarc
adjvex
边链表 nextarc
A
B
C
D
C
D
8
生成树 一个连通图的生成树是它的极小连通子图，包含连通图的 全部n个顶点，但只有构成一棵树的n-1条边。
无向图G
A
B
E
H
M
C
D
无向图G的生成树
A
B
E
H
M
C
D
9
图的基本操作
• 结构的建立和销毁 CreatGraph(&G, V, VR); // 按定义(V, VR) 构造图 DestroyGraph(&G); // 销毁图
1 0 1 0 0
1 vexs 32
4 5
17
B
A
D
C
E
0 1 1 1 1
Edge 00
0 0
0 0
0 0
10
0 1 0 0 0
0 0 0 0 0
A
v
exs

CB

D
E
struct ArcNode *nextarc;
} ArcNode; // 边结点类型
typedef struct VNode{
VertexType data;
ArcNode
*fistarc;
} Vnode;
// 顶点结点类型
typedef struct{
Vnode
vertices[MAX]; //顶点数组
p=(ArcNode *)malloc(sizeof(ArcNode));
p->adjvex=j; p->nextarc=G.vextices[i].firstarc;
G.vextices[i].firstarc=p;
// 插入到顶点i的边链表
p=(ArcNode *)malloc(sizeof(ArcNode));
第七章 图
7.1 图的定义和术语 7.2 图的存储结构 7.3 图的遍历 7.4 图的连通性问题 7.5 最短路径
1
7.1 图的定义和术语
图定义 图是由顶点集合(vertex)及顶点间的关系集合组成的一种数 据结构：Graph＝( V, E ) 其中 V = { x | x 某个数据对象} 是顶点的有穷非空集合； E = {(x, y) | x, y V } 或 E = {<x, y> | x, y V && Path (x, y)} 是顶点之间关系的有穷 集合，也叫做边(edge)集合。Path (x, y ) 表示从 x 到 y 的一条单向通 路, 它是有方向的。
26
7.3.1 深度优先搜索
1A
深度优先搜索（连通图）：
2B 3E
4G
5C
6F
7D
8H
9I
2
5
1
3
2
4
3
1
2
5
7
1
6
6
9
7.2.1 邻接矩阵 (Adjacency Matrix)
在图的邻接矩阵表示中，有一个记录各个顶点信息的顶点表，还有
一个表示各个顶点之间关系的邻接矩阵。
设图 A = (V, E)是一个有 n 个顶点的图，则图的邻接矩阵是一个二维
数组 A.edge[n][n]，定义：
A.Edge
[i][
j]

图中可能存在回路，且图的任一顶点都可能与其它顶点相通，在访问 完某个顶点之后可能会沿着某些边又回到了曾经访问过的顶点。
为了避免重复访问，可设置一个标志顶点是否被访问过的辅助数组 visited [0..n-1 ]，它的初始状态为 FALSE，在图的遍历过程中，一旦 某一个顶点 i 被访问，就立即让 visited [i] 为 TRUE，防止它被多次访 问。
有向图与无向图 在有向图中，顶点对<x, y>是有序的。在无
向图中，顶点对(x, y)是无序的。
2
有向图 G1
A
B
无向图 G2
A
B
E
C
D
C
D
• 顶点：
A
B • 顶点：
A
B
• 有向边（弧）、弧尾或初 始结点、弧头或终止结点
• 无向边或边
A
B
A
B
• 有向图：G1 =（V1，{A1}） V1 = {A,B,C,D} A1 = {<A,B>, <A,C>, <C,D>, <D,A>}
• 对顶点的访问操作 LocateVex(G, u); // 若G中存在顶点u，则返回该顶点在 // 图中“位置”；否则返回其它信息。 GetVex(G, v); // 返回 v 的值。 PutVex(&G, v, value); // 对 v 赋值value。
10
• 对邻接点的操作 FirstAdjVex(G, v); // 返回 v 的“第一个邻接点”。若该 // 顶点在 G 中没有邻接点，则返回“空”。 NextAdjVex(G, v, w); // 返回 v 相对于 w 的“下一 个邻 // 接点”。若 w 是 v 的最后一个邻接点，则返回“空”。
简单路径 若路径上各顶点 v1,v2,...,vm 均不互相重复, 则称这样的路 径为简单路径。
回路 若路径上第一个顶点 v1 与最后一个顶点vm 重合, 则称这样的路 径为回路或环。
6
路径长度
非带权图的路径长度是指此路径上边的条数。 带权图的路径长度是指路径上各边的权之和。 连通图与连通分量 在无向图中, 若从顶点v1到顶点v2有路径, 则称顶 点v1与v2是连通的。如果图中任意一对顶点都是连通的, 则称此图是连 通图。非连通图的极大连通子图叫做连通分量。
系的邻接矩阵外，还需要一个数组存储顶点。表示形式为：
#define MAX 20
typedef enum{ DG, DN, AG, AN} GraphKind;
typedef struct{
VertexType vexs[MAX];
//顶点数组
int
Edge[MAX][MAX]; //邻接矩阵
int
p->adjvex=i; p->nextarc=G.vextices[j].firstarc;
G.vextices[j].firstarc=p;
// 插入到顶点j的边链表
}
}
24
7.3 图的遍历
从图中某一顶点出发，沿着一些边访问图中所有的顶点，且使每个顶 点仅被访问一次，就叫做图的遍历 ( Graph Traversal )。
18
2
20
1
40
5
70
4
30
50
3
80
6
20 30
20


40



Edge

30


40
50
50
70
80
Байду номын сангаас
70
80
1
2
v exs

3 4
• 插入或删除顶点 InsertVex(&G, v); //在图G中增添新顶点v。 DeleteVex(&G, v); // 删除G中顶点v及其相关的弧。
11
• 插入和删除弧 InsertArc(&G, v, w); // 在G中增添弧<v,w> DeleteArc(&G, v, w); //在G中删除弧<v,w>
{ G.vextices[k].firstarc=NULL; scanf(&G.vextices[k].data); }
for(k=1; k<=G.arcnum; k++) // 输入边，建立边链表
{ scanf(&x1, &x2);
i=Locatevex(G,x1); j=Locatevex(G, x2);
权 某些图的边具有与它相关的数, 称之为权。带权图叫做网。
4
邻接顶点 如果 (u, v) 是 E(G) 中的一条边，则称 u 与 v 互为邻接顶 点。
顶点的度 一个顶点v的度是与它相关联的边的条数。记作TD(v)。在
有向图中,顶点v的入度是以v为终点的有向边的条数, 记作 ID(v); 顶 点v的出度是以 v 为始点的有向边的条数, 记作OD(v)。
常用的遍历方法有深度优先搜索（DFS）和广度优先搜索（BFS）。
25
7.3.1 深度优先搜索
V1
例子:
V2
V3
V4 V5 V6 V7
V8
V1 V2 V4 V8 V5 V6 V3 V7
V1
V2
V3
V4 V5 V6 V7
V8
V1 V2 V4 V8 V3 V6 V7 V5
21
有向图可以建立邻接表和逆邻接表： 1）在有向图的邻接表中，第 i 个边链表链接的边都是顶点 i 发出的 边。也叫做出边表。 2）在有向图的逆邻接表中，第 i 个边链表链接的边都是进入顶点 i 的边。也叫做入边表。
22
邻接表的表示形式：
typedef struct ArcNode{
int
adjvex;
•无向图：G2 =（V2，{A2}） V2 = {A,B,C,D,E} A2 = {(A,B), (A,C),(B,D), (B,E),(C,E),(D,E)}
3
完全图 若有 n 个顶点的无向图有 n(n-1)/2 条边, 则此图为完全无向 图。有 n 个顶点的有向图有n(n-1) 条边, 则此图为完全有向图。
• 遍历
DFSTraverse(G, v, Visit()); // 从顶点v起深度优先遍历图G，并对每个顶点调用函数 // Visit一次且仅一次。
BFSTraverse(G, v, Visit()); // 从顶点v起广度优先遍历图G，并对每个顶点调用函数 // Visit一次且仅一次。
12
7.2 图的存储结构
无向图G
A
B
EFG
H
IJ
K M
C
L D
无向图G的三个连通分量
A
B
E
FG
H
IJ
K
L
M
C
D
7
强连通图与强连通分量 在有向图中, 若对于每一对顶点vi和vj, 都存 在一条从vi到vj和从vj到vi的路径, 则称此图是强连通图。非强连通图 的极大强连通子图叫做强连通分量。
有向图G
A
B
有向图G的两个强连通分量