@ 第 六 章

第六章 图

本章的主要内容是:

图的逻辑结构图的存储结构及实现图的连通性最小生成树最短路径

AOV网与拓扑排序 AOE网与关键路径

图的定义

图是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为：

G=(V，E) (Graph
Vertex Edge)

其中：G表示一个图，V是图G中顶点的集合，E是图G中顶点之间边的集合。

在线性表中，元素个数可以为零，称为空表；在树中，结点个数可以为零，称为空树；在图中，顶点个数不能为零，但可以没有边。、

邻接、依附

无向图中，对于任意两个顶点vi和顶点vj，若存在边

(vi，vj)，则称顶点vi和顶点vj互为邻接点，同时称边

(vi，vj)依附于顶点vi和顶点vj。

V1的邻接点：
V2 、V4

V2的邻接点：
V1 、V3 、V5

邻接、依附

有向图中，对于任意两个顶点vi和顶点vj，若存在弧 <vi，vj>，则称顶点vi邻接到顶点vj，顶点vj邻接自顶点vi，同时称弧<vi，vj>依附于顶点vi和顶点vj 。

树结构 图结构在线性结构中，数据元素之间仅具有线性关系；在树结构中，结点之间具有层次关系；在图结构中，任意两个顶点之间都可能有关系。

树结构 图结构在线性结构中，元素之间的关系为前驱和后继；在树结构中，结点之间的关系为双亲和孩子；在图结构中，顶点之间的关系为邻接。

图的基本术语

无向完全图：在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。

有向完全图：在有向图中，如果任意两个顶点之间都存在方向相反的两条弧，则称该图为有向完全图。

图的基本术语

稀疏图：称边数很少的图为稀疏图；稠密图：称边数很多的图为稠密图。

顶点的度：在无向图中，顶点v的度是指依附于该顶点的边数，通常记为TD (v)。

顶点的入度：在有向图中，顶点v的入度是指以该顶点为弧头的弧的数目，记为ID (v)；

顶点的出度：在有向图中，顶点v的出度是指以该顶点为弧尾的弧的数目，记为OD (v)。

图的基本术语

权：是指对边赋予的有意义的数值量。

网：边上带权的图，也称网图。

路径：在无向图G=(V, E)中，从顶点vp到顶点vq之间的路径是一个顶点序列(vp=vi0,vi1,vi2, …, vim=vq)，其中， (vij-1,vij)∈E（1≤j≤m）。若G是有向图，则路径也是有方向的，顶点序列满足<vij-1,vij>∈E。

回路（环）：第一个顶点和最后一个顶点相同的路径。

简单路径：序列中顶点不重复出现的路径。

简单回路（简单环）：除了第一个顶点和最后一个顶点外，其余顶点不重复出现的回路。

连通图：在无向图中，如果从一个顶点vi到另一个顶点vj(i≠j)有路径，则称顶点vi和vj是连通的。如果图中

任意两个顶点都是连通的，则称该图是连通图。

连通分量：非连通图的极大连通子图称为连通分量。

强连通图：在有向图中，对图中任意一对顶点vi和vj (i≠j)，若从顶点vi到顶点vj和从顶点vj到顶点vi均有路径，则称该有向图是强连通图。

强连通分量：非强连通图的极大强连通子图。

生成森林：在非连通图中，由每个连通分量都可以得到一棵生成树，这些连通分量的生成树就组成了一个非连通图的生成森林。

顶点的有穷非空集合和边的集合

Operation

InitGraph

前置条件：图不存在输入：无功能：图的初始化输出：无后置条件：构造一个空的图 DFSTraverse

前置条件：图已存在输入：遍历的起始顶点v 功能：从顶点v出发深度优先遍历图输出：图中顶点的一个线性排列后置条件：图保持不变

BFSTraverse

前置条件：图已存在输入：遍历的起始顶点v 功能：从顶点v出发广度优先遍历图输出：图中顶点的一个线性排列后置条件：图保持不变 DestroyGraph

前置条件：图已存在输入：无功能：销毁图输出：无

后置条件：释放图所占用的存储空间

GetVex

前置条件：图已存在输入：顶点v 功能：在图中查找顶点v的数据信息输出：顶点v的数据信息后置条件：图保持不变
endADT

图的遍历操作

图的遍历是在从图中某一顶点出发，对图中所有顶点访问一次且仅访问一次。

抽象操作，可以是对结点进行的各种处理，这里简化为输出结点的数据。图的遍历操作要解决的关键问题

①在图中，如何选取遍历的起始顶点？

解决方案：从编号小的顶点开始 。

„在线性表中，数据元素在表中的编号就是元素在序列中的位置，因而其编号是唯一的；

„在树中，将结点按层序编号，由于树具有层次性，因而其层序编号也是唯一的；

„在图中，任何两个顶点之间都可能存在边，顶点是没有确定的先后次序的，所以，顶点的编号不唯一。

