数据结构笔记 第六章

简单图：在图中，若不存在顶点到其自身的边，且同一条边不重复出现。

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

顶点的度：在无向图中，顶点v的度是指依附于该顶点的边数，通常记为TD (v)。
顶点的入度：在有向图中，顶点v的入度是指以该顶点为弧头的弧的数目，记为ID (v)；
顶点的出度：在有向图中，顶点v的出度是指以该顶点为弧尾的弧的数目，记为OD (v)。

连通图：在无向图中，如果从一个顶点vi到另一个顶点vj(i≠j)有路径，则称顶点vi和vj是连通的。如果图中任意两个顶点都是连通的，则称该图是连通图。
连通分量：非连通图的极大连通子图称为连通分量。

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

ADT Graph
Data
顶点的有穷非空集合和边的集合
Operation
InitGraph
前置条件：图不存在
输入：无
功能：图的初始化
输出：无
后置条件：构造一个空的图

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

DestroyGraph
前置条件：图已存在
输入：无
功能：销毁图
输出：无
后置条件：释放图所占用的存储空间
GetVex
前置条件：图已存在
输入：顶点v
功能：在图中查找顶点v的数据信息
输出：顶点v的数据信息
后置条件：图保持不变
endADT

深度优先遍历
⑴ 访问顶点v；
⑵ 从v的未被访问的邻接点中选取一个顶点w，从w出发进行深度优先遍历；
⑶ 重复上述两步，直至图中所有和v有路径相通的顶点都被访问到。

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