POJ 3522-最瘦生成树详解

最瘦生成树即一棵树的生成中最大边权-最小边权最小的那个生成树。我们可以用kruskal算法+枚举来解决这一问题。构成一颗有N

个点的MST最少需要N-1条边，因为这棵树中一定包含这个最小边权，所以我们可以将循环上线设为M-N+2（因为最小边权已包含，所

以不在）来枚举最小边权，因而剩下的边权一定在i到m中选择，因为之前的已经选择了。这样来说，min一定是数据中最靠前的

i,max则一定是数据中最靠后的元素，这样我们再通过打擂台不断的更新数据，一棵最瘦生成树就搞定了。

 

//PS：此题挂了一下午也没弄出来。。。。。 //标准算法为kruskal+枚举，枚举能构成MST的最小边，然后通过打擂台求出题目要求的解 program POJ3522; type atp=record x,y,dis:longint; end; const MaxN=5000; var n,m:longint; a:array [0..MaxN] of atp; f:array [0..MaxN] of longint;//并查集数组 procedure qsort(l,r:longint); var i,j,m:longint; temp:atp; begin i:=l; j:=r; m:=a[(l+r) shr 1].dis; repeat while a[i].dis<m do inc(i); while a[j].dis>m do dec(j); if i<=j then begin temp:=a[i]; a[i]:=a[j]; a[j]:=temp; inc(i); dec(j); end; until i>j; if i<r then qsort(i,r); if l<j then qsort(l,j); end; procedure init; var i:longint; begin for i:=1 to m do readln(a[i].x,a[i].y,a[i].dis); for i:=1 to n do f[i]:=i; qsort(1,m); end; function get(x:longint):longint; begin if f[x]=x then exit(x) else begin f[x]:=get(f[x]); exit(f[x]); end; end; procedure main; var i,j,t,min,max,cha:longint; begin cha:=maxlongint; for i:=1 to m-n+2 do//m-n+2实际上是由m-（n-2）构成的，因为至少有n-1条边才能构成MST，而我们枚举的最小边又在MST中， //因此我们可以把已经包含在MST中的那个最小边去掉 begin t:=0; for j:=1 to n do f[j]:=j; for j:=i to m do begin if get(a[j].x)<>get(a[j].y) then begin f[get(a[j].x)]:=get(a[j].y); inc(t); if t=n-1 then break; end; end; min:=a[i].dis;//i关键字即为我们刚才选出的需要枚举的最小边，因为数据我们之前已经通过qsort排好序，所以max一定是最 //后的a[j].dis max:=a[j].dis; if (max-min<cha) and (t=n-1) then cha:=max-min;//打擂台，附加条件是必须能组成MST end; if cha=maxlongint then writeln(-1) else writeln(cha);//如果cha没改变，那么就不能构成MST，一旦改变说明一定能构成MST end; begin assign(input,'POJ3522.in'); reset(input); assign(output,'POJ3522.out'); rewrite(output); readln(n,m); while n+m<>0 do//它们之中的一个有可能为0，这一点要格外注意 begin init; main; readln(n,m); end; close(input); close(output); end.