数组实现拓扑排序与变量执行顺序排列

本文深入浅出地介绍了如何仅用两个核心数组（入度数组 `inDegree[]` 和后继列表 `successors[]`）高效实现拓扑排序，摒弃传统图结构依赖，通过轻量级的 Kahn 算法队列驱动，精准确定变量间的执行顺序——从依赖建模、数组初始化、循环调度到环检测一气呵成，不仅代码简洁、缓存友好、零动态内存分配，更天然适配嵌入式配置加载、前端构建链、脚本引擎等对性能与体积敏感的真实场景，让你在几行数组操作中，轻松驾驭复杂依赖关系的有序求值。

用数组实现拓扑排序，核心是模拟有向无环图（DAG）中节点的依赖关系，并通过入度数组 + 队列（或栈）驱动执行顺序。它不依赖图的邻接表/邻接矩阵结构，而是用纯数组记录每个变量的“前驱数量”和“后继列表”，适合轻量级变量调度、构建脚本执行序、配置项加载顺序等场景。

一、用两个数组建模依赖关系

假设你有一组变量 v0, v1, ..., vn-1，其中某些变量的计算依赖于另一些变量（如 v2 = v0 + v1，则 v2 依赖 v0 和 v1）。你需要用以下两个数组描述：

• inDegree[i]：整型数组，记录变量 i 的入度（即有多少其他变量直接依赖它）；初始全为 0
• successors[i]：数组的数组（或指针数组），存储所有以 i 为前驱的变量下标；例如若 v0 → v2、v0 → v3，则 successors[0] = [2, 3]

构建时遍历所有依赖声明（如 “v2 depends on v0, v1”），对每个依赖项 j → i，执行：
 → inDegree[i]++
 → append i to successors[j]

二、数组驱动的 Kahn 算法（队列版）

不用递归、不建图对象，仅靠数组 + 循环即可完成拓扑排序：

• 初始化一个空结果数组 order
• 用一个普通数组（或切片）模拟队列，把所有 inDegree[i] == 0 的变量下标入队
• 当队列非空：
  • 取出队首下标 u
  • 将 u 加入 order
  • 遍历 successors[u] 中每个后继 v：
    • inDegree[v]--
    • 若 inDegree[v] == 0，将 v 入队

结束后若 order.length != 总变量数，说明存在环，无法排序。

三、实战：按依赖顺序执行变量赋值

假设有如下变量定义（伪代码）：

v0 = 10<br>v1 = 20<br>v2 = v0 + v1<br>v3 = v2 * 2<br>v4 = v1 - v0

步骤如下：

• 编号变量：v0→0, v1→1, v2→2, v3→3, v4→4
• 提取依赖：
  • v2 依赖 v0,v1 → inDegree[2]=2；successors[0] 添加 2，successors[1] 添加 2
  • v3 依赖 v2 → inDegree[3]=1；successors[2] 添加 3
  • v4 依赖 v1,v0 → inDegree[4]=2；successors[1] 添加 4，successors[0] 添加 4
• 初始 inDegree = [0,0,2,1,2] → 入队 0 和 1
• 执行过程：
  • 出队 0 → order=[0]；更新 v2,v4：inDegree[2]=1, inDegree[4]=1
  • 出队 1 → order=[0,1]；更新 v2,v4：inDegree[2]=0, inDegree[4]=0 → 入队 2,4
  • 出队 2 → order=[0,1,2]；更新 v3：inDegree[3]=0 → 入队 3
  • 出队 4 → order=[0,1,2,4]；无后继
  • 出队 3 → order=[0,1,2,4,3]

最终执行顺序为 v0 → v1 → v2 → v4 → v3，确保所有右值已就绪。

四、优化与注意事项

• 用静态数组时需预估最大变量数；动态语言可用 slice/list 自动扩容
• 若需稳定序（同入度时按字典序选），可在入队前对候选节点排序，或改用最小堆
• 检测环只需比对输出长度；无需额外 DFS
• 变量名到下标的映射建议用哈希表预处理一次，避免运行时字符串查找
• 支持“无依赖默认值”变量：它们的 inDegree=0，天然排在最前

这种数组化实现简洁、缓存友好、无内存分配压力，特别适合嵌入式配置引擎、前端构建依赖解析或编译器前端的简单符号求值阶段。

好了，本文到此结束，带大家了解了《数组实现拓扑排序与变量执行顺序排列》，希望本文对你有所帮助！关注golang学习网公众号，给大家分享更多文章知识！