NYIST 489 哭泣天使

哭泣天使
时间限制：1000 ms | 内存限制：65535 KB
难度：5

描述
Doctor Who乘着Tardis带着Amy来到了一个星球，一开Tadis大门，发现这个星球上有个壮观的石像群，全是一些天使石像，有的石像在哭泣，有的石像像在微笑，共有m行n列，Doctor用“音速起子”扫描了一下整个石像群，得到了每行天使中在哭泣的天使的个数。当他与Amy在这里行走了一段时间之后，Doctor忽然想起了什么，怀疑这些石像是不是传说中的一种黑暗生物——“哭泣天使”——一种看似石像，却会在人不看它的时候移动，会强制把人送回某个过去的时间点，并借此汲取时间能量的生物。Doctor可不想自己和Amy迷失在一个未知的时间点里，于是Doctor立刻用“音速起子”又扫描了整个石像群，想再看看每行的在哭泣的天使个数与刚才是否相符，但是，越急就越容易出错，他一不小心扫描错了，扫描出了每列中哭泣的天使的个数。现在，由于音速起子的能量不足了，他不能够再次扫描，他想根据已有的数据判断出是否有天使改变了自己的表情，从哭泣变成不哭泣或者从不哭泣变成哭泣了。

输入
第一行是一个整数T，表示共有T组测试数据(T<=50)
每组测试数据第一行是两个整数m,n(0<m,n<=300)分别表示行数和列数
随后的两行分别有m个数和n个数分别表示对应m行中哭泣的天使石像的个数与对应n个列中哭泣的天使石像的个数。

输出
如果能根据已有信息判断出必然有石像改变了表情，则输出Terrible
如果根据已有信息无法确定石像发生了改变，则输出Not Sure (有时，你确定两次扫描时状态相同，但由于不确定之间是否发生过改变，故也输出Not Sure)

样例输入
2
2 3
1 1
1 1 0
3 3
0 1 2
3 0 0

样例输出
Not Sure
Terrible

来源
[张云聪]原创

上传者
张云聪

解题：最大流，居然卡dinic，把源点汇点反转，建立逆图，果断AC了。

 #include <iostream>
 #include <cstdio>
 #include <cstring>
 #include <cmath>
 #include <algorithm>
 #include <climits>
 #include <vector>
 #include <queue>
 #include <cstdlib>
 #include <string>
 #include <set>
 #include <stack>
 #define LL long long
 #define pii pair<int,int>
 #define INF 0x3f3f3f3f
 using namespace std;
 const int maxn = ;
 struct arc {
     int to,flow,next;
     arc(int x = ,int y = ,int z = -) {
         to = x;
         flow = y;
         next = z;
     }
 };
 arc e[maxn*maxn];
 int head[maxn],d[maxn],cur[maxn];
 int tot,n,m,S,T;
 void add(int u,int v,int flow) {
     e[tot] = arc(v,flow,head[u]);
     head[u] = tot++;
     e[tot] = arc(u,,head[v]);
     head[v] = tot++;
 }
 bool bfs() {
     queue<int>q;
     memset(d,-,sizeof(d));
     d[T] = ;
     q.push(T);
     while(!q.empty()) {
         int u = q.front();
         q.pop();
         for(int i = head[u]; ~i; i = e[i].next) {
             if(e[i].flow && d[e[i].to] == -) {
                 d[e[i].to] = d[u] + ;
                 q.push(e[i].to);
             }
         }
     }
     return d[S] > -;
 }
 int dfs(int u,int low) {
     if(u == S) return low;
     int tmp = ,a;
     for(int &i = cur[u]; ~i; i = e[i].next) {
         if(e[i].flow >  && d[e[i].to] == d[u] + &&(a=dfs(e[i].to,min(low,e[i].flow)))) {
             e[i].flow -= a;
             e[i^].flow += a;
             tmp += a;
             low -= a;
             if(!low) break;
         }
     }
     if(!tmp) d[u] = -;
     return tmp;
 }
 int dinic(int sum) {
     int ans = ;
     while(bfs()) {
         memcpy(cur,head,sizeof(head));
         ans += dfs(T,INF);
         if(ans > sum) break;
     }
     return ans;
 }
 int main() {
     int tmp,sum,t,sum2;
     scanf("%d",&t);
     while(t--) {
         scanf("%d %d",&n,&m);
         memset(head,-,sizeof(head));
         sum2 = sum = S = tot = ;
         T = n+m+;
         for(int i = ; i <= n; i++){
             scanf("%d",&tmp);
             add(i,S,tmp);
             sum += tmp;
             for(int j = n+; j <= n+m; ++j) add(j,i,);
         }
         for(int i = ; i <= m; ++i){
             scanf("%d",&tmp);
             add(T,n+i,tmp);
             sum2 += tmp;
         }
         printf("%s\n",sum == sum2&&dinic(sum) == sum?"Not Sure":"Terrible");
     }
     return ;
 }