ZOJ1516 Uncle Tom's Inherited Land（二分图最大匹配）

一个经典的构图：对格子进行黑白染色，黑白的点分别作XY部的点。

这一题的边就是可以出售的单位面积2的土地，边的端点就是这个土地占用的X部和Y部的两个点。

这样就建好二分图，要求最多土地的答案显然是这个二分图的最大边独立集，也就是最大匹配。

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
#define MAXN 11111
#define MAXM 111111
#define INF 1<<30
struct Edge{
    int v,cap,flow,next;
}edge[MAXM];
int vs,vt,NE,NV;
int head[MAXN];

void addEdge(int u,int v,int cap){
    edge[NE].v=v; edge[NE].cap=cap; edge[NE].flow=0;
    edge[NE].next=head[u]; head[u]=NE++;
    edge[NE].v=u; edge[NE].cap=0; edge[NE].flow=0;
    edge[NE].next=head[v]; head[v]=NE++;
}

int level[MAXN];
int gap[MAXN];
void bfs(){
    memset(level,-1,sizeof(level));
    memset(gap,0,sizeof(gap));
    level[vt]=0;
    gap[level[vt]]++;
    queue<int> que;
    que.push(vt);
    while(!que.empty()){
        int u=que.front(); que.pop();
        for(int i=head[u]; i!=-1; i=edge[i].next){
            int v=edge[i].v;
            if(level[v]!=-1) continue;
            level[v]=level[u]+1;
            gap[level[v]]++;
            que.push(v);
        }
    }
}

int pre[MAXN];
int cur[MAXN];
int ISAP(){
    bfs();
    memset(pre,-1,sizeof(pre));
    memcpy(cur,head,sizeof(head));
    int u=pre[vs]=vs,flow=0,aug=INF;
    gap[0]=NV;
    while(level[vs]<NV){
        bool flag=false;
        for(int &i=cur[u]; i!=-1; i=edge[i].next){
            int v=edge[i].v;
            if(edge[i].cap!=edge[i].flow && level[u]==level[v]+1){
                flag=true;
                pre[v]=u;
                u=v;
                //aug=(aug==-1?edge[i].cap:min(aug,edge[i].cap));
                aug=min(aug,edge[i].cap-edge[i].flow);
                if(v==vt){
                    flow+=aug;
                    for(u=pre[v]; v!=vs; v=u,u=pre[u]){
                        edge[cur[u]].flow+=aug;
                        edge[cur[u]^1].flow-=aug;
                    }
                    //aug=-1;
                    aug=INF;
                }
                break;
            }
        }
        if(flag) continue;
        int minlevel=NV;
        for(int i=head[u]; i!=-1; i=edge[i].next){
            int v=edge[i].v;
            if(edge[i].cap!=edge[i].flow && level[v]<minlevel){
                minlevel=level[v];
                cur[u]=i;
            }
        }
        if(--gap[level[u]]==0) break;
        level[u]=minlevel+1;
        gap[level[u]]++;
        u=pre[u];
    }
    return flow;
}

bool map[111][111];
int main(){
    int n,m,a,b,c;
    while(~scanf("%d%d",&n,&m) && (n||m)){
        memset(map,0,sizeof(map));
        scanf("%d",&c);
        while(c--){
            scanf("%d%d",&a,&b);
            --a; --b;
            map[a][b]=1;
        }
        vs=n*m; vt=vs+1; NV=vt+1; NE=0;
        memset(head,-1,sizeof(head));
        for(int i=0; i<n; ++i){
            for(int j=0; j<m; ++j){
                if((i+j)&1) addEdge(vs,i*m+j,1);
                else addEdge(i*m+j,vt,1);
                if(map[i][j]) continue;
                if(i+1<n && !map[i+1][j]){
                    if((i+j)&1) addEdge(i*m+j,(i+1)*m+j,1);
                    else addEdge((i+1)*m+j,i*m+j,1);
                }
                if(j+1<m && !map[i][j+1]){
                    if((i+j)&1) addEdge(i*m+j,i*m+j+1,1);
                    else addEdge(i*m+j+1,i*m+j,1);
                }
            }
        }
        printf("%d
",ISAP());
    }
    return 0;
}