割的性质

任意一个割上最小的那条边一定在某棵最小生成树里。这是两个算法的共同基础。