(NYoj 489)哭泣天使 -- 网络最大流，关于网格的建图方法，Dinic

题目： 哭泣天使
时间限制：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

分析：
题目意思是告诉我们一个网格开始时他的每行的哭泣天使的数目，然后过一段时间告诉我们每列的哭泣天使的数目。问有没有一种网格的填充方法，满足每行的哭泣天使数和每列的哭泣天使数，如果有则输出Not Sure，否则输出Terrible。
我们只知道每行和每列要放哭泣天使的数目，但是每行每列的情况又有很多种。所以我们可建网络图如下：
以每行和每列为顶点（因为行和列可以确定一个点），在他们两两之间建立容量为1的弧，那么我们已经表示了所有的填充情况了。然后我们添加一个源点和汇点，源点到每一行建弧容量为每行的哭泣天使数，这表示了每行最多却一定要放的哭泣天使的数目；每列和汇点之间建弧容量为每列的哭泣天使数，这表示每列最多可以接受的且一定要放的哭泣天使的数目。所以我们已经把题目完全转化了。
最后我们只需求出最大流，看是否和哭泣天使的总数相同即可。

关于网格的题目，如果表示明显的图论的其他的算法的题目，那么我们可以想想网络流方面。并且关于网格的网络流问题，一般都是以行和列为顶点，在添加源点和汇点来构建容量网络。

AC代码：

#include<iostream>
#include<algorithm>
#include<string>
#include<sstream>
#include<set>
#include<vector>
#include<stack>
#include<map>
#include<queue>
#include<deque>
#include<cstdlib>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<ctime>
#include<functional>
using namespace std;

#define N 20010
#define INF 100000000
struct Edge
{
    int from,to,cap,flow;
    Edge(int u,int v,int c,int f):from(u),to(v),cap(c),flow(f){}
};
struct Dinic
{
    int n,m,s,t;//结点数，边数（包括反向弧），源点编号，汇点编号
    vector<Edge>edges;//边表，dges[e]和dges[e^1]互为反向弧
    vector<int>G[N];//邻接表，G[i][j]表示结点i的第j条边在e数组中的编号
    bool vis[N]; //BFS的使用
    int d[N]; //从起点到i的距离
    int cur[N]; //当前弧下标

    void addedge(int from,int to,int cap)
    {
        edges.push_back(Edge(from,to,cap,0));
        edges.push_back(Edge(to,from,0,0));
        int  m=edges.size();
        G[from].push_back(m-2);
        G[to].push_back(m-1);
    }

    bool bfs()
    {
        memset(vis,0,sizeof(vis));
        queue<int>Q;
        Q.push(s);
        d[s]=0;
        vis[s]=1;
        while(!Q.empty())
        {
            int x=Q.front();Q.pop();
            for(int i=0;i<G[x].size();i++)
            {
                Edge&e=edges[G[x][i]];
                if(!vis[e.to]&&e.cap>e.flow)//只考虑残量网络中的弧
                {
                    vis[e.to]=1;
                    d[e.to]=d[x]+1;
                    Q.push(e.to);
                }
            }

        }
        return vis[t];
    }

    int dfs(int x,int a)//x表示当前结点，a表示目前为止的最小残量
    {
        if(x==t||a==0)return a;//a等于0时及时退出，此时相当于断路了
        int flow=0,f;
        for(int&i=cur[x];i<G[x].size();i++)//从上次考虑的弧开始，注意要使用引用，同时修改cur[x]
        {
            Edge&e=edges[G[x][i]];//e是一条边
            if(d[x]+1==d[e.to]&&(f=dfs(e.to,min(a,e.cap-e.flow)))>0)
            {
                e.flow+=f;
                edges[G[x][i]^1].flow-=f;
                flow+=f;
                a-=f;
                if(!a)break;//a等于0及时退出，当a!=0,说明当前节点还存在另一个曾广路分支。

            }
        }
        return flow;
    }

    int Maxflow(int s,int t)//主过程
    {
        this->s=s,this->t=t;
        int flow=0;
        while(bfs())//不停地用bfs构造分层网络，然后用dfs沿着阻塞流增广
        {
            memset(cur,0,sizeof(cur));
            flow+=dfs(s,INF);
        }
        return flow;
    }
  };

  int main()
  {
      //freopen("in.txt","r",stdin);
      int T,n,m,a;
      scanf("%d",&T);
      while(T--)
      {
          int sum1=0,sum2=0;
          Dinic dinic;
          scanf("%d%d",&m,&n);
          for(int i=1;i<=m;i++)
          {
              scanf("%d",&a);
              sum1+=a;
              dinic.addedge(0,i,a);
          }
          for(int i=1;i<=n;i++)
          {
              scanf("%d",&a);
              sum2+=a;
              dinic.addedge(m+i,m+n+1,a);
          }
          if(sum1!=sum2)
          {
              printf("Terrible\n"); continue;
          }
          for(int i=1;i<=m;i++)
          {
              for(int j=1;j<=n;j++)
                dinic.addedge(i,m+j,1);
          }
          if(sum1==dinic.Maxflow(0,n+m+1))
            printf("Not Sure\n");
          else printf("Terrible\n");
      }
  }