最小生成树

横切边

如果一个边的两个端点，属于切分(Cut)不同的两边，这个边称为横切边(Crossing Edge)。

切分定理

给定任意切分，横切边中权值最小的边必然属于最小生成树