定义:
生成树:图的生成树是它的一棵含有其所有顶点的无环连同子图。
最小生成树:一幅加权图的最小生成树(MST)是它的一棵权值最小的生成树。
切分定理:在一幅加权图中,给定任意的切分,它的横切边中的权值最小者必然属于图的最小生成树。
切分定理是解决最小生成树问题的基础,将它和贪心算法结合起来,可以不断重复直到找到最小生成树的所有边。
Prim算法的延时实现:
- 先把一个顶点加入最小生成树中。
- 再把它的所有的连接着未访问顶点的邻接边都放入优先队列(作为横切边)。
- 然后从横切边中弹出权重最小的一条,检查它两边的顶点是否在最小生成树中,如果在,则忽略该边,从头开始步骤3。如果不在,则把它和它所连接的顶点加入最小生成树中。
- 再对它所连接的顶点作和以上相同的操作。直到优先队列为空。
package MST;
import java.util.PriorityQueue;
import list.MyQueue;
public class LazyPrim {
private EdgeWeightGraph g;
private boolean[] treeVertex;//最小生成树中的顶点
private MyQueue<Edge> treeEdge;//最小生成树中的边
private Priori