为了定义操作的方便，将图中的顶点按任意顺序排列起来，比如，按顶点的存储顺序。图的遍历操作要解决的关键问题

②从某个起点始可能到达不了所有其它顶点，怎么办？

解决方案：多次调用从某顶点出发遍历图的算法。

™下面仅讨论从某顶点出发遍历图的算法。图的遍历操作要解决的关键问题

③
因图中可能存在回路，某些顶点可能会被重复访问，那么如何避免遍历不会因回路而陷入死循环。解决方案：附设访问标志数组visited[n] 。

④
在图中，一个顶点可以和其它多个顶点相连，当这样的顶点访问过后，如何选取下一个要访问的顶点？

解决方案：深度优先遍历和广度优先遍历。

1. 深度优先遍历 (depth-first traverse) 基本思想：

⑴访问顶点v；

⑵ 从v的未被访问的邻接点中选取一个顶点w，从w出发进行深度优先遍历；

⑶重复上述两步，直至图中所有和v有路径相通的顶点都被访问到。

广度优先遍历 (breadth-first traverse) 基本思想：

⑴访问顶点v；

⑵依次访问v的各个未被访问的邻接点v1, v2, …, vk；

⑶ 分别从v1，v2，…，vk出发依次访问它们未被访问的邻接点，并使“先被访问顶点的邻接点”先于“后被访问顶点的邻接点”被访问。直至图中所有与顶点v
有路径相通的顶点都被访问到。

2. 广度优先遍历 (breadth-first traverse)

                 例         例
   

广度优先遍历：V1⇒ V2 ⇒V3 ⇒ V4
⇒V5 ⇒V6 ⇒V7
⇒V8 广度优先遍历：V1⇒ V2 ⇒V3 ⇒ V4 ⇒V5 ⇒V6 ⇒V7 ⇒V8

2. 广度优先遍历 (breadth-first traverse)

是否可以采用顺序存储结构存储图?

图的特点：顶点之间的关系是m:n，即任何两个顶点之间都可能存在关系（边），无法通过存储位置表示这种任意的逻辑关系，所以，图无法采用顺序存储结构。

邻接矩阵中图的基本操作——构造函数

1. 确定图的顶点个数和边的个数；

2. 输入顶点信息存储在一维数组vertex中；

3. 初始化邻接矩阵；

4. 依次输入每条边存储在邻接矩阵arc中；

4.1 输入边依附的两个顶点的序号i, j；

4.2 将邻接矩阵的第i行第j列的元素值置为1；

4.3 将邻接矩阵的第j行第i列的元素值置为1；

邻接矩阵中图的基本操作——构造函数
template

MGraph::MGraph(T a[ ], int n, int e)

{

vertexNum=n; arcNum=e; for (i=0;
i<vertexNum; i++) vertex[i]=a[i];

for (i=0; i<vertexNum; i++) //初始化邻接矩阵

for (j=0; j<vertexNum; j++)
arc[i][j]=0;

for (k=0; k<arcNum; k++) //依次输入每一条边

{

cin>>i>>j; //边依附的两个顶点的序号

arc[i][j]=1; arc[j][i]=1;
//置有边标志 }

}

邻接矩阵中图的基本操作——深度优先遍历

template

void
MGraph::DFSTraverse(int v)

{ cout<<vertex[v]; visited
[v]=1; for (j=0; j<vertexNum; j++) if (arc[v][j]==1
&& visited[j]==0)

DFSTraverse( j );

}

邻接矩阵中图的基本操作——广度优先遍历 template

void MGraph::BFSTraverse(int v)

{

front=rear=-1; //假设采用顺序队列且不会发生溢出

cout<<vertex[v];
visited[v]=1; Q[++rear]=v; while (front!=rear)

{ v=Q[++front]; for (j=0;
j<vertexNum; j++)

if (arc[v][j]==1
&& visited[j]==0 ) {
cout<<vertex[j]; visited[j]=1; Q[++rear]=j; }

}

}

邻接表(Adjacency List )

图的邻接矩阵存储结构的空间复杂度？如果为稀疏图则会出现什么现象？

假设图G有n个顶点e条边，则存储该图需要O(n2) 。

邻接表存储的基本思想：对于图的每个顶点vi，将所有邻接于vi的顶点链成一个单链表，称为顶点vi的边表（对于有向图则称为出边表），所有边表的头指针和存储顶点信息的一维数组构成了顶点表。邻接表有两种结点结构：顶点表结点和边表结点。

vertex

firstedge

adjvex

next

顶点表 边 表 vertex：数据域，存放顶点信息。

firstedge：指针域，指向边表中第一个结点。

adjvex：邻接点域，边的终点在顶点表中的下标。

next：指针域，指向边表中的下一个结点。定义邻接表的结点 struct ArcNode

{ int adjvex;

                                ArcNode *next;                    adjvex        next

};

template

struct
VertexNode

{

T
vertex;

                                ArcNode *firstedge;                        vertex                   firstedge

};