【数据结构与算法】图论算法

6.1 基本概念

有向图： 若E是有向边（弧）的有限集合时，图为有向图。弧是顶点的有序对，记为<v,w>,v为弧尾，w为弧头。
无向图： 若E是无向边（边）的有限集合时，图为无向图。记为（v,w）。
简单图： 满足（1）不存在重复边（2）不存在顶点到自身的边，则称简单图。
多重图： 若图中某两个结点之间的边数多出一条，又允许顶点通过通过同一条边和自己关联，则称多重图。
完全图：
对于无向图，|E|的取值范围是0到n(n-1)/2,有n(n-1)/2条边的无向图称为完全图。
对于有向图，|E|的取值范围是+到n(n-1),有n(n-1)条弧的有向图称为完全图，如G3。
**子图：**图的某部分

连通： 在无向图中，若从顶点v到顶点w有路径存在，则称v和w是连通的。
连通图： 若无向图任意两个顶点都是连通的，则称图为连通图。
连通分量： 无向图中的极大连通子图称为连通分量。
强连通： 在有向图中两个顶点之间有互相的两条路径，则称为强连通。
强连通图： 图中任意两个顶点都是强连通的，则称强连通图。
强连通分量： 有向图中极大强连通子图称为强连通分量。

顶点的度： 以该顶点为一个端点的边的数目。例如上图无向图G2中1结点的度为3.
入度： 在有向图中，以顶点为终点的有向边的数目。例如上图有向图G1中1结点的入度为1.
出度： 在有向图中，以顶点为起点的有向边的数目。例如上图有向图G1中2结点的出度为2.
边的权： 在一个图中，每条边都可以标上具有某种含义的数值，则称数值为该边的权值。
网： 这种带有权值的图称为带权图，也称网。
路径： 两顶点的通过的顶点的序列称为路径。
路径长度： 路径上边的数目称为路径长度。
回路： 第一个顶点和最后一个顶点相同的路径称为回路。
简单路径： 顶点不重复出现的路径称为简单路径。
简单回路： 除第一个顶点和最后一个顶点，其余顶点不重复出现的路径称为简单回路。
距离： 两个顶点最短路径称为距离。
有向树： 一个顶点的入度为0，其余顶点的入度均为1的有向图，称为有向树。

6.2 图的存储及基本操作

6.2.1 邻接矩阵法

指用一个一维数组存储图中顶点的信息，用一个二维数组存储图中边的信息。

6.2.2 邻接表法

对图中每个顶点建立一个单链表

6.2.3 十字链表

有向图的一种链式存储结构，有顶点结点和弧结点，弧节点一个指针指向弧头相同的下一条弧，另一个指针指向弧尾相同的下一个弧。

6.2.4 邻接多重表

无向图的一种链式存储结构。

6.3 图的遍历

6.3.1 广度优先遍历 Breadth-First-Search BFS

广度遍历可视化
像二叉树中的层次遍历

广度优先遍历： 0 1 2 3 4 5 6 7

bool visited[MAX_VERTEX_NUM];
void BFSTraverse(Graph G)
{
   
    for(i=0;i<G.vernum;i++)
        visited[i]=FALSE;
    InitQueue(Q);
    for(i=0;i<G.vernum;++i)
        if(!visited[i])
            BFS