x_miracle的博客

整理和比较了图的存储方式

差分约束法

为了造出一棵最小生成树，我们从最小边权的边开始，按边权从小到大依次加入。否则，舍去此边而选择下一条代价最小的边。也可以说，维护一个森林，查询两个结点是否在同一棵树中，连接两棵树。即：每次要选择距离最小的一个结点，以及用新的边更新其他结点的距离。（注：只有连通图才有生成树，对于非连通图，只存在生成森林。（此时所选的边集是空集，最小生成树存在时，显然成立。定义：无向连通图的最小生成树，为边权和最小的生成树。基础：对于算法刚开始时，显然成立（最小生成树存在）。，并且也是一棵最小生成树，归纳成立。

最小生成树（Minimum Spanning Tree，MST） Kruskal算法，Prim算法的图解，朴素写法和堆优化写法，Boruvka算法。

并查集+启发式合并+路径压缩

单源最短路，Dijkstra算法，朴素法和堆优化

Bellman-Ford与SPFA与SPFA_DFS