一图搞清楚(非)(强)连通图中的极大(小)（强）连通子图

在学习图的过程中，常常搞不清楚下面这些概念：

连通图、非连通图、强连通图、非强连通图、极大连通子图与连通分量、极大强连通子图与强连通分量、极小连通子图与生成树、极小强连通子图（后面得知根本就没有这个概念）......

现在决定用一张图（放大查看）对他们的关系进行说明：

首先我们需要对这些概念进行分类：

• 连通图与非连通图是在无向图中讨论的

• 强连通图与非强连通图是在有向图中讨论的

• 极大连通子图（即连通分量）、极小连通子图（即生成树）分别是在非连通图与连通图中讨论的

• 极大强连通子图（即强连通分量）是在强连通图或者非强连通图中讨论的，而极小强连通子图的概念根本就不存在

其次就具体来看下这些概念，其实真正涉及的核心概念就三个：极大连通子图（连通分量）；极小连通子图（生成树）；极大强连通子图（强连通分量）。

第一个极大连通子图，它就是连通分量。在一个连通图中，极大连通图子图就是该连通图本身，具有唯一性，如图1所示；在一个非连通图中，极大连通子图有多个，如图2所示。

图1

图2

第二个极小连通子图，它就是生成树。在一个连通图中，极小连通子图个数不唯一，但是都满足有n个节点和n-1个节点，如下图3所示；而在非连通图中是不存在极小连通子图的。

图3

第三个极大强连通子图，它就是强连通分量。在一个强连通图中，极大强连通子图是唯一的，如图4所示；而在非强连通子图中它不唯一，如图5所示。

图4

图5