dijstra精髓

跟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需要遍历得到最小边，从而更新，但用小根堆就可以直接取出来。可见数据结构是承担了一个接口的高效实现。