1. 图是由顶点的有穷非空集合和顶点之间的边的集合组成。图没有空图的概念,所以顶点集合非空,但是边的集合可以为空。
2.有向图的极大强连通子图称作有向图的强连通分量(有向图本身并不一定是强连图图)。
3.生成树的定义:一个连通图的生成树是一个连通子图,它包含连通图中全部n个顶点,但只含有足以构成一棵树的n-1条边。如果一个图有n个顶点和小与n-1条边,则是非连通图。如果有n个顶点和大于n-1条边,则必定构成一个环。
4.一个图的连通分量(极大连通子图,极大指当前子图顶点数目最多)可能不止一个。