动态最小生成树讲解
动态最小生成树是一类要求给定图,对于图的边有删除,插入,修改边权操作,满足查询MST(Minimum Spanning Tree )的问题。
在这里我们考虑修改边的操作,删除可以看成是将边权设成INF,插入可以看做是将一条INF的边边权赋值。
那么假设我们有q个询问,每个询问修改一条边的权值。
对于q个询问里修改的边,我们设这个边集为Q,全集为E,那么对于E-Q中的边,做一遍MST,MST中的边集设为G,那么对于E-Q-G中的边,不论询问怎么改变,这些边都不会在MST中,所以我们可以删除这些边,这时全集E不包括刚才删除的边,全集中的边的数量变成了n+q,n为MST中必要的边,q为询问中的边。之后将Q中的边的边权都赋值为-ING,这时做一遍MST,如果E-Q的边在MST中,这时代表就算修改的边最小时这些边也要选,也就是这些边是保证MST连通性的必要的边,这些边我们也没有必要考虑,因为必须要选,所以将这条边连接的两个点合并成一个点,可以用并查集维护。那么这些操作之后,我们将边的规模变成了q的,点的规模变成了q的。那么我求出来询问包括1-q的情况了,在剩下的这张图(规模变小了)上,将询问的范围变成1-q>>1和q<<1-q,再递归的做下去,因为询问的不断地变小,每次都会有更多的边被缩掉(在第二次做MST时可以缩掉的边),每次边的规模都变成了q/2^dep,这样一共会有log2q层,每层做MST是qlog2q的,那么总的时间复杂度就是q(log2q,我们递归的时候不用每次都排序,可以保存原来有序的边集,所以可以去掉一个log2q,这样时间复杂度就变成了qlog2q。
练习题,bzoj 2001 http://61.187.179.132/JudgeOnline/problem.php?id=2001
/************************************************************** Problem: 2001 User: BLADEVIL Language: Pascal Result: Accepted Time:14456 ms Memory:37024 kb ****************************************************************/ //By BLADEVIL type node =record cnt :longint; a,b :array[1..250000]of longint; end; var e :array[1..18] of node; fa :array[1..20000]of longint; x, y, data, tdata :array[0..50000]of longint; num, cha, ord, opt :array[0..50000]of longint; i , n, m, q :longint; ans :int64; procedure swap(var a,b:longint); var t :longint; begin t:=a; a:=b; b:=t; end; procedure qsort(left,right:longint); var i, j, bj :longint; begin i:=left; j:=right; bj:=data[ord[(i+j) shr 1]]; while i<=j do begin while data[ord[i]]<bj do inc(i); while data[ord[j]]>bj do dec(j); if i<=j then begin swap(ord[i],ord[j]); inc(i); dec(j); end; end; if j>left then qsort(left,j); if i<right then qsort(i,right); end; procedure work(dep,left,right:longint); var i, tm, tcnt :longint; tans :int64; function getfather(a:longint):longint; var tmp :longint; begin if fa[a]=a then exit(a); tmp:=a; while fa[tmp]<>tmp do tmp:=fa[tmp]; while fa[a]<>tmp do begin inc(e[dep].cnt); e[dep].a[e[dep].cnt]:=a; e[dep].b[e[dep].cnt]:=fa[a]; fa[a]:=tmp; a:=e[dep].b[e[dep].cnt]; end; exit(tmp); end; procedure combine(a,b:longint); begin a:=getfather(a); b:=getfather(b); inc(e[dep].cnt); e[dep].a[e[dep].cnt]:=a; e[dep].b[e[dep].cnt]:=fa[a]; fa[a]:=b; end; procedure recover(a:longint); begin while e[dep].cnt<>a do begin fa[e[dep].a[e[dep].cnt]]:=e[dep].b[e[dep].cnt]; dec(e[dep].cnt); end; end; begin tans:=ans; e[dep].cnt:=0; if left=right then begin data[num[left]]:=cha[left]; tdata[num[left]]:=cha[left]; qsort(1,m); for i:=1 to m do if getfather(x[ord[i]])<>getfather(y[ord[i]]) then begin combine(x[ord[i]],y[ord[i]]); ans:=ans+data[ord[i]]; end; writeln(ans); recover(0); ans:=tans; exit; end; tm:=m; for i:=left to right do data[num[i]]:=-maxlongint; qsort(1,m); opt[0]:=0; for i:=1 to m do if getfather(x[ord[i]])<>getfather(y[ord[i]]) then begin combine(x[ord[i]],y[ord[i]]); if data[ord[i]]<>-maxlongint then begin inc(opt[0]); opt[opt[0]]:=ord[i]; end; end; recover(0); for i:=1 to opt[0] do begin combine(x[opt[i]],y[opt[i]]); ans:=ans+data[opt[i]]; end; tcnt:=e[dep].cnt; for i:=left to right do data[num[i]]:=maxlongint; qsort(1,m); opt[0]:=0; for i:=1 to m do if getfather(x[ord[i]])<>getfather(y[ord[i]]) then combine(x[ord[i]],y[ord[i]]) else if data[ord[i]]<>maxlongint then begin inc(opt[0]); opt[opt[0]]:=i; end; for i:=opt[0] downto 1 do begin swap(ord[opt[i]],ord[m]); dec(m); end; recover(tcnt); for i:=left to right do data[num[i]]:=tdata[num[i]]; work(dep+1,left,(left+right) shr 1); work(dep+1,(left+right) shr 1 +1,right); m:=tm; ans:=tans; recover(0); end; begin readln(n,m,q); for i:=1 to n do fa[i]:=i; for i:=1 to m do begin readln(x[i],y[i],data[i]); tdata[i]:=data[i]; ord[i]:=i; end; for i:=1 to q do readln(num[i],cha[i]); work(1,1,q); end.
郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。