图处理与编译

借助计算依赖图与使用者计数，清理既不影响输出也无副作用的节点。

Linux BPF 验证器的 check_cfg 使用显式指令栈执行非递归 DFS，检查跳转目标、可达性及控制流结构。

LLVM 的 legacy 调用图 pass 管理器使用 Tarjan SCC 迭代器，将相互递归的函数作为一组，并按被调用方优先的顺序处理分组。

Git 的拓扑历史遍历记录尚未输出的子提交数量；只有相关子提交都已处理，父提交才进入可输出集合。

PostgreSQL 按参与连接的关系数量逐层生成候选，把同一关系集合的路径归入同一 RelOptInfo，复用已经分析的子问题。