Dijkstra 与 A*：非负权、启发式与工程优先队列
从 Dijkstra 的 label-setting 不变式出发，解释负权反例、A* 的可采纳与一致启发式、reduced cost 等价关系，并用可复现 C 程序按扩展节点、出堆、松弛与 decrease-key 次数比较实现取舍。
shortest-path 标签归档
共 3 篇文章 · 返回首页
Bellman-Ford 与路由协议：负环、SPFA 与距离向量收敛
从 Bellman-Ford 的松弛不变式和负环提取出发，用可复现 C 程序与距离向量模拟器解释 RIP 的 count-to-infinity、split horizon 的边界，以及 Babel、EIGRP、BGP、OSPF 对环路问题的不同取舍。
【图数据库内核】遍历与 Expand：从索引起点走到邻居的执行骨架
拆解 Cypher 遍历算子 Expand(All/Into)、OptionalExpand、VarLengthExpand（All/Into/Pruning）与最短路径双向 BFS；钉住路径爆炸、DISTINCT 剪枝、量化路径谓词，以及 expand 如何吃第 03–05 篇的 store 与 page cache。