【算法学习】连通分量、割顶与桥、双连通分量、强连通分量

连通分量

连通分量：需要保存边用dfs，不需要保存边用并查集

二分图

二分图：非连通图是二分图当且仅当每个连通分量都是二分图。
一个连通图是二分图，当且仅当它可以二染色。
一个连通图是二分图，当且仅当它不含奇数环，所谓奇数环，即环上的点（或边）个数为奇数。

反证法证明一个二分图当且仅当不含奇数环。

证明：
假设二分图含有奇数环，设顶点编号分别为$x_1,x_2,x_3 \dots, x_{2k-1}$，其中$k∈N^+$，根据假设有$x_1$与$x_{2k-1}$相连。
不失一般性，假设$x_1$属于$X$集合，那么$x_2$属于$Y$集合，以此类推$x_3$属于$X$集合，$x_4$属于$Y$集合。
则有$x_{2p}$属于$X$集合，$x_{2p-1}$属于$Y$集合，其中$p∈N^{+}$。
那么$x_1$与$x_{2k-1}$都属于$X$集合，但是他们之间仍旧有连边，这不符合二分图的定义。故假设不成立。

割顶

割顶：对于无向图