克鲁斯卡尔算法的正确性是利用反证法证明的. 简要地说, 就是如果不加入当前权值最小的边e1e1, 那么之后加入的边和这条边会形成一个环. 去掉这个环上权值最大的边e2e2并加入e1e1, 答案不会更劣. structte0{intf,t,v;}e0[msz];booloperator<(te0 a,te0 b){returna.v>b.v;}intval[nsz*2],pd=0;...