算法与数据结构之图

重要概念

1. 在数据结构中，线性结构，树形结构和图形结构数据元素之间分别存着一对一，一对多，多对多的联系。

2. n个顶点的连通图至少有n-1条边。

3. 有向图G的强连通图分量是指有向图的极大强连通子图。

4. 在n个顶点的有向图中，若要使得任意两个顶点可达，则至少需要n条弧(构成一个有向环)。

5. 在n个顶点的无向连通图的连通分量个数为1个（连通分量即为极大连通子图）。

6. 在n个顶点的非空无向图中，最多有n个连通分量。

7. n个顶点的连通无向图，其边的条数至少为(n-1)条。

8. 如果具有n个顶点的图是一个环，则它有n棵生成树(自由树，无根树)。

9. N个顶点的连通图的生成树含有N-1条边。

10. 若无向图满足n个顶点n-1条边的无向连通图，则该图是树。

11. 有n个顶点的有向图，至少需要n条弧才能保证是连通的。

12. n个顶点的无向图的邻接矩阵至少有0个非零元素；n个顶点的有向图是强连通图至少有n条边。

13. N个顶点的连通图用邻接矩阵表示时，该矩阵至少有2(N-1)个非零元素。

14. 已知一个图的邻接矩阵表示，删除所有从第i个结点出发的边的方法是将第i个非零元素变为零。

15. 一个有n个顶点，e条边的连通图的生成树有n-1条边，因为n个顶点的无向连通图的生成树有n-1条边，至于无向连通图原有的边数e具体多大，只要e≥n-1即可。

16. 在一个无向图的邻接表中，若表结点的个数为m，则图中边的条数是m/2。

17. n个顶点e条边的图采用邻接表存储，则空间复杂度是O(n+e)。

18. 遍历图的实质是查找顶点的邻接点的过程，breath-first search遍历图的时间复杂度为O(n+e)；depth-first search遍历图的时间复杂度O(n+e)，两者不同之处在于访问顶点的顺序不同，反映在数据结构上的差别是队列和栈。

19.  为了实现图的广度优先搜索，除了一个标志数组标志已访问的图的结点外，还需一个队列以存放被访问的结点以实现遍历。

20. 构造连通网最小生成树的两个经典算法是普里姆(Prim)算法和克鲁斯卡尔(Kruskal)算法。

21. 求图的最小化生成树的算法有两种，克鲁斯卡尔(Kruskal)算法适合于求稀疏图的最小生成树。

22. Prim(普里姆)算法适用于边稠密的网的最小生成树；Kruskal(克鲁斯卡尔)算法适用于求边稀疏的网的最小生成树。

23. 克鲁斯卡尔算法的时间复杂度为O(eloge)，它对稀疏图较为适合。

24. 在有向图的邻接矩阵中，若主对角线以下的元素均为零，则该图的拓扑有序序列是存在，可能不唯一的。

25. 求最短路径的Dijkstra算法的时间复杂度为O(n^2)。

26. 在拓扑分类中，拓扑序列的最后一个顶点必定是出度为0的顶点。

27. 设有向图有n个顶点和e条边，进行拓扑排列时，总的计算时间为O(n+e)。

28. AOV网中，存在环意味着某项活动以自己为先决条件，这是不合常理的；对程序的数据流图来说，它表明存在死循环。

29. 在AOE(Activity On Edge)网中，从源点到汇点路径上各个活动的时间总和最长路径称为关键路径。

30. 无向完全图中任意两个顶点之间都存在边，有向完全图任意两个顶点之间都存在方向相反的弧，即n个顶点的无向完全图存在n(n-1)/2条边，n个顶点的有向完全图存在n(n-1)条边。

31. 在AOV网中，结点表示为活动，边表示为活动间的优先级关系。AOE网中，结点表示活动，边表示边上的权代表活动持续时间。