【二分图匹配】zoj1654Place the Robots

http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemCode=1654

题目描述：对给定的n*m（n，m<=50）的地图，有空地，草地，墙。现将机器人放到空地上，使得它们之间不冲突。若两个机器人在同一行或同一列上，且中间没有墙，则它俩冲突。问最多能放多少个机器人。

这道题和zoj1002类似，只不过多了草地（既不能放机器人，又不能隔开机器人）。
对每一行的联通块缩点放入x集合，每一列的联通块缩点放入y集合。若联通块之间有交点且交点是空地，连边。之后做一次最大匹配就可以求解。

这道题很容易会想到另一个模型，然而这个模型对解题并不有什么用。以空地为顶点，有冲突的空地连边，找图的最大独立子集。这是一个NP问题，目前并没有什么好的解决方法。

这两个模型为什么会有这么大的不同？
第一个模型是以空地为边，第二个模型是以空地为点。由此看出图的建模对要素的选取是很重要的。

个人认为，像这种联通块连边的问题，用邻接表不好处理，会存在重边的情况，导致邻接表效率降低。

#include <iostream>
#include <cstdio>
#include <cstring>
#define MAXN 2505
using namespace std;

int n ,m ,cntx ,cnty ,tmp[55][55] ,cx[MAXN] ,cy[MAXN] ;
char map[55][55] ;
bool vis[MAXN] ,flag[MAXN][MAXN] ;

void build()
{
    memset(flag,0,sizeof flag);
    memset(tmp,0,sizeof tmp);
    cntx=1;
    for(int i=0;i<n;++i)
    {
        for(int j=0;j<m;++j)
            if(map[i][j]=='#')++cntx;
            else tmp[i][j]=cntx;
        if(map[i][m-1]!='#')++cntx;
    }

    cnty=1;
    for(int j=0;j<m;++j)
    {
        for(int i=0;i<n;++i)
            if(map[i][j]=='#')++cnty;
            else if(map[i][j]=='o')
                flag[tmp[i][j]][cnty]=1;
        if(map[n-1][j]!='#')++cnty;
    }
}

bool dfs(int u)
{
    for(int v=1;v<=cnty;++v)
        if(!vis[v]&&flag[u][v])
        {
            vis[v]=1;
            if(!cy[v]||dfs(cy[v]))
            {
                cx[u]=v ,cy[v]=u ;
                return 1;
            }
        }
    return 0;
}

int solve()
{
    memset(cx,0,sizeof cx);
    memset(cy,0,sizeof cy);
    int ans=0;
    for(int i=1;i<=cntx;++i)
        if(!cx[i])
        {
            memset(vis,0,sizeof vis);
            ans+=dfs(i);
        }
    return ans;
}

int main()
{
    int T ;
    scanf("%d",&T );
    for(int cas=1;cas<=T;++cas)
    {
        scanf("%d%d",&n,&m);
        for(int i=0;i<n;++i)
            scanf("%s",map[i]);
        build();
        printf("Case :%d\n%d\n",cas,solve());
    }
    return 0;
}