数据结构与算法--图的概念

经过之前的学习，我们知道了线性表是一对一的关系，树是一对多的关系，而且树具有层次结构。图是一种更为复杂的数据结构，就好像人与人之间的关系网一样复杂。图是由若干顶点和边（两个顶点间的连线）组成的一种结构。图的顶点没有层次，可以分散分布。某个顶点与其他顶点都有可能构成边，边表示了顶点之间的逻辑关系。若两个顶点通过一条边相连时，我们说这两个顶点是相邻的，并称这条边依附于这两个顶点。

有些特殊的图：

• 平行边，如下左图，表示两个顶点之间有重复的边。

• 自环，如下右图，表示顶点到其自身的边；

以上两种特殊图暂时不讨论。如果一幅图不是上述情况，那么这幅图就是一幅简单图。我们的实现基于简单图，以后就用“图”来代表这里说的简单图。

路径与环

在图中，路径是由边顺序连接的一系列顶点，比如A -> B -> C -> D就是一条A到D的路径，它从A开始，先是经过顶点B然后是C，最后达到终点D。两个顶点的路径可能有多条，一条路径如果没有重复顶点，就称为简单路径，如果允许出现重复顶点，我们指的都是一般的路径和环。路径中如果第一个顶点和最后一个顶点相同，说明绕了一圈又回到了起点，这被称为环。如果除了第一个和最后一个顶点重复出现之外，其他顶点都没有重复出现，这样的环称为简单环。左图B -> C -> D -> A ->B，只有B顶点重复出现所以是简单环。右图B -> C -> D -> A -> C -> B，除了B，C也重复出现了，所以不是简单环。

无向图和有向图

边分两种，无向边和有向边。全部由无向边（以及它们依附的顶点）组成的图称为无向图。它表明两个顶点之间路径没有先后顺序。比如快递小哥发短信让你领快递了，你可以先去打一个小时篮球，也可以先学习两个小时再去领；也可以先把快递领回来再做那些事。也就是说存在A到B的路径，必然也存在B到A的路径。另外一种是有向图，有向图是全部由有向边（通常是一条由起点指向终点的箭头）组成的图。它表明了两个顶点的路径之间存在先后关系，比如你等快递等了好几天，迫不及待想看看里面的东西。你不能说我要拆快递了，然后东西就飞到你手里了，看里面的东西之前你必须先去领快递啊！这个顺序不能反（笨蛋都知道）。

不管是有向图还是无向图，一般认为：如果其边的总条数在其顶点数的一个小的常数倍内，就认为这幅图是稀疏图，否则是稠密图。

对于无向图，如果任意两个顶点之间都有边依附，则称这样的图为无向完全图，如下。

对于有向图，如果任意两个顶点之间有两条指向相反的边，则称这样的图为有向完全图，如下

无向完全图边的条数为n * (n - 1) / 2，n是图顶点的个数。因为每个顶点都有一条指向其余n - 1条边的边，但是其间有一半是重读计算的，所以可以得到以上公式。所以一幅无向图的边的条数0 <= n <= n * (n - 1) / 2。

有向完全图自然可得边的条数为n * (n - 1)，一幅有向图边的条数范围在0 <= n <= n * (n - 1)之间。

顶点的度及子图

某个顶点的度定义为依附于该顶点的边的数目。对于有向图还要细分为入度和出度，所谓出度就是，以某顶点为起点，引出去的边的条数；入度就是以某顶点为终点，指向该顶点的边的条数。

子图是一幅图的所有边的一个子集（以及它们依附的顶点）组成的图。如下，阴影部分的四个图就是其左侧图的子图。

连通图

如果一幅无向图，任意两个顶点之间都存在路径，那么这幅图称为连通图。一幅非连通的图是由若干连通的部分组成，他们都是极大连通子图。直观来说，如果将图比喻成一串绳结或者念珠，将任意一个顶点提起来，连通图是一个整体，而非连通图会散架成若干部分。如下左图，随便举个例子，A到E就没有路径，所以不是连通图。右图任意顶点到其余顶点都存在路径，本身是连通图，同时也是左图的极大连通子图。

如果一幅有向图，对于任意两个顶点A、B，如果存在A到B的路径，同时也存在B到A的路径，就称这幅图为强连通图（比无向图的要求更严格）。

连通分量与树

定义树是一幅无环的连通图，互不相连的树组成的集合称为森林。连通图的生成树是该连通图的一幅子图，含有该图所有n个顶点，但只拥有n - 1条边。

一幅拥有n个顶点的图G满足以下5个条件之一时，他就是一棵树：

• G有n - 1条边且不含环
• G有n - 1条边且是连通的
• G是连通的，但删除任意一条边都会使它不再连通
• G是无环图，但添加任意一条边都会产生一个环
• G中的任意两个顶点之间仅存在一条简单路径（没有重复顶点）。

by @sunhaiyu

2017.9.16