alicelmx 2020-01-05
一个完整的项目往往会包含很多代码源文件。编译器在编译整个项目的时候,需要按照依赖关系,依次编译每个源文件。比如,A.cpp 依赖 B.cpp,那在编译的时候,编译器需要先编译 B.cpp,才能编译 A.cpp。
解决思路与“图”这种数据结构的一个经典算法“拓扑排序算法”有关
凡是需要通过局部顺序来推导全局顺序的,一般都能用拓扑排序来解决。
把源文件与源文件之间的依赖关系,抽象成一个有向图。
每个源文件对应图中的一个顶点,源文件之间的依赖关系就是顶点之间的边。
如果 a 先于 b 执行,也就是说 b 依赖于 a,那么就在顶点 a 和顶点 b 之间,构建一条从 a 指向 b 的边。
而且,这个图不仅要是有向图,还要是一个有向无环图,也就是不能存在像 a->b->c->a 这样的循环依赖关系。
因为图中一旦出现环,拓扑排序就无法工作了。
实际上,拓扑排序本身就是基于有向无环图的一个算法。
public class Graph { private int v; // 顶点的个数 private LinkedList<Integer> adj[]; // 邻接表 public Graph(int v) { this.v = v; adj = new LinkedList[v]; for (int i=0; i<v; ++i) { adj[i] = new LinkedList<>(); } } public void addEdge(int s, int t) { // s先于t,边s->t adj[s].add(t); } }
public void topoSortByKahn() { int[] inDegree = new int[v]; // 统计每个顶点的入度 for (int i = 0; i < v; ++i) { for (int j = 0; j < adj[i].size(); ++j) { int w = adj[i].get(j); // i->w inDegree[w]++; } } LinkedList<Integer> queue = new LinkedList<>(); for (int i = 0; i < v; ++i) { if (inDegree[i] == 0) queue.add(i); } while (!queue.isEmpty()) { int i = queue.remove(); System.out.print("->" + i); for (int j = 0; j < adj[i].size(); ++j) { int k = adj[i].get(j); inDegree[k]--; if (inDegree[k] == 0) queue.add(k); } } }
public void topoSortByDFS() { // 先构建逆邻接表,边s->t表示,s依赖于t,t先于s LinkedList<Integer> inverseAdj[] = new LinkedList[v]; for (int i = 0; i < v; ++i) { // 申请空间 inverseAdj[i] = new LinkedList<>(); } for (int i = 0; i < v; ++i) { // 通过邻接表生成逆邻接表 for (int j = 0; j < adj[i].size(); ++j) { int w = adj[i].get(j); // i->w inverseAdj[w].add(i); // w->i } } boolean[] visited = new boolean[v]; for (int i = 0; i < v; ++i) { // 深度优先遍历图 if (visited[i] == false) { visited[i] = true; dfs(i, inverseAdj, visited); } } } private void dfs( int vertex, LinkedList<Integer> inverseAdj[], boolean[] visited) { for (int i = 0; i < inverseAdj[vertex].size(); ++i) { int w = inverseAdj[vertex].get(i); if (visited[w] == true) continue; visited[w] = true; dfs(w, inverseAdj, visited); } // 先把vertex这个顶点可达的所有顶点都打印出来之后,再打印它自己 System.out.print("->" + vertex); }
O(V+E)
一个用法:检测环,即循环依赖
对于kahn算法,如果输出的顶点少于图中顶点个数,则说明存在环。