【HDU】4888 Redraw Beautiful Drawings 网络流【推断解是否唯一】

传送门：

pid=4888">【HDU】4888 Redraw Beautiful Drawings

题目分析：

比赛的时候看出是个网络流，可是没有敲出来。各种反面样例推倒自己（究其原因是不愿意写暴力推断的）。。

首先是简单的行列建边。源点向行建边。容量为该行元素和，汇点和列建边。容量为该列元素和。全部的行向全部的列建边，容量为K。

跑一次最大流。满流则有解，否则无解。

接下来是推断解是否唯一。

这个题解压根没看懂。还是暴力大法好。

最简单的思想就是枚举在一个矩形的四个端点。设A、D为主对角线上的端点。B、C为副对角线上的端点。仅仅要A、D不等于k且B、C不等于0，那么有解。

相应的仅仅要B、C不等于k且A、D不等于0，那么相同有解。

那么。枚举全部的矩形复杂度高达O(N^4)，太大了，我们须要减少复杂度。

那么我们该怎样减少复杂度？

如今我们设立一个二维数组can[ i ][ j ]表示当前行之前的行中存在一行满足列i的元素不等于0且列j的元素不等于k，那么can[ i ][ j ] = 1，假设本行同样列满足列i不等于k且列j不等于0。那么说明存在多解。否则将can[ j ][ i ]标记为1。然后继续扫描。

上面的过程推断得出是唯一解后，输出解。( i , j )相应的元素为行i到列j的反向边的流量。

代码例如以下：

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std ;

#define REP( i , a , b ) for ( int i = a ; i < b ; ++ i )
#define FOR( i , a , b ) for ( int i = a ; i <= b ; ++ i )
#define REV( i , a , b ) for ( int i = a - 1 ; i >= b ; -- i )
#define FOV( i , a , b ) for ( int i = a ; i >= b ; -- i )
#define CLR( a , x ) memset ( a , x , sizeof a )
#define CPY( a , x ) memcpy ( a , x , sizeof a )

const int MAXM = 405 ;
const int MAXN = 1005 ;
const int MAXQ = 500000 ;
const int MAXE = 500000 ;
const int INF = 0x3f3f3f3f ;

struct Edge {
	int v , c , n ;
	Edge () {}
	Edge ( int v , int c , int n ) : v ( v ) , c ( c ) , n ( n ) {}
} ;

struct NetWork {
	Edge E[MAXE] ;
	int H[MAXN] , cntE ;
	int d[MAXN] , cur[MAXN] , num[MAXN] , pre[MAXN] ;
	int Q[MAXQ] , head , tail ;
	int n , m , k ;
	int s , t , nv ;
	int flow ;

	int row[MAXN] , col[MAXN] ;
	int G[MAXM][MAXM] ;
	int can[MAXM][MAXM] ;

	void init () {
		cntE = 0 ;
		CLR ( H , -1 ) ;
	}

	void addedge ( int u , int v , int c ) {
		E[cntE] = Edge ( v , c , H[u] ) ;
		H[u] = cntE ++ ;
		E[cntE] = Edge ( u , 0 , H[v] ) ;
		H[v] = cntE ++ ;
	}

	void rev_bfs () {
		CLR ( d , -1 ) ;
		CLR ( num , 0 ) ;
		head = tail = 0 ;
		Q[tail ++] = t ;
		d[t] = 0 ;
		num[d[t]] = 1 ;
		while ( head != tail ) {
			int u = Q[head ++] ;
			for ( int i = H[u] ; ~i ; i = E[i].n ) {
				int v = E[i].v ;
				if ( ~d[v] )
					continue ;
				d[v] = d[u] + 1 ;
				num[d[v]] ++ ;
				Q[tail ++] = v ;
			}
		}
	}

	int ISAP () {
		CPY ( cur , H ) ;
		rev_bfs () ;
		flow = 0 ;
		int u = pre[s] = s , i ;
		while ( d[s] < nv ) {
			if ( u == t ) {
				int f = INF , pos ;
				for ( i = s ; i != t ; i = E[cur[i]].v )
					if ( f > E[cur[i]].c ) {
						f = E[cur[i]].c ;
						pos = i ;
					}
				for ( i = s ; i != t ; i = E[cur[i]].v ) {
					E[cur[i]].c -= f ;
					E[cur[i] ^ 1].c += f ;
				}
				flow += f ;
				u = pos ;
			}
			for ( i = cur[u] ; ~i ; i = E[i].n )
				if ( E[i].c && d[u] == d[E[i].v] + 1 )
					break ;
			if ( ~i ) {
				cur[u] = i ;
				pre[E[i].v] = u ;
				u = E[i].v ;
			}
			else {
				if ( 0 == ( -- num[d[u]] ) )
					break ;
				int mmin = nv ;
				for ( i = H[u] ; ~i ; i = E[i].n )
					if ( E[i].c && mmin > d[E[i].v] ) {
						cur[u] = i ;
						mmin = d[E[i].v] ;
					}
				d[u] = mmin + 1 ;
				num[d[u]] ++ ;
				u = pre[u] ;
			}
		}
		return flow ;
	}

