跟prim结构上很像,也是有个全局更新,甚至完全是同构的。
到最后可以发现,一定都是n个点访问完了。
划分成两个集合,这是一种很通用但不容易注意到的手法,究其原因,在于更容易证明算法的上下界和可停机。这个更新带有动态规划的味道,但更多的是枚举刷新的感觉,有一个默认的起点,所以称为单源。
而且也有一个默认的假设,距离的更新是由新加入的点导致的。所以
vis[k] = true;//以k为跳板
for (int i = 0; i < n; i++) {
if (!vis[i] && lowcost[k] + map[k][i] < lowcost[i]) {
lowcost[i] = lowcost[k] + map[k][i];
}
}
看到了吗,是去看k和剩余点的链接,用k作中间结点。
而且!vis[i]
保证了i不属于这个集合。
堆优化的核心在于:一般的dijkstra需要遍历得到最小边,从而更新,但用小根堆就可以直接取出来。可见数据结构是承担了一个接口的高效实现。