[ZJOI2009]染色游戏
https://www.zybuluo.com/ysner/note/1232377
题面
一个\(n*m\)的长方形上,每个格子上有一硬币。每次需选一联通块并全部翻面,前提是其右下角硬币必须初始为反面。双方轮流行动,问先手是否有必胜策略。
- \(n,m\leq50\)
解析
这是一个二维翻硬币问题。
先从一维说起。
一维翻硬币问题有个结论:局面的SG值等于局面中所有反面朝上的硬币单独存在时的SG值的异或和。
于是试着算一下:(其实我就是想试试怎么算\(SG\)值)
设\(x\)表示第\(x\)个硬币单独反面向上的情况。
据(\(mex\)表示取括号内不包含的 最小非负整数)$$SG(x)=mex_{0\leq i<x}(\bigotimes_{j=1}^iSG(j))$$
则\(SG(0)=0\)
\(SG(1)=1\),因操作后状态\((1,0,0,0)\)可转移到状态\((0,0,0,0)\);
\(SG(2)=2\),因操作后状态\((0,1,0,0)\)可转移到状态\((0,0,0,0)\)和状态\((1,0,0,0)\),
\(mex(0,SG(1))=1\);
\(SG(3)=1\),因操作后状态\((0,0,1,0)\)可转移到状态\((0,0,0,0)\)、状态\((0,1,0,0)\)和状态\((1,1,0,0)\)(这个状态可由\(x=1\)状态异或\(x=2\)状态产生),
\(mex(0,SG(1),SG(1)\bigotimes SG(2))=2\);
\(SG(4)=4\),因操作后状态\((0,0,0,1)\)可转移到状态\((0,0,0,0)\)、状态\((0,0,1,0)\)和状态\((0,1,1,0)\)和\((1,1,1,0)\),
\(mex(0,SG(1),SG(1)\bigotimes SG(2),SG(1)\bigotimes SG(2)\bigotimes SG(3))=4\);
同理,\(SG(5)=4\)。
发现规律,\(SG(x)=lowbit(x)\)(相当于只保留最高位)。
同理,可以试着算二维状态的\(SG\)值,方法与上类似,懒得打过程了。(矩阵转动后\(SG\)值不变)
于是得到规律:
当\(i==1||j==1\)时,\(SG(i,j)=lowbit(i+j-1);\)
除此之外,\(SG(i,j)=2^{i+j-2}\)。
爆\(long\ long\)随便用\(bool\)存下各位是否为\(1\)就好了。
#include<iostream>
#include<cmath>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#define ll long long
#define re register
#define il inline
#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)<(b)?(a):(b))
#define fp(i,a,b) for(re int i=a;i<=b;i++)
#define fq(i,a,b) for(re int i=a;i>=b;i--)
using namespace std;
const int N=205,mod=2017;
int n,m,mp[2000],ans;
bool vis[N];
il ll gi()
{
re ll x=0,t=1;
re char ch=getchar();
while(ch!='-'&&(ch<'0'||ch>'9')) ch=getchar();
if(ch=='-') t=-1,ch=getchar();
while(ch>='0'&&ch<='9') x=x*10+ch-48,ch=getchar();
return x*t;
}
il int SG(re int x,re int y)
{
if(x==1||y==1) return mp[(x+y-1)&(-x-y+1)];
else return x+y-2;
}
int main()
{
ios::sync_with_stdio(false);
re int T;cin>>T;
fp(i,1,10) mp[1<<i]=i;
while(T--)
{
memset(vis,0,sizeof(vis));
cin>>n>>m;
fp(i,1,n) fp(j,1,m)
{
re char c;cin>>c;
if(c=='T') vis[SG(i,j)]^=1;
}
re int tag=0;
fq(i,n+m-1,0) if(vis[i]) {tag=1;break;}
puts(tag?"-_-":"=_=");
}
return 0;
}