设S是顶点子集，e是正好一个端点在S中的边中的最小边，那么最小生成树中肯定包含e.​