图论基础知识

连通图：任意两点之间都有路径连接的图

若无向图不是连通图，但图中存储某个子图符合连通图的性质，则称该子图为连通分量。

若有向图本身不是强连通图，但其包含的最大连通子图具有强连通图的性质，则称该子图为强连通分量。

ps：如果无向图是连通图，则其无法分解出多个最大连通子图，因为图中所有的顶点之间都是连通的

树：无环的连通图，一棵树的边数恰好是顶点数-1

森林：无环的非连通图（是树的集合）

强连通：对于一个有向图顶点的子集S，如果在S内任取两个顶点u和v，都能找到一条从u到v的路径，称s是强连通的

如果在强连通的顶点集合s中加入其他任意顶点集合后，它都不再是强连通的，称S是原图的一个强连通分量

完全图：

   图论的数学领域，完全图是一个简单的无向图，其中每对不同的顶点之间都恰连有一条边相连。完整的有向图又是一个有向图，其中每对不同的顶点通过一对唯一的边缘（每个方向一个）连接。n个端点的完全图有n个端点以及n(n − 1) / 2条边，以Kn表示。它是(k − 1)-正则图。所有完全图都是它本身的团（clique）。

图G的顶点数n和边数e的关系

（1）若G是无向图，则0≤e≤n(n-1)/2

恰有n(n-1)/2条边的无向图称无向完全图(Undirected Complete Graph)

（2）若G是有向图，则0≤e≤n(n-1)。

恰有n(n-1)条边的有向图称为有向完全图(Directed Complete Graph)。

哈密顿图（哈密尔顿图）

是一个无向图，由指定的起点前往指定的终点，途中经过所有其他节点且只经过一次。在图论中是指含有哈密顿回路的图，闭合的哈密顿路径称作哈密顿回路（Hamiltonian cycle），含有图中所有顶点的路径称作哈密顿路径（Hamiltonian path）。