bzoj2437-兔兔与蛋蛋

mac2022-07-05  29

题目

分析

第一次做这种题,其实很简单。只能经过一次的博弈可以考虑转化为二分图博弈。 棋盘上有黑白色的棋子,可以把这个游戏看作空格在棋子间移动,于是就想到,把棋盘黑白染色,以空格为黑,那么空格的移动轨迹一定是黑白相间的。发现有一些棋子空格是移不过去的,那就是染色与棋子颜色不同的点(由于兔兔白棋先走,所以把空格染成黑色,可以符合要求)。剩下的点,把它们分成两部分,黑色和白色,那么可以组成一个二分图,所有的路径其实就是二分图上的路径,因为不可能有两个白色或黑色的棋子相邻。这个问题转化成了一个二分图上的博弈问题,不能走到重复的点。 对于二分图上的博弈,有一个结论:必胜点必定在最大匹配上。也就是说,如果有多种匹配情况,而一个点在某些情况中在最大匹配中,而在其他情况中不在,那么这个点不是必胜的。 下面说明这个结论: 如果一个点\(x\)一定在最大匹配中,那么当前操作者沿着这个点的匹配边走出去,走到对面的匹配点\(y\)。点\(x\)已经不能再走了,但由于\(x\)必定在最大匹配中,这就说明,删除点\(x\)后点\(y\)找不到一条新的增广路,所以\(y\)能走到的任意下一条边一定是非匹配边,连接着一个匹配点。所以轮到先手时,总是可以在一个匹配点上,它的匹配边连出去的另一个点没有被走过。由于边不可能有无限多,而先手总是有办法走,所以后手一定会输。 所以这题直接记录每一个走到的点是否一定在新图的最大匹配中,如果兔兔走之前在,之后也在,那么她就走错了。注意要把走过的点删掉。

代码

#include<cstdio> #include<cctype> #include<algorithm> #include<cstring> using namespace std; int read() { int x=0,f=1; char c=getchar(); for (;!isdigit(c);c=getchar()) if (c=='-') f=-1; for (;isdigit(c);c=getchar()) x=x*10+c-'0'; return x*f; } const int xx[]={-1,0,1,0}; const int yy[]={0,1,0,-1}; const int maxn=51; const int maxm=maxn*maxn; char s[maxn][maxn]; bool a[maxn][maxn],alr[maxm],cannot[maxm],able[maxm]; int white[maxm]; int sx,sy,n,m,wrong[maxm],wt=0,match[maxm],all; struct egde { int v,nxt; } e[maxm<<3]; int h[maxm],tot=0; void add(int u,int v) { e[++tot]=(egde){v,h[u]}; h[u]=tot; } int dis(int ax,int ay,int bx,int by) { return abs(ax-bx)+abs(ay-by); } int ID(int x,int y) { return (x-1)*m+y; } int change(int x) { return x&1?x+1:x-1; } bool dfs(int x) { for (int i=h[x],v=e[i].v;i;i=e[i].nxt,v=e[i].v) if (!alr[v] && able[v]) { alr[v]=true; if (!match[v] || dfs(match[v])) { match[v]=x; match[x]=v; return true; } } return false; } bool win[maxm]; int main() { #ifndef ONLINE_JUDGE freopen("test.in","r",stdin); #endif n=read(),m=read(); all=ID(n,m); for (int i=1;i<=n;++i) { scanf("%s",s[i]+1); for (int j=1;j<=m;++j) if (s[i][j]=='.') sx=i,sy=j; } for (int i=1;i<=n;++i) for (int j=1;j<=m;++j) { int id=ID(i,j); white[id]=dis(i,j,sx,sy)&1; if ((s[i][j]=='O' && white[id]) || ((s[i][j]=='X' || s[i][j]=='.') && !white[id])) able[id]=true; else able[id]=false; } for (int i=1;i<=n;++i) for (int j=1;j<=m;++j) { int aid=ID(i,j); if (!able[aid]) continue; for (int k=0;k<4;++k) { int x=xx[k]+i,y=yy[k]+j; if (x<1 || x>n || y<1 || y>m) continue; int bid=ID(x,y); if (able[bid]) { add(bid,aid),add(aid,bid); } } } for (int i=1;i<=all;++i) if (!white[i]) { memset(alr,0,sizeof alr); dfs(i); } int k=read(); for (int i=1;i<=(k<<1);++i) { int id=ID(sx,sy); able[id]=false; if (match[id]) { int tmp=match[id]; match[id]=match[tmp]=0; memset(alr,0,sizeof alr); win[i]=!dfs(tmp); } else win[i]=false; sx=read(),sy=read(); } wt=0; for (int i=1;i<=k;++i) if (win[i*2-1] && win[i*2]) ++wt; printf("%d\n",wt); for (int i=1;i<=k;++i) if (win[i*2-1] && win[i*2]) printf("%d\n",i); return 0; }

转载于:https://www.cnblogs.com/owenyu/p/6724636.html

最新回复(0)