BZOJ2437：兔兔与蛋蛋（二分图博弈）

传送门

题解：
将原图黑白染色，相邻且颜色不同的格子连边，原问题则变为诸如：给定二分图和起点，每次可移动一步，不能走走过的地方，谁不能移动谁就输的博弈问题。

很显然，先手必胜当且仅当起点为最大匹配的必须点。否则考虑一个不经过起点的最大匹配，后手只需要每次走匹配边即可。

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
inline int rd() {
    char ch=getchar(); int i=0,f=1;
    while(!isdigit(ch)) {if(ch=='-')f=-1; ch=getchar();}
    while(isdigit(ch)) {i=(i<<1)+(i<<3)+ch-'0'; ch=getchar();}
    return i*f;
}
const int N=1e4+50;
int n,m,k,nowx,nowy,ban[45][45],vis[N],mate[N],vs;
char ch[45][45];
vector <int> vec;
vector <int> edge[N];
inline int id(int x,int y) {return (x-1)*m+y;}
inline int bit(int x,int y) {return (x+y)&1;}
inline bool valid(int i,int j,int x,int y) {return !ban[i][j] && ((ch[i][j]==ch[x][y])==(bit(i,j)==bit(x,y)));}
inline bool aug(int x) {
    vis[x]=vs;
    for(int e=edge[x].size()-1;e>=0;e--) {
        int v=edge[x][e]; 
        if(!mate[v] || (vis[mate[v]]!=vs && aug(mate[v])))
             return mate[x]=v, mate[v]=x, true;
    }
    return false;
}
inline int calc(int x,int y,int col) {
    ch[x][y]=(col==0) ? 'O' : 'X';
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
            edge[id(i,j)].clear(), mate[id(i,j)]=0;
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++) 
            if(valid(i,j,x,y)) {
                if(j<m && valid(i,j+1,x,y)) edge[id(i,j)].push_back(id(i,j+1));
                if(j>1 && valid(i,j-1,x,y)) edge[id(i,j)].push_back(id(i,j-1));
                if(i>1 && valid(i-1,j,x,y)) edge[id(i,j)].push_back(id(i-1,j));
                if(i<n && valid(i+1,j,x,y)) edge[id(i,j)].push_back(id(i+1,j));
            }
    int rs=0;
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
            if(valid(i,j,x,y) && !mate[id(i,j)] && (++vs,aug(id(i,j)))) ++rs;
    ch[x][y]='.';
    return rs;
}
inline bool calc(int col) {
    int t1=calc(nowx,nowy,col);
    ban[nowx][nowy]=1;
    int t2=calc(nowx,nowy,col);
    ban[nowx][nowy]=0;
    return t1!=t2;
}
int main() {
    n=rd(), m=rd();
    for(int i=1;i<=n;i++) scanf("%s",ch[i]+1);
    for(int i=1;i<=n;i++) for(int j=1;j<=m;j++) if(ch[i][j]=='.') nowx=i, nowy=j;
    k=rd();
    for(int i=1;i<=k;i++) {
        int x=rd(),y=rd();
        int t1=calc(1);
        ban[nowx][nowy]=1;
        swap(ch[nowx][nowy],ch[x][y]);
        nowx=x; nowy=y;

        int t2=calc(0);
        if(t1&&t2) vec.push_back(i);
        x=rd(), y=rd();
        ban[nowx][nowy]=1;
        swap(ch[nowx][nowy],ch[x][y]);
        nowx=x, nowy=y;
    }
    printf("%d\n",vec.size());
    for(int i=0;i<vec.size();++i)
        printf("%d\n",vec[i]);
}