最小生成树:割性质、Kruskal/Prim/Borůvka 与线性时间开放问题
从允许并列边的割性质与环性质出发,给出 Kruskal、Prim、Borůvka 的正确性条件与分步图,用可复现程序按比较次数、decrease-key 次数和计时对比三者,并梳理从 1926 年到 Chazelle、Pettie–Ramachandran 的谱系与确定性线性时间开放问题。
Linux 内核、存储与网络、可观测性、系统架构与大模型基础设施的工程笔记:机制拆解、踩坑复盘与可核对证据,少空谈。
共 1 篇文章 · 返回首页
从允许并列边的割性质与环性质出发,给出 Kruskal、Prim、Borůvka 的正确性条件与分步图,用可复现程序按比较次数、decrease-key 次数和计时对比三者,并梳理从 1926 年到 Chazelle、Pettie–Ramachandran 的谱系与确定性线性时间开放问题。