HDU -- 4888 Redraw Beautiful Drawings（最大流，判断最大流唯一性）

有一个N*M的矩阵，矩阵由0~K的数组成。给出每行每列的数字之和。问是否存在这样的矩阵，这个矩阵是否唯一；如果唯一就输出解。

http://acm.hdu.edu.cn/showproblem.php?pid=4888

经典的网络流建图：

从源点向每行连一条容量为这一行数字之和的边；

从每列向汇点连一条容量为这一列数字之和的边；

从每行向每列连一条容量为K的边（矩阵中的数字最大不超过K）。

然后求网络流。

如果所有行的数字之和 != 所有列的数字之和，或者求得的最大流 != 所有行的数字之和 就无解。

从每行的顶点出发，如果找到环就说明方案不唯一（这里不能走反向弧，不然一定有环）

否则方案唯一，输出方案。

//#pragma comment(linker,"/STACK:1024000000,1024000000")
#include <map>
#include <set>
#include <cmath>
#include <queue>
#include <stack>
#include <cstdio>
#include <string>
#include <vector>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

typedef double DB;
typedef long long ll;
typedef pair<int, int> PII;

#define pb push_back
#define MP make_pair
#define lson l, m, rt << 1
#define rson m + 1, r, rt << 1 | 1

const DB eps = 1e-6;
const int inf = ~0U>>1;
const ll INF = 0x3f3f3f3f3f3f3f3f;
const int mod = 1000000007;
const int maxn = 1000 + 10;


///init是初始化要在加边之前初始化，然后调用max_flow(顶点数，边数，源点， 汇点)
const int maxv = 1000 + 10;///顶点个数
const int maxe = 1000000 + 10;///边数

int c[maxe];

struct node{
    int v, cap, next;
}edge[maxe];
int head[maxv], cnt;
int n;///n是节点个数，m是边数
int st, ed;///st是源点，ed是汇点
int gap[maxv], h[maxv];
void addedge(int u, int v, ll w){///有向图加边
    edge[cnt].v = v; edge[cnt].cap = w; edge[cnt].next = head[u]; head[u] = cnt++;///正向边
    edge[cnt].v = u; edge[cnt].cap = 0; edge[cnt].next = head[v]; head[v] = cnt++;///反向边
}
int dfs(int x, int cost){
    if(x == ed) return cost; ///当前节点是汇点，直接返回cost

    int can = cost, d, minh = n - 1;
    for(int i=head[x]; ~i; i=edge[i].next){
        int v = edge[i].v, w = edge[i].cap;
        if(w > 0){///如果这条边的容量大于0
            if(h[v] + 1 == h[x]){///如果这是允许弧
                if(can > w) d = w;///如果当前弧的容量小于之前可增广的容量
                else d = can;

                d = dfs(v, d);///从v开始可增广的容量为d

                ///更新弧的容量和可增广的容量
                edge[i].cap -= d;
                edge[i ^ 1].cap += d;
                can -= d;

                if(h[st] >= n) return cost - can;
                if(!can) break;///不能再继续增广
            }
            if(h[v] < minh) minh = h[v];///更新最小标号
        }
    }
    if(can == cost){///如果没有增广...GAP
        gap[h[x]]--;
        if(gap[h[x]] == 0) h[st] = n;///存在断层，没有增广路了
        h[x] = minh + 1;///重新标记，保证下次再访问的时候有流量
        gap[h[x]]++;
    }
    return cost - can;///在这个点之前可以增广的 - 访问这个点之后可以增广的 = 在这个点增广的容量
}
int max_flow(int N){///SAP+GAP优化
    n = N;//m = M;
    for(int i=0; i<cnt; i++) c[i] = edge[i].cap;
    memset(h, 0, sizeof(h));///h[i]表示i节点的标号
    memset(gap, 0, sizeof(gap));///gap[i]表示标号为i的节点个数
    gap[0] = n;///初始有n个节点标号为0
    int ret = 0;
    while(h[st] < n){
        ret += dfs(st, inf);
    }
    return ret;
}
void init(int source, int sink){
    memset(head, -1, sizeof(head)); cnt = 0;
    st = source; ed = sink;
}


int N, M, K;
int out[maxn];
int vis[maxn];
bool Dfs(int x, int pre){
    if(vis[x]) return false;
    vis[x] = 1;
    for(int i=head[x]; ~i; i=edge[i].next)
    if(i != pre && edge[i].v != st && edge[i].v != ed && edge[i].cap > 0){
        if(!Dfs(edge[i].v, i ^ 1)) return false;
    }
    vis[x] = 0;
    return true;
}
bool judge(){
    memset(vis, 0, sizeof(vis));
    for(int i=1; i<=N; i++){
        if(!Dfs(i, -1)) return false;
    }
    return true;
}
int main(){
    while(scanf("%d%d%d", &N, &M, &K) == 3){
        init(0, N + M + 1);
        int x, sumr = 0, suml = 0;
        for(int i=1; i<=N; i++){
            scanf("%d", &x);
            sumr += x;
            addedge(st, i, x);
            for(int j=N+1; j<=N+M; j++)
                addedge(i, j, K);
        }
        for(int i=N+1; i<=N+M; i++){
            scanf("%d", &x);
            suml += x;
            addedge(i, ed, x);
        }
        int ans;
        if(sumr != suml || (ans = max_flow(N + M + 2)) != sumr) puts("Impossible");
        else{
            if(!judge()) puts("Not Unique");
            else{
                puts("Unique");
                int tot;
                for(int i=1; i<=N; i++){
                    tot = 0;
                    for(int j=head[i]; ~j; j=edge[j].next)
                    if(edge[j].v != st){
                        out[tot++] = K - edge[j].cap;
                    }
                    for(int j=tot-1; j>=0; j--)
                        printf("%d%c", out[j], j == 0 ? '\n' : ' ');
                }
            }
        }
    }
    return 0;
}