最小割树

最新推荐文章于 2022-05-16 23:05:49 发布

原创

最新推荐文章于 2022-05-16 23:05:49 发布 · 523 阅读

4 ·

CC 4.0 BY-SA版权

本文介绍了最小割树算法，这是一种用于快速求无向图上任意两点间最小割的方法。算法通过递归构建树并利用最小割最大流定理，时间复杂度虽然理论上为O(n^3m)，但在实际应用中表现高效。文章还讨论了算法的正确性证明及在不同数据规模下的运行效率，并提供了洛谷模板题的代码示例。

算法

最小割树是一个用于快速求无向图上任意两点间最小割的算法，它的定义如下：

称树 $T$ 为无向图 $G$ 的最小割树，当且仅当 $T$ 的节点与 $G$ 一一对应，且对于所有边 $\in T$ ，其边权为原图中 $u, v$ 两点间最小割，同时满足在 $T$ 中去掉这条边后剩下的两个不连通点集恰好为原图中 $u, v$ 的最小割将原图分为的两个点集。

显然，我们可以直接根据定义递归建树，并利用最小割最大流定理每次跑一边网络流，代码：

void build(int l,int r){
   
   //node[l]到node[r]为当前要处理的连通点集
	if(l == r) return;
	int u = node[l],v = node[l + 1];//任选两点
	add(u,v,Max_Flow:: Dinic(u,v));
	int t1 = l - 1,t2 = r + 1;
	for(int i = l; i <= r; i ++){
   
   
		if(Max_Flow:: d[node[i]] == -1) t[--t2] = node[i];
		else t[++t1] = node[i];
		//d为Dinic的bfs中的到达数组，显然此时d中存的是最后一次bfs时的残量网络的连通情况
		//因为现在残量网络上s到达不了t,所以bfs访问到的点就是s所在的点集，它们的d不为0
	}
	for(int i = l; i <= r; i ++) node[i] = t[i];
	build(l,t1),build(t2,r);//node[l]到node[t1]为u所在点集，node[t2]~node[r]为v所在点集
}