Tarjan 算法族:SCC、割点、桥的统一框架
从 DFS 的 discovery/low-link 不变量出发,区分有向 SCC 与无向割点、桥的 low 值定义,用可复现实验核对递归、迭代、Kosaraju 与暴力基线,并说明重边、栈深度和生产实现中的常见边界。
Linux 内核、存储与网络、可观测性、系统架构与大模型基础设施的工程笔记:机制拆解、踩坑复盘与可核对证据,少空谈。
共 1 篇文章 · 返回首页
从 DFS 的 discovery/low-link 不变量出发,区分有向 SCC 与无向割点、桥的 low 值定义,用可复现实验核对递归、迭代、Kosaraju 与暴力基线,并说明重边、栈深度和生产实现中的常见边界。