Codeforces 461D Appleman and Complicated Task

题面

题意

给出一个$n\ast n$的正方形，每个点为1或0，要求每个点周围的所有点之和为偶数，现在已经确定了几个点的数字，问一共有几种正方形满足条件。

做法

首先可以把周围四个数的和为偶数看作周围四个数的异或值为0，因此可以发现
$(i,j)=(i-2,j)Xor(i-1,j-1)Xor(i-1,j+1)$
不难发现当正方形的第一行确定后，整个正方形的值也就确定了，因此当没有任何数确定时，总共有$2^n$种正方形。
经过进一步的观察可以发现，这个正方形关于两条对角线对称，因此确定了正方形中的一个数，可以将其转化为两对角线与正方形形成的4个三角形中的任意一个三角形中的某个数，而且经过可以发现上面这个三角形的数都可以看作是由第一行中的一段连续的，位置奇偶性相同数的异或值，因此我们可以将统计第一行合法的数的种数改为统计其合法前缀（指所有在它左边且列数的奇偶性与他相同的所有数的异或值）的种数，这样每一个确定的数都可以看作是由两个前缀异或得到，也就能得到两个前缀是否相等，这个用并查集维护一下即可。

代码

#include<bits/stdc++.h>
#define ll long long
#define P pair<ll,ll>
#define mp make_pair
#define fi first
#define se second
#define N 100100
#define M 1000000007
using namespace std;

ll n,m,ans,a[N],b[N],c[N],fa[N<<1];
char str[2];
map<P,bool>mm;

ll ff(ll u){return u==fa[u]?u:fa[u]=ff(fa[u]);}

inline ll po(ll u,ll v)
{
	ll res=1;
	for(;v;)
	{
		if(v&1) res=res*u%M;
		u=u*u%M;
		v>>=1;
	}
	return res;
}

inline void GG()
{
	puts("0");
	exit(0);
}

inline P zh(ll p,ll q)
{
	if(p>q) swap(p,q);
	if(p+q>n+1) swap(p,q),p=n-p+1,q=n-q+1;
	return mp(p,q);
}

int main()
{
	ll i,j,k,p,q;
	cin>>n>>m;
	for(i=1; i<=m; i++)
	{
		scanf("%lld%lld%s",&p,&q,str);
		a[i]=zh(p,q).fi;
		b[i]=zh(p,q).se;
		c[i]=(str[0]=='x'?0:1);
		if(mm.count(mp(a[i],b[i]))) if(mm[mp(a[i],b[i])]!=c[i]) GG();
			else mm[mp(a[i],b[i])]=c[i];
	}
	for(i=0; i<=n*2+1; i++) fa[i]=i;
	for(i=1; i<=m; i++)
	{
		p=b[i]-a[i]-1,q=a[i]+b[i]-1;
		if(c[i])
		{
			if(p<1) fa[ff(q)]=ff(n*2+1),fa[ff(q+n)]=ff(0);
			else fa[ff(p)]=ff(q+n),fa[ff(p+n)]=ff(q);
		}
		else
		{
			if(p<1) fa[ff(q)]=ff(0),fa[ff(q+n)]=ff(n*2+1);
			else fa[ff(p)]=ff(q),fa[ff(p+n)]=ff(q+n);
		}
	}
	for(i=1; i<=n; i++) if(ff(i)==ff(i+n)) GG();
	if(ff(0)==ff(n*2+1)) GG();
	for(i=0; i<=n*2+1; i++) if(i==fa[i]) ans++;
	cout<<po(2,ans/2-1);
}