Skip to content

拓扑排序:如何确定编译依赖顺序

场景引入

编译 C++ 项目时,源文件之间有 include 依赖。编译器需要确定一个编译顺序,使得每个文件在被依赖的文件之后编译。如果依赖关系形成了环,则无法编译。

这就是拓扑排序要解决的问题。

拓扑排序示例

以课程依赖为例:修课程 1 前必须先修课程 0,修课程 3 前必须先修课程 1 和 2。

Kahn 算法(BFS)执行过程:

LC 207. 课程表(环检测)

你需要修 n 门课,部分课程有先修要求。判断是否能完成所有课程。

BFS 解法(Kahn 算法)

javascript
function canFinish(numCourses, prerequisites) {
  const graph = Array.from({ length: numCourses }, () => []);
  const inDegree = new Array(numCourses).fill(0);

  for (const [course, pre] of prerequisites) {
    graph[pre].push(course);
    inDegree[course]++;
  }

  // 入度为 0 的节点入队
  const queue = [];
  for (let i = 0; i < numCourses; i++) {
    if (inDegree[i] === 0) queue.push(i);
  }

  let count = 0;
  while (queue.length) {
    const node = queue.shift();
    count++;
    for (const next of graph[node]) {
      inDegree[next]--;
      if (inDegree[next] === 0) queue.push(next);
    }
  }

  return count === numCourses; // 能处理所有节点 = 无环
}

DFS 解法

javascript
function canFinish(numCourses, prerequisites) {
  const graph = Array.from({ length: numCourses }, () => []);
  for (const [course, pre] of prerequisites) {
    graph[pre].push(course);
  }

  // 0=未访问, 1=访问中, 2=已完成
  const state = new Array(numCourses).fill(0);

  function hasCycle(node) {
    if (state[node] === 1) return true;  // 发现环
    if (state[node] === 2) return false; // 已处理
    state[node] = 1;
    for (const next of graph[node]) {
      if (hasCycle(next)) return true;
    }
    state[node] = 2;
    return false;
  }

  for (let i = 0; i < numCourses; i++) {
    if (hasCycle(i)) return false;
  }
  return true;
}

LC 210. 课程表 II(拓扑排序序列)

在 LC 207 的基础上,输出一个合法的课程学习顺序。

javascript
function findOrder(numCourses, prerequisites) {
  const graph = Array.from({ length: numCourses }, () => []);
  const inDegree = new Array(numCourses).fill(0);

  for (const [course, pre] of prerequisites) {
    graph[pre].push(course);
    inDegree[course]++;
  }

  const queue = [];
  for (let i = 0; i < numCourses; i++) {
    if (inDegree[i] === 0) queue.push(i);
  }

  const order = [];
  while (queue.length) {
    const node = queue.shift();
    order.push(node);
    for (const next of graph[node]) {
      inDegree[next]--;
      if (inDegree[next] === 0) queue.push(next);
    }
  }

  return order.length === numCourses ? order : [];
}

BFS vs DFS 对比

BFS(Kahn)DFS
思路不断删除入度为 0 的节点深搜标记状态,检测回边
输出拓扑序入队顺序即拓扑序后序逆序为拓扑序
推荐更直观,面试首选代码更短

复杂度

时间 O(V + E),空间 O(V + E)。

LeetCode 练习

  • LC 207. 课程表 ⭐
  • LC 210. 课程表 II ⭐
  • LC 269. 火星词典

面试算法可视化图解