	void put () {
		printf ( "Unique\n" ) ;
		FOR ( i , 1 , n )
			FOR ( j , 1 , m )
				printf ( "%d%c" , G[i][j] , j < m ? ' ' : '\n' ) ;
	}

	void build () {
		FOR ( u , 1 , n )
			for ( int i = H[u] ; ~i ; i = E[i].n )
				if ( E[i].v )
					G[u][E[i].v - n] = E[i ^ 1].c ;
	}

	int check () {
		CLR ( can , 0 ) ;
		FOR ( r , 1 , n )
			FOR ( i , 1 , m )
				FOR ( j , i + 1 , m ) {
					int tmp1 = 0 , tmp2 = 0 ;
					if ( G[r][i] != k && G[r][j] != 0 ) {
						if ( can[i][j] )
							return 1 ;
						tmp1 = 1 ;
					}
					if ( G[r][i] != 0 && G[r][j] != k ) {
						if ( can[j][i] )
							return 1 ;
						tmp2 = 1 ;
					}
					if ( tmp1 )
						can[j][i] = tmp1 ;
					if ( tmp2 )
						can[i][j] = tmp2 ;
				}
		return 0 ;
	}

	void solve () {
		int sum1 = 0 ;
		int sum2 = 0 ;
		init () ;
		s = 0 ;
		t = n + m + 1 ;
		nv = t + 1 ;
		FOR ( i , 1 , n ) {
			scanf ( "%d" , &row[i] ) ;
			addedge ( s , i , row[i] ) ;
			sum1 += row[i] ;
		}
		FOR ( i , 1 , m ) {
			scanf ( "%d" , &col[i] ) ;
			addedge ( i + n , t , col[i] ) ;
			sum2 += col[i] ;
		}
		FOR ( i , 1 , n )
			FOR ( j , 1 , m )
				addedge ( i , n + j , k ) ;
		ISAP () ;
		if ( flow != sum1 || flow != sum2 ) {
			printf ( "Impossible\n" ) ;
			return ;
		}
		build () ;
		int multi = check () ;
		if ( multi )
			printf ( "Not Unique\n" ) ;
		else
			put () ;
	}
} nw ;

int main () {
	while ( ~scanf ( "%d%d%d" , &nw.n , &nw.m , &nw.k ) )
		nw.solve () ;
	return 0 ;
}

题解依然没看懂，可是DFS的方法会了。思想和上面的类似，用回溯的思想找环。可知长度等于2的环是不可行的（由于两个点都是自己），必须是长度大于等于4的环（能形成环必然长度为偶数）。我们仅仅要对每一行回溯搜索，假设沿着行到列还有流容量能够降低（属于的元素能够变大）或者列到行还有容量能够降低（即行到列还有容量能够添加，属于的元素能够变小）的边走能找到环就说明多解。

代码例如以下：

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std ;

#define REP( i , a , b ) for ( int i = a ; i < b ; ++ i )
#define FOR( i , a , b ) for ( int i = a ; i <= b ; ++ i )
#define REV( i , a , b ) for ( int i = a - 1 ; i >= b ; -- i )
#define FOV( i , a , b ) for ( int i = a ; i >= b ; -- i )
#define CLR( a , x ) memset ( a , x , sizeof a )
#define CPY( a , x ) memcpy ( a , x , sizeof a )

const int MAXM = 1005 ;
const int MAXN = 1005 ;
const int MAXQ = 2000000 ;
const int MAXE = 2000000 ;
const int INF = 0x3f3f3f3f ;

struct Edge {
	int v , c , n ;
	Edge () {}
	Edge ( int v , int c , int n ) : v ( v ) , c ( c ) , n ( n ) {}
} ;

struct NetWork {
	Edge E[MAXE] ;
	int H[MAXN] , cntE ;
	int d[MAXN] , cur[MAXN] , num[MAXN] , pre[MAXN] ;
	int Q[MAXQ] , head , tail ;
	int n , m , k ;
	int s , t , nv ;
	int flow ;

	int row[MAXN] , col[MAXN] ;
	int G[MAXM][MAXM] ;
	int vis[MAXN] ;

	void init () {
		cntE = 0 ;
		CLR ( H , -1 ) ;
	}

	void addedge ( int u , int v , int c ) {
		E[cntE] = Edge ( v , c , H[u] ) ;
		H[u] = cntE ++ ;
		E[cntE] = Edge ( u , 0 , H[v] ) ;
		H[v] = cntE ++ ;
	}

