是的。而且Kruskal算法的证明非常精妙