BZOJ1412: [ZJOI2009]狼和羊的故事

Description

“狼爱上羊啊爱的疯狂，谁让他们真爱了一场；狼爱上羊啊并不荒唐，他们说有爱就有方向．．．．．．” Orez听到这首歌，心想：狼和羊如此和谐，为什么不尝试羊狼合养呢？说干就干！ Orez的羊狼圈可以看作一个n*m个矩阵格子，这个矩阵的边缘已经装上了篱笆。可是Drake很快发现狼再怎么也是狼，它们总是对羊垂涎三尺，那首歌只不过是一个动人的传说而已。所以Orez决定在羊狼圈中再加入一些篱笆，还是要将羊狼分开来养。 通过仔细观察，Orez发现狼和羊都有属于自己领地，若狼和羊们不能呆在自己的领地，那它们就会变得非常暴躁，不利于他们的成长。 Orez想要添加篱笆的尽可能的短。当然这个篱笆首先得保证不能改变狼羊的所属领地，再就是篱笆必须修筑完整，也就是说必须修建在单位格子的边界上并且不能只修建一部分。

Input

文件的第一行包含两个整数n和m。接下来n行每行m个整数，1表示该格子属于狼的领地，2表示属于羊的领地，0表示该格子不是任何一只动物的领地。

Output

文件中仅包含一个整数ans，代表篱笆的最短长度。

Sample Input

2 2
2 2
1 1

Sample Output

2

数据范围
10%的数据 n，m≤3
30%的数据 n，m≤20
100%的数据 n，m≤100

HINT

Source

网络流跑最小割

由S向所有1连inf的边，所有2向T连inf的边

然后1和0向0和2连流量为1的边

正确性显然

#include<bits/stdc++.h>
 
using namespace std;
 
const int maxn=200020;
 
const int inf=1e9+7;
 
int cnt=1,ans,n,m,head[10010];
 
struct edge
{
    int to,nxt;
    int flow;
}e[maxn<<1];
 
inline void addedge(int x,int y,int flow)
{
    e[++cnt].to=y;
    e[cnt].nxt=head[x];
    head[x]=cnt;
    e[cnt].flow=flow;
    e[++cnt].to=x;
    e[cnt].nxt=head[y];
    head[y]=cnt;
    e[cnt].flow=0;
}
 
int q[10010],dis[10010],mp[102][102],mark[102][102],mk,S,T=10001;
 
int dx[5]={0,1,-1,0,0};
 
int dy[5]={0,0,0,1,-1};
 
inline bool bfs()
{
    int ql=0,qr=1;
    q[1]=S;
    memset(dis,0,sizeof(dis));
    dis[S]=1;
    while(ql<qr)
    {
        int x=q[++ql];
        for(int i=head[x];i;i=e[i].nxt)
        {
            int y=e[i].to;
            if(e[i].flow&&!dis[y])
            {
                dis[y]=dis[x]+1;
                q[++qr]=y;
            }
        }
    }
    if(dis[T]) return true;
    return false;
}
   
inline int dfs(int x,int flow)
{
    if(x==T) return flow;
    int d,used=0;
    for(int i=head[x];i;i=e[i].nxt)
    {
        int y=e[i].to;
        if(e[i].flow&&dis[y]==dis[x]+1)
        {
            d=dfs(y,min(flow,e[i].flow));
            e[i].flow-=d;
            e[i^1].flow+=d;
            used+=d;
            if(used==flow)
                return flow;
        }
    }
    if(!used)
        dis[x]=-1;
    return used;
}
   
inline void dinic()
{
    while(bfs())
        ans+=dfs(0,inf);
}
 
int main()
{
    scanf("%d%d",&n,&m);
    //memset(mp,-1,sizeof(mp));
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
            scanf("%d",&mp[i][j]),mark[i][j]=++mk;
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
            if(mp[i][j]==1)
                addedge(S,mark[i][j],inf);
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
            if(mp[i][j]==2)
                addedge(mark[i][j],T,inf);
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
            if(mp[i][j]!=2)
                for(int k=1;k<=4;k++)
                {
                    int x=i+dx[k],y=j+dy[k];
                    if(x<=0||x>n||y<=0||y>m||(mp[x][y]==1))
                        continue;
                    addedge(mark[i][j],mark[x][y],1);
                }
    dinic();
    cout<<ans;
}