Tarjan 算法族:SCC、割点、桥的统一框架
从 DFS 的 discovery/low-link 不变量出发,区分有向 SCC 与无向割点、桥的 low 值定义,用可复现实验核对递归、迭代、Kosaraju 与暴力基线,并说明重边、栈深度和生产实现中的常见边界。
Linux 内核、存储与网络、可观测性、系统架构与大模型基础设施的工程笔记:机制拆解、踩坑复盘与可核对证据,少空谈。
共 2 篇文章 · 返回首页
从 DFS 的 discovery/low-link 不变量出发,区分有向 SCC 与无向割点、桥的 low 值定义,用可复现实验核对递归、迭代、Kosaraju 与暴力基线,并说明重边、栈深度和生产实现中的常见边界。
拆解 Elasticsearch 8.x 搜索的两阶段 scatter-gather:协调节点扇出 query phase 收集 doc id 与排序键,再 fetch phase 取 stored fields,reduce 全局 Top-K;并说明 DFS 如何修正跨分片 IDF。