基本概念:
- n个顶点的完全无向图有n(n-1)/2条边, n个顶点的完全有向图有n(n-1)条弧。
- 简单图不存在重复边和顶点到自身的边,存在则为多重图。
- 在无向图中,如果顶点v到顶点w有路径存在,则称v和w是连通的。在有向图中,如果顶点v到顶点w和顶点w到顶点v都有路径,则称v和w是强连通的。
- 任意两个顶点都连通的无向图为连通图,任意两个顶点都强连通的有向图为强连通图。
- 连通分量是无向图中的极大连通子图,强连通分量是有向图中的极大强连通子图。
- 生成子图是包含全部顶点的子图,连通图的生成树是包含全部顶点的极小连通子图,非连通无向图的连通分量的生成树构成了非连通无向图的生成森林。
- 边上带权的图称为带权图,也称网。
- 路径是顶点序列,路径长度是路径上边的数目。第一个顶点和最后一个顶点相同的路径称为回路或环。
- 顶点不重复出现的路径为简单路径,除第一个和最后一个,顶点不重复出现的回路称为简单回路。
- 从顶点u到顶点v的最短路径的长度为顶点u到v的距离。若不存在路径,则记该距离为无穷。
- 只有一个顶点的入度为0,其余顶点的入度均为1的有向图,称为有向树。
- 一个有向图的生成森林由若干有向树组成,含有图中的全部顶点,但只有足以构成若干棵不相交的有向树的弧。
常见问题:
- 根据图的定义,图至少包含一个顶点。图也可以是线性表、树、森林,但此时不能说它的逻辑结构是图状结构了。
- 对于有n个顶点的强连通有向图,至少有n条弧。 (构成一个回路)
- 若具有n个顶点的图是一个环,则它有n棵生成树。 (n个根节点都不同的生成树)注意:按2017年408真题来讲,最小生成树MST只看顶点和边就行了,顶点集和边集都一样就是同一个MST。
- 具有n个结点,e条边的无向图是一个森林,则森林中有n-e棵树。(一个n个结点的树有n-1条边,设森林中有x棵树,把这个森林的每棵树的根都连到一个虚构的根结点后构成一棵树,这个树的结点数为n+1,边数为e+x,故有x=n-e)