zoukankan      html  css  js  c++  java
  • 初学最小割树

    前言

    证明什么的一概不会,问就是感性理解,总之先坑了。。。

    最小割树的构造

    任取当前点集中的两个点(s,t),求出(s)(t)在原图上的任意一组最小割(设大小为(v)),然后就可以在最小割树上给(s,t)两点间连一条边权为(v)的边。

    接着,把点集按照最小割分成两部分(即与(s)连通的一部分和与(t)连通的一部分),对两部分的点分别递归构造。

    显然这样一定能构造出一棵树,这棵树就叫最小割树。

    最小割树的性质

    任意两点(x,y)间的最小割就是最小割树上(x,y)间路径中的最小边权。

    因此只要预处理一下就可以倍增查询了。

    代码:(O(n^3m))

    #include<bits/stdc++.h>
    #define Tp template<typename Ty>
    #define Ts template<typename Ty,typename... Ar>
    #define Reg register
    #define RI Reg int
    #define Con const
    #define CI Con int&
    #define I inline
    #define W while
    #define N 500
    #define M 1500
    #define LN 9
    #define INF (int)1e9
    using namespace std;
    int n,m;
    namespace FastIO
    {
    	#define FS 100000
    	#define tc() (FA==FB&&(FB=(FA=FI)+fread(FI,1,FS,stdin),FA==FB)?EOF:*FA++)
    	#define pc(c) (FC==FE&&(clear(),0),*FC++=c)
    	int OT;char oc,FI[FS],FO[FS],OS[FS],*FA=FI,*FB=FI,*FC=FO,*FE=FO+FS;
    	I void clear() {fwrite(FO,1,FC-FO,stdout),FC=FO;}
    	Tp I void read(Ty& x) {x=0;W(!isdigit(oc=tc()));W(x=(x<<3)+(x<<1)+(oc&15),isdigit(oc=tc()));}
    	Ts I void read(Ty& x,Ar&... y) {read(x),read(y...);}
    	Tp I void writeln(Ty x) {W(OS[++OT]=x%10+48,x/=10);W(OT) pc(OS[OT--]);pc('
    ');}
    }using namespace FastIO;
    namespace D//网络流
    {
    	#define add(x,y,f) (_[++ee].nxt=lnk[x],_[lnk[x]=ee].to=y,_[ee].F=f)
    	int s,t,ee=1,lnk[N+5],cur[N+5];struct edge {int to,nxt,F;}e[2*M+5],_[2*M+5];
    	I void Add(CI x,CI y,CI f) {add(x,y,f),add(y,x,f);}//加一条无向边
    	I void Init() {for(RI i=1;i<=ee;++i) e[i]=_[i];}//把原图的边复制一份
    	int q[N+5],d[N+5];I bool BFS() {RI i,k,H,T;for(i=1;i<=n;++i) d[i]=0;d[q[H=T=1]=s]=1;
    		W(H<=T&&!d[t]) for(i=lnk[k=q[H++]];i;i=e[i].nxt) !d[e[i].to]&&e[i].F&&(d[q[++T]=e[i].to]=d[k]+1);return d[t];}
    	I int DFS(CI x=s,RI f=1e9) {if(x==t||!f) return f;RI o,g=0;for(RI &i=cur[x];i;i=e[i].nxt)
    		if((d[x]+1)==d[e[i].to]&&(o=DFS(e[i].to,min(f,e[i].F)),e[i].F-=o,e[i^1].F+=o,g+=o,!(f-=o))) break;return g;}
    	I int MaxFlow() {RI g=0;W(BFS()) memcpy(cur,lnk,sizeof(lnk)),g+=DFS();return g;}//最小割=最大流
    }
    class MinCutTree
    {
    	private:
    		#define add(x,y,z) (e[++ee].nxt=lnk[x],e[lnk[x]=ee].to=y,e[ee].v=z)
    		int ee,lnk[N+5];struct edge {int to,nxt,v;}e[2*N+5];
    		int id[N+5],idl[N+5],idr[N+5];I void Solve(CI l,CI r)//建最小割树
    		{
    			RI i,v,tl=0,tr=0;if(l>=r) return;D::Init(),D::s=id[l],D::t=id[r],v=D::MaxFlow();//任取两点求一组最小割
    			for(add(id[l],id[r],v),add(id[r],id[l],v),i=l;i<=r;++i) (D::d[id[i]]?idl[++tl]:idr[++tr])=id[i];//最小割树上连边;根据最小割划分点集
    			for(i=1;i<=tl;++i) id[l+i-1]=idl[i];for(i=1;i<=tr;++i) id[l+tl+i-1]=idr[i];Solve(l,l+tl-1),Solve(l+tl,r);//递归构造
    		}
    		int d[N+5],f[N+5][LN+1],g[N+5][LN+1];I void dfs(CI x)//预处理
    		{
    			RI i;for(i=1;i<=LN;++i) f[x][i]=f[f[x][i-1]][i-1],g[x][i]=min(g[x][i-1],g[f[x][i-1]][i-1]);//倍增预处理
    			for(i=lnk[x];i;i=e[i].nxt) e[i].to^f[x][0]&&(d[e[i].to]=d[f[e[i].to][0]=x]+1,g[e[i].to][0]=e[i].v,dfs(e[i].to),0);
    		}
    	public:
    		I void Build() {for(RI i=1;i<=n;++i) id[i]=i;Solve(1,n),dfs(1);}
    		I int Q(RI x,RI y)//树上倍增
    		{
    			#define U(x,i) (t=min(t,g[x][i]),x=f[x][i])
    			RI i,t=INF;for(d[x]<d[y]&&(swap(x,y),0),i=0;d[x]^d[y];++i) (d[x]^d[y])>>i&1&&U(x,i);
    			if(x==y) return t;for(i=LN;~i;--i) f[x][i]^f[y][i]&&(U(x,i),U(y,i));return U(x,0),U(y,0),t;
    		}
    }T;
    int main()
    {
    	RI i,x,y,z;for(read(n,m),i=1;i<=m;++i) read(x,y,z),D::Add(x,y,z);
    	T.Build();RI Qt;read(Qt);W(Qt--) read(x,y),writeln(T.Q(x,y));return clear(),0;
    }
    
    败得义无反顾,弱得一无是处
  • 相关阅读:
    开发,从需求出发 &#183; 之四 春天在这里
    面向基于英特尔&#174; 架构的 Android* 的 CoCos2D
    js左右切换 选择年龄
    先序遍历创建二叉树,对二叉树统计叶子节点个数和统计深度(创建二叉树时#代表空树,序列不能有误)c语言
    [ACM] hdu 1251 统计难题 (字典树)
    设计模式:单例模式的三种创建方式及其各自的优缺点
    [Android 4.4.2] 泛泰A850 Mokee4.4.2 20140509 RC2.0 by syhost
    IA32 MMU paging初始化代码
    为Android开发人员定制的搜索引擎
    Android中Activity切换时共享视图元素的切换动画(5.0以上)
  • 原文地址:https://www.cnblogs.com/chenxiaoran666/p/MinCutTree.html
Copyright © 2011-2022 走看看