HDU 4888 Redraw Beautiful Drawings(网络流 + 判环（不能用强联通）)

题意和这个差不多http://blog.csdn.net/llzhh/article/details/77353532，只不过这道题改成棋盘上每个点的大小是0到k的。

建图什么的都一样，但是我发现我用一开始强联通的写法是过不去的，因为判环的地方tarjan是找极大强联通分量，这并不是我想要的，比如样例中一行四列那个。但是在上一题竟然过了。而且上一题没有判断行和列的和都相等也过了，数据实在是太水了。。。

这个判环我自己写了一个然后发现一直wa，到了下午突然发现，这都是源于多加了一个break。。。去掉就过了。。。一天又过去了。。。

判环我的方法是，dfs一下，每次进去都是在vst里面跑，如果发现某个点的vst已经标记，那么就返回1.否则我们在遍历完这个点后将他的标记擦去。这样还是怕超时，所以在外面再加上一个bvst，用于全局，如果这个点已经进去过就不再进去。。。具体还是看代码吧。。。

代码如下：

#include<bits/stdc++.h>using namespace std;const int maxn = 1005;const int maxm = maxn * maxn;const int INF = 0x3f3f3f3f;int n, m, k;int head[maxn],cur[maxn],nx[maxm<<1],to[maxm<<1],flow[maxm<<1],ppp=0;struct Dinic{int dis[maxn];int s, t;int ans;void init() {memset(head, -1, sizeof(head));ppp = 0;}void AddEdge(int u, int v, int c){to[ppp]=v;flow[ppp]=c;nx[ppp]=head[u];head[u]=ppp++;swap(u,v);to[ppp]=v;flow[ppp]=0;nx[ppp]=head[u];head[u]=ppp++;}bool BFS(){memset(dis, -1, sizeof(dis));dis[s] = 1; queue<int> Q;Q.push(s);while(!Q.empty()){int x = Q.front();Q.pop();for(int i = head[x]; ~i; i = nx[i]){if(flow[i] && dis[to[i]] == -1){dis[to[i]] = dis[x] + 1;Q.push(to[i]);}}}return dis[t] != -1;}int DFS(int x, int maxflow){if(x == t || !maxflow){ans += maxflow;return maxflow;}int ret = 0, f;for(int &i = cur[x]; ~i; i = nx[i]){if(dis[to[i]] == dis[x] + 1 && (f = DFS(to[i], min(maxflow, flow[i])))){ret += f;flow[i] -= f;flow[i^1] += f;maxflow -= f;if(!maxflow)break;}}return ret;}int solve(int source, int tank){s = source;t = tank;ans = 0;while(BFS()){memcpy(cur, head, sizeof(cur));DFS(s, INF);}return ans;}}dinic;bool vst[maxn], bvst[maxn];bool dfs(int u, int pre) {//cout << u << ' ' << pre << '\n';for(int i = head[u]; ~i; i = nx[i]) {int v = to[i];if(v == pre || flow[i] == 0)continue;if(vst[v]) {return 1;}vst[v] = 1;bvst[v] = 1;if(dfs(v, u)) {vst[v] = 0;return 1;}vst[v] = 0;}return 0;}int main() {#ifndef ONLINE_JUDGEfreopen("in.txt", "r", stdin);//    freopen("out.txt", "w", stdout);#endifwhile(scanf("%d%d%d", &n, &m, &k) != EOF) {int sum1 = 0, sum2 = 0;dinic.init();int s = n + m, t = s + 1;for(int i = 0, tmp; i < n; i++) {scanf("%d", &tmp);dinic.AddEdge(s, i, tmp);sum1 += tmp;}for(int i = 0, tmp; i < m; i++) {scanf("%d", &tmp);dinic.AddEdge(n + i, t, tmp);sum2 += tmp;}int start = ppp;for(int i = 0; i < n; i++) {for(int j = 0; j < m; j++) {dinic.AddEdge(i, n + j, k);}}int ans = dinic.solve(s, t);if(ans != sum1 || sum1 != sum2) {printf("Impossible\n");continue;}bool ok = 0;memset(bvst, 0, sizeof(bvst));for(int i = 0; i < n; i++) {if(bvst[i])continue;//memset(vst, 0, sizeof(vst));bvst[i] = 1;vst[i] = 1;if(dfs(i, i)) {ok = 1;}vst[i] = 0;}if(ok)printf("Not Unique\n");else {printf("Unique\n");for(int i = 0; i < n; i++) {for(int j = 0; j < m; j++) {printf("%d%c", k - flow[start], j + 1 == m ? '\n' : ' ');start += 2;}}}} return 0;}