【算法】图论(一) —— 基本图算法(BFS/DFS/强连通分量)

基本图算法

一、图的表示

对于图G=(V,E)，可以用两种表示方法表示，一种将图表示为邻接链表，另一种将图表示为邻接矩阵。这两种方法都既可以表示无向图，又可以表示有向图。
1. 邻接链表
邻接链表适用于稀疏图（边的条数$|E|$远小于$|V|^2$的图）。邻接链表由一个包含|V|条链表的数组Adj构成，每个节点有一条链表。若G是无向图，则Adj[u]包含所有与u邻接的节点，所有邻接链表之和为2|E|；若G是有向图，则Adj[u]包含节点u所指向的所有节点，所有邻接链表之和为|E|。无论是有向图还是无向图，邻接链表表示法的存储空间需求为$\Theta(V+E)$。邻接链表的一个潜在缺陷是无法快速判断一条边(u,v)是否在图中，唯一的方法是在邻接链表Adj[u]里搜索节点v。我们可以通过用散列表来替代链表加快边的搜索，但是缺陷是散列表的大小及散列函数难以确定，而且这种方法只在每条边的查询频率相同时效率最大。邻接矩阵也克服了这个缺陷，但需要更大的存储空间消耗。
2. 邻接矩阵
邻接矩阵对图G中的节点任意编号1,2,…,|V|，在编号后，用一个$|V|\times|V|$的矩阵 A=(ai