	void rev_bfs () {
		CLR ( d , -1 ) ;
		CLR ( num , 0 ) ;
		head = tail = 0 ;
		Q[tail ++] = t ;
		d[t] = 0 ;
		num[d[t]] = 1 ;
		while ( head != tail ) {
			int u = Q[head ++] ;
			for ( int i = H[u] ; ~i ; i = E[i].n ) {
				int v = E[i].v ;
				if ( ~d[v] )
					continue ;
				d[v] = d[u] + 1 ;
				num[d[v]] ++ ;
				Q[tail ++] = v ;
			}
		}
	}

	int ISAP () {
		CPY ( cur , H ) ;
		rev_bfs () ;
		flow = 0 ;
		int u = pre[s] = s , i ;
		while ( d[s] < nv ) {
			if ( u == t ) {
				int f = INF , pos ;
				for ( i = s ; i != t ; i = E[cur[i]].v )
					if ( f > E[cur[i]].c ) {
						f = E[cur[i]].c ;
						pos = i ;
					}
				for ( i = s ; i != t ; i = E[cur[i]].v ) {
					E[cur[i]].c -= f ;
					E[cur[i] ^ 1].c += f ;
				}
				flow += f ;
				u = pos ;
			}
			for ( i = cur[u] ; ~i ; i = E[i].n )
				if ( E[i].c && d[u] == d[E[i].v] + 1 )
					break ;
			if ( ~i ) {
				cur[u] = i ;
				pre[E[i].v] = u ;
				u = E[i].v ;
			}
			else {
				if ( 0 == ( -- num[d[u]] ) )
					break ;
				int mmin = nv ;
				for ( i = H[u] ; ~i ; i = E[i].n )
					if ( E[i].c && mmin > d[E[i].v] ) {
						cur[u] = i ;
						mmin = d[E[i].v] ;
					}
				d[u] = mmin + 1 ;
				num[d[u]] ++ ;
				u = pre[u] ;
			}
		}
		return flow ;
	}

	void put () {
		printf ( "Unique\n" ) ;
		FOR ( u , 1 , n )
			for ( int i = H[u] ; ~i ; i = E[i].n ) {
				int v = E[i].v ;
				G[u][v - n] = E[i ^ 1].c ;
			}
		FOR ( i , 1 , n )
			FOR ( j , 1 , m )
				printf ( "%d%c" , G[i][j] , j < m ? ' ' : '\n' ) ;
	}

	int dfs ( int u , int fa ) {
		if ( vis[u] )
			return 1 ;
		vis[u] = 1 ;
		for ( int i = H[u] ; ~i ; i = E[i].n ) {
			int v = E[i].v ;
			if ( v != fa && E[i].c && v != s && v != t )
				if ( dfs ( v , u ) )
					return 1 ;
		}
		vis[u] = 0 ;
		return 0 ;
	}

	void solve () {
		int sum1 = 0 ;
		int sum2 = 0 ;
		init () ;
		s = 0 ;
		t = n + m + 1 ;
		nv = t + 1 ;
		FOR ( i , 1 , n ) {
			scanf ( "%d" , &row[i] ) ;
			addedge ( s , i , row[i] ) ;
			sum1 += row[i] ;
		}
		FOR ( i , 1 , m ) {
			scanf ( "%d" , &col[i] ) ;
			addedge ( i + n , t , col[i] ) ;
			sum2 += col[i] ;
		}
		FOR ( i , 1 , n )
			FOR ( j , 1 , m )
				addedge ( i , n + j , k ) ;
		ISAP () ;
		if ( flow != sum1 || flow != sum2 ) {
			printf ( "Impossible\n" ) ;
			return ;
		}
		int flag = 1 ;
		CLR ( vis , 0 ) ;
		FOR ( i , 1 , n ) {
			if ( !flag )
				break ;
			if ( dfs ( i , 0 ) )
				flag = 0 ;
		}
		if ( !flag )
			printf ( "Not Unique\n" ) ;
		else
			put () ;
	}
} nw ;

int main () {
	while ( ~scanf ( "%d%d%d" , &nw.n , &nw.m , &nw.k ) )
		nw.solve () ;
	return 0 ;
}
时间： 2024-10-20 16:12:24

【HDU】4888 Redraw Beautiful Drawings 网络流【推断解是否唯一】的相关文章

HDU 4888 Redraw Beautiful Drawings 网络流 建图

题意: 给定n, m, k 下面n个整数 a[n] 下面m个整数 b[n] 用数字[0,k]构造一个n*m的矩阵 若有唯一解则输出这个矩阵,若有多解输出Not Unique,若无解输出Impossible 思路:网络流,,, n行当成n个点,m列当成m个点 从行-列连一条流量为k的边,然后源点-行连一条a[i]的边, 列-汇点 流量为b[i] 瞎了,该退役了 T^T #include<stdio.h> #include<string.h> #include<iostream&

