算法与数据结构 图论 基本理论知识

图

实际问题举例引入
生活中有地图，交通图，网络图，架构图等，都属于图论的内容。例如乡村分布图如下：

生活中一个实际问题就是如果要从一个村子走到另一个村子，怎么走最短，如何一次把所有村子走且只走一遍。就涉及到最短路径问题和图的遍历问题。 所以生活中图的例子是无处不在的，问题和需求也是无处不在的。

图的基本概念

图是表示任意两个数据点之间某个特定关系的数据结构。在图中任意两个节点之间的关系可以是任意的。可以相连可以不相连，可以是有向的和无向的。

定义 G=(V, E)

图(graph) G=(V, E)由顶点(vertex) 的集V和边(edge) 的集E组成。每一条边就是一个点对(v, w)，其中v, w∈V。有时也把边称作弧(arc)。 如果点对是有序的，那么图就叫作有向的图。有向的图有时也叫作有向图(digraph)。顶点v和w邻接(adjacent) 当且仅当(v, w)∈E。在一个具。有边(v, w)从而具有边(w, v)的无向图中，w和v邻接且也和w邻接。有时候边还具有第三种成分，称作权(weight) 或值(cost)。

在图中，至少得有一个顶点，但边集可以为空。

图的相关术语

无向图： 图中各顶点之间的边没有方向，即顶点i和j之间是互通的。<v,w>表示v和w可以互相到达。
有向图：有向图中顶点之间的边是由方向的，<v,w>表示可以从v到w，但不一定可以从w到v
简单图：图中不存在重复的边或者形成回路的边。
邻接点：如果(v,w)是无向图中任意一条边,那么称v和w互为邻接点;如果（v,w）是有向图中任意一条边,那么称起点v邻接到终点w,也称终点w邻接自起点v。
路径、简单路径、回路、无环路： 一个两两有边相连的顶点序列。
无向完全图：在一个无向图中，如果任意两个顶点都有一条边相连接，则称该图为无向完全图。
有向完全图：在一个有向图中，如果任意两顶点之间都由方向互为相反的两条弧相连接，则该图为有向完全图。
顶点的度：出度和入度。出度是指以顶点v为起点的边的条数。入度是以顶点v为终点的边的条数。
稠密图： 若一个图的边数接近完全图的边数，称这样的图为稠密图。
稀疏图： 边数极少的图。
权： 边附带的信息称为权。在地图中的边通常附带有距离信息。
网图： 边上 带权的图。 无向网图 有向网图。
子图： 对于图G=(V,E)和G’=(V’,E’),若满足V’是V的子集,并且E’是E的子集,则称图G’是G的一个子图。
连通图、连通分量:在无向图中,如果从一个顶点vi,到另一个顶点vj,(i≠j)有路径,则称顶点vi和vj,是连通的。如果图中任意两顶点都是连通的,则称该图是连通图。无向图的极大连通子图称为连通分量。连通分量的概念包
含以下4个要点:
●子图:连通分量应该是原图的子图;
●连通:连通分量本身应该是连通的;
●极大顶点数:连通子图含有极大顶点数,即再加入其他顶点将会导致子图不连通;
●极大边数:具有极大顶点数的连通子图包含依附于这些顶点的所有边。

如图所示，图中无向图G3是一个非连通图，因为A和E没有连通。G3有两个连通分量，就是图(b)和图©，首先它们是G3的子图，并且连通。再加入图G3的任意一个顶点就不连通了，所以满足极大顶点数，同时也满足极大边数。 而(d)就不是连通分量，因为不满足极大顶点数。
强连通图 、 强连通分量:对于有向图来说,若图中任意一对顶点vi和vj,(i≠j)均既有从vi到vj的路径,也有从vj到vi的路径，则称该有向图是强连通图。有向图的极大强连通子图称为强连通分量。
强连通只对于有向图而言，无向连通图一定是强连通图。并且有向强连通图中每个顶点必须得有入度和出度。

G4是有向非强连通图，因为D顶点只有入度没有出度。 有两个强连通分量，如图(b)©。而(d)不是图G4的子图，同时也不是强连通的。
生成树: 所谓连通图G的生成树,是G的包含其全部n个顶点的一个极小连通子图。它必定包含且仅包含G的n-1条边。图6.8中连通图G,有4个顶点,任何包含这全部4个顶点的有3条边的连通子图都是G的生成树。显然,生成树有可能不唯一。
生成树满足下面4个条件之一：

1. G有n-1条边，且没有环。 如果有环 则必定不是连通图。
2. G有n-1条边，且是连通的，即没有环。
3. G中的每一对顶点有且仅有一条路径相连。 两个顶点之间的路径唯一。
4. G是连通的，删除任意一边之后不连通。
   
   如图中(b)©(d)都是图(a)的生成树。
   生成森林:在非连通图中,由于每个连通分量都是一个极小连通子图,即一棵生成树可以对应-一个连通分量。对应各个连通分量的各棵生成树就组成了一个图的生成森林。对无向图而言,一个图的生成森林中树的数量就等于它的连通分量数。 对有向图来说，一个强连通图可以得到对应的生成树，且可能不唯一。但是，非强连通图可能只需用一颗生成树与之对应。