zoukankan      html  css  js  c++  java
  • 【bzoj2229】[Zjoi2011]最小割 分治+网络流最小割

    题目描述

    小白在图论课上学到了一个新的概念——最小割,下课后小白在笔记本上写下了如下这段话: “对于一个图,某个对图中结点的划分将图中所有结点分成两个部分,如果结点s,t不在同一个部分中,则称这个划分是关于s,t的割。 对于带权图来说,将所有顶点处在不同部分的边的权值相加所得到的值定义为这个割的容量,而s,t的最小割指的是在关于s,t的割中容量最小的割” 现给定一张无向图,小白有若干个形如“图中有多少对点它们的最小割的容量不超过x呢”的疑问,小蓝虽然很想回答这些问题,但小蓝最近忙着挖木块,于是作为仍然是小蓝的好友,你又有任务了。

    输入

    输入文件第一行有且只有一个正整数T,表示测试数据的组数。 对于每组测试数据, 第一行包含两个整数n,m,表示图的点数和边数。 下面m行,每行3个正整数u,v,c(1<=u,v<=n,0<=c<=106),表示有一条权为c的无向边(u,v) 接下来一行,包含一个整数q,表示询问的个数 下面q行,每行一个整数x,其含义同题目描述。

    输出

    对于每组测试数据,输出应包括q行,第i行表示第i个问题的答案。对于点对(p,q)和(q,p),只统计一次(见样例)。

    两组测试数据之间用空行隔开。

    样例输入

    1
    5 0
    1
    0

    样例输出

    10


    题解

    分治+网络流最小割

    根据某些奇奇怪怪的定理,最小割最多只有n-1个。

    那么我们只需要分治寻找这些最小割即可。

    我们对于每次的点集,在其中任选两个为源点和汇点,求最小割,并更新任意两点之间最小割的答案。然后,把这些点集根据割开的S集合和T集合分成两个点集,再向下递归查询即可。

    这样做能够保证每次的最小割都不同,就找到了n-1个最小割。

    求最小割之后不需要再进行dfs,直接利用dis数组即可判断某点所在的集合。

    最后把两点之间最小割拿出来排个序,再二分查找即可。

    #include <cstdio>
    #include <cstring>
    #include <queue>
    #include <algorithm>
    #define N 200
    #define M 20000
    using namespace std;
    queue<int> q;
    int n , head[N] , to[M] , val[M] , next[M] , cnt , s , t , dis[N] , ans[N][N] , a[N] , tmp[N] , v[M] , tot;
    void add(int x , int y , int z)
    {
    	to[++cnt] = y , val[cnt] = z , next[cnt] = head[x] , head[x] = cnt;
    	to[++cnt] = x , val[cnt] = z , next[cnt] = head[y] , head[y] = cnt;
    }
    bool bfs()
    {
    	int x , i;
    	memset(dis , 0 , sizeof(dis));
    	while(!q.empty()) q.pop();
    	dis[s] = 1 , q.push(s);
    	while(!q.empty())
    	{
    		x = q.front() , q.pop();
    		for(i = head[x] ; i ; i = next[i])
    		{
    			if(val[i] && !dis[to[i]])
    			{
    				dis[to[i]] = dis[x] + 1;
    				if(to[i] == t) return 1;
    				q.push(to[i]);
    			}
    		}
    	}
    	return 0;
    }
    int dinic(int x , int low)
    {
    	if(x == t) return low;
    	int temp = low , i , k;
    	for(i = head[x] ; i ; i = next[i])
    	{
    		if(val[i] && dis[to[i]] == dis[x] + 1)
    		{
    			k = dinic(to[i] , min(temp , val[i]));
    			if(!k) dis[to[i]] = 0;
    			val[i] -= k , val[i ^ 1] += k;
    			if(!(temp -= k)) break;
    		}
    	}
    	return low - temp;
    }
    void solve(int l , int r)
    {
    	if(l >= r) return;
    	int i , j , sum = 0 , p1 , p2;
    	for(i = 2 ; i <= cnt ; i += 2) val[i] = val[i ^ 1] = (val[i] + val[i ^ 1]) >> 1;
    	s = a[l] , t = a[r];
    	while(bfs()) sum += dinic(s , 1 << 30);
    	for(i = 1 ; i <= n ; i ++ )
    		if(dis[i])
    			for(j = 1 ; j <= n ; j ++ )
    				if(!dis[j])
    					ans[i][j] = ans[j][i] = min(ans[i][j] , sum);
    	for(p1 = i = l , p2 = r ; i <= r ; i ++ )
    	{
    		if(dis[a[i]]) tmp[p1 ++ ] = a[i];
    		else tmp[p2 -- ] = a[i];
    	}
    	for(i = l ; i <= r ; i ++ ) a[i] = tmp[i];
    	solve(l , p2) , solve(p1 , r);
    }
    int main()
    {
    	int T;
    	scanf("%d" , &T);
    	while(T -- )
    	{
    		memset(head , 0 , sizeof(head)) , cnt = 1 , memset(ans , 0x7f , sizeof(ans)) , tot = 0;
    		int m , i , j , x , y , z , k;
    		scanf("%d%d" , &n , &m);
    		while(m -- ) scanf("%d%d%d" , &x , &y , &z) , add(x , y , z);
    		for(i = 1 ; i <= n ; i ++ ) a[i] = i;
    		solve(1 , n);
    		for(i = 1 ; i <= n ; i ++ )
    			for(j = i + 1 ; j <= n ; j ++ )
    				v[++tot] = ans[i][j];
    		sort(v + 1 , v + tot + 1);
    		scanf("%d" , &k);
    		while(k -- )
    		{
    			scanf("%d" , &x);
    			if(x >= v[tot]) printf("%d
    " , tot);
    			else printf("%d
    " , upper_bound(v + 1 , v + tot + 1 , x) - v - 1);
    		}
    		if(T) printf("
    ");
    	}
    	return 0;
    }
    

     

  • 相关阅读:
    CF1324F Maximum White Subtree(树形dp)
    定时任务集群部署
    zookeeper服务的注册与发现
    多个定时任务服务注册到zookeeper临时顺序节点配置
    nginx反向代理
    nginx反向代理、负载均衡
    Eclipse快捷键
    下拉列表中复选框多选
    Zookeeper节点查看工具
    git打tag
  • 原文地址:https://www.cnblogs.com/GXZlegend/p/7114939.html
Copyright © 2011-2022 走看看