hdu 4888 Redraw Beautiful Drawings 网络流

题目链接 一个n*m的方格, 里面有<=k的数, 给出每一行所有数的和, 每一列所有数的和, 问你能否还原这个图, 如果能, 是否唯一, 如果唯一, 输出还原后的图. 首先对行列建边, 源点向行建边, 权值为这一行的和, 列向汇点建边, 权值为列和, 每一行向每一列建边, 权值为k, 因为上限是k. 然后跑一遍最大流, 如果最大流和所有行的和以及所有列的和相等, 那么可以还原. 判断是否唯一, 用判环的方式, 对图中每一个点dfs, 如果存在环, 说明原图不唯一. 原图每个格子的值等于k-这个格

HDU 4888 Redraw Beautiful Drawings (2014-多校3-1002，最大流，判最大流有多解)

题目: http://acm.hdu.edu.cn/showproblem.php?pid=4888 题意: 给一个n*m的矩阵的n行之和和m列之和以及限制k,使用0-k的数字填充矩阵使得其行与列之和为给定值 如果不行则输出Impossible 如果有多解则输出Not Unique 如果有一解则输出Unique,并输出构造的矩阵 方法: 最大流,判最大流有多解 1.建图: 每一行一个点,每一列一个点 源点与第i个行点连边,权值为第i行之和 第j个列点与汇点连边,权值为第j行之和 第i个行点与第j

HDU 4888 Redraw Beautiful Drawings（2014 Multi-University Training Contest 3）

题意:给定n*m个格子,每个格子能填0-k 的整数.然后给出每列之和和每行之和,问有没有解,有的话是不是唯一解,是唯一解输出方案. 思路:网络流,一共 n+m+2个点   源点 到行连流量为 所给的 当前行之和.    每行 连到每一列 一条流量为  k的边,每列到汇点连 列和.如果流量等于总和则有解,反之无解(如果列总和不等于行总和也无解).  判断方案是否唯一 找残留网络是否存在长度大于2的环即可,有环说明不唯一. #include<cstdio> #include<cstring&

HDU 4888 Redraw Beautiful Drawings（最大流+判最大流网络是否唯一）

Problem Description Alice and Bob are playing together. Alice is crazy about art and she has visited many museums around the world. She has a good memory and she can remember all drawings she has seen. Today Alice designs a game using these drawings

HDU 4888 Redraw Beautiful Drawings（网络流求矩阵的解）

论文<为什么很多网络流问题总有整数解>http://diaorui.net/archives/189: 参考:http://www.cnblogs.com/yuiffy/p/3929369.html 题意:n*m的矩阵,给出每行的和以及每列的和,判断这样的矩阵是否存在,若存在,是否唯一:若唯一,输出解: 思路:网络流,最大流+判环.网络流常用于求多项式整数解. #include<cstdio> #include<cstring> #include<algorith

hdu 4888 Redraw Beautiful Drawings(最大流，判环)

http://acm.hdu.edu.cn/showproblem.php?pid=4888 加入一个源点与汇点,建图例如以下: 1. 源点 -> 每一行相应的点,流量限制为该行的和 2. 每一行相应的点 -> 每一列相应的点,流量限制为 K 3. 每一列相应的点 -> 汇点,流量限制为该列的和 求一遍最大流,若最大流与矩阵之和相等,说明有解,否则无解.推断唯一解,是推断残量网络中是否存在一个长度大于2的环.若存在说明有多解,否则有唯一解,解就是每条边行i->列j的流量. #inc

hdu - 4888 - Redraw Beautiful Drawings（最大流）

题意:给一个N行M列的数字矩阵的行和以及列和,每个元素的大小不超过K,问这样的矩阵是否存在,是否唯一,唯一则求出各个元素N(1 ≤ N ≤ 400) , M(1 ≤ M ≤ 400), K(1 ≤ K ≤ 40). 题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4888 -->>建图: 1)超级源S = 0,超级汇T = N + M + 1: 2)S到每个行和各连一条边,容量为该行行和: 3)每个行和到每个列和各连一条边,容量为K: 4)每个列和

hdu 4888 Redraw Beautiful Drawings 最大流

好难好难,将行列当成X和Y,源汇点连接各自的X,Y集,容量为行列的和,相当于从源点流向每一行,然后分配流量给每一列,最后流入汇点,这样执意要推断最后是否满流,就知道有没有解,而解就是每一行流向每一列多少流量. 关键在于怎么推断多解的情况.我想不到啊T_T 题讲解,找到一个长度大于2的环. 想了一想,也就是找到还有剩余流量的环,假设找到了,我就能够把当中一条边的流量转移,由于是一个环,所以它又会达到平衡,不会破坏最大流,可是这样转移后,解就多了一种,所以仅仅要推断是否有一个长度大于2的环就够了.