图的基本概念

有向图

1.强连通图：在有向图中，若对于每一对顶点Vi和Vj，都存在一条从Vi到Vj和从Vj到Vi的路径，则称此图为强连通图。

注：强连通图是自身的强连通分量：如果一个有向图本身就是强连通的，那么它只有一个强连通分量，就是它自己

2.强连通分量（极大连通子图） 定义：连通分量是无向图中的一个极大连通子图，即该子图本身是连通的，且无法再通过添加图中其他节点使其保持连通。
注意：（强连通分量）极大强连通子图是在有向图中进行讨论的，不存在极小强连通子图。
注意：我们讨论强连通分量无非就是两种情况下，一是原图本身就是一个强连通图，那么该图的强连通分量就是它本身。二是原图是一个非强连通图，对于非强连通的有向图，其可以划分成若干个强连通分量。这些强连通分量是相互独立的，不同强连通分量之间的顶点不存在双向路径

如图：不存在3通向2的路径，因此G1是非强连通图

注意：强连通图并不要求两个顶点存在直接的双向路径，如图两个都是强连通图
A → C（直接可达）
A → B（A→C→B）
B → A（直接可达）
B → C（B→A→C）
C → A（C→B→A）
C → B（直接可达）
所有结点之间都能互相到达，因此右图也是强连通图。强连通图关注的是 “双向可达性”，而非 “直接相连”，间接路径完全符合其定义要求

如下面这道求强连通分量的题目：
有一个子图不被其它的强连通子图包含，这个就是极大
①首先可以考虑孤立的节点，即要么只有指向它的，要么只有它指向的，发现只有B是这样的，验证：可以试着在B的基础上加一个节点E，发现不符合存在从E到B的路径，那么单独一个B就是极大强连通子图
②剩下的就找找其它的，比如AC顶点包括它们之间的路径，考虑它算不算强连通分量，试着加上顶点D，发现可以从D到A，也可以从A到D，可以从D到C，可以从C到D，那么依次类推，那么说明顶点ADC的子图是包含AC顶点的子图的，ACDE同理，答案选B