【POJ】1739 Tony's Tour

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;

typedef long long ll;
#define BIT(a,b) ((a)<<((b)<<1))
#define CLR(a,b) (a^=((a)&BIT(3,b)))
#define GET(a,b) (((a)>>((b)<<1))&3)
int n, m, all, lastx, lasty;
bool mp[12][12];

int find(int col, int flag, int s) {
	int sum=0;
	if(flag==0) {
		for(int i=col; i>=0; --i) {
			int k=GET(s, i);
			if(k==1) --sum;
			if(k==2) ++sum;
			if(!sum) return i;
		}
	}
	else {
		for(int i=col; i<=m; ++i) {
			int k=GET(s, i);
			if(k==1) ++sum;
			if(k==2) --sum;
			if(!sum) return i;
		}
	}
	return -1;
}
bool next(int s, int row, int col, bool U, bool D, bool L, bool R, int &T) {
	if((col==0 && L) || (col==m-1 && R)) return 0;
	if((row==0 && U) || (row==n-1 && D)) return 0;
	if((D && mp[row+1][col]) || (R && mp[row][col+1])) return 0;
	int l=GET(s, col), u=GET(s, col+1), d=0, r=0;
	if((!l && L) || (!u && U) || (l && !L) || (u && !U)) return 0;
	T=s;
	CLR(T, col);
	CLR(T, col+1);
	if(!l && !u) { if(D && R) d=1, r=2; }
	else if(l && u) {
		if(l==1 && u==1) {
			int pos=find(col+1, 1, s);
			CLR(T, pos);
			T|=BIT(1, pos);
		}
		else if(l==2 && u==2) {
			int pos=find(col, 0, s);
			CLR(T, pos);
			T|=BIT(2, pos);
		}
		else if(l==1 && u==2) { if(row!=lastx || col!=lasty) return 0; }
	}
	else if(l && !u) { if(D) d=l; if(R) r=l; }
	else if(!l && u) { if(D) d=u; if(R) r=u; }
	T|=BIT(d, col);
	T|=BIT(r, col+1); if(col==m-1) T<<=2, T&=all; //printf("t:"); print(T); puts("");
	return 1;
}

struct H {
	static const int M=1000007;
	struct E { int next, to; }e[M];
	int head, cnt, hash[M];
	ll sum[M];
	H() { memset(hash, -1, sizeof hash); memset(sum, 0, sizeof sum); cnt=head=0; }
	bool find(int x, int &pos) {
		pos=x%M;
		while(1) { if(hash[pos]==x) return 0; else if(hash[pos]==-1) break; ++pos; if(pos==M) pos=0; }
		hash[pos]=x;
		return 1;
	}
	void ins(int t, ll d) { int pos; if(!find(t, pos)) { sum[pos]+=d; return; } e[++cnt].next=head; head=cnt; e[cnt].to=pos; sum[pos]=d; }
	void clr() { for(int i=head; i; i=e[i].next) hash[e[i].to]=-1, sum[e[i].to]=0; head=0; cnt=0; }
}T1, T2;

ll bfs() {
	H *q1=&T1, *q2=&T2;
	q1->clr(); q1->ins(0, 1);
	for(int row=0; row<n; ++row) for(int col=0; col<m; ++col) {
		q2->clr();
		for(int i=q1->head; i; i=q1->e[i].next) {
			ll sum=q1->sum[q1->e[i].to];
			int s=q1->hash[q1->e[i].to], t;
			if(mp[row][col]) {
				if(next(s, row, col, 0, 0, 0, 0, t)) q2->ins(t, sum);
			}
			else {
				if(next(s, row, col, 1, 1, 0, 0, t)) q2->ins(t, sum);
				if(next(s, row, col, 1, 0, 1, 0, t)) q2->ins(t, sum);
				if(next(s, row, col, 1, 0, 0, 1, t)) q2->ins(t, sum);
				if(next(s, row, col, 0, 1, 1, 0, t)) q2->ins(t, sum);
				if(next(s, row, col, 0, 1, 0, 1, t)) q2->ins(t, sum);
				if(next(s, row, col, 0, 0, 1, 1, t)) q2->ins(t, sum);
			}
		}
		swap(q1, q2);
	}
	ll ans=0;
	for(int i=q1->head; i; i=q1->e[i].next) ans+=q1->sum[q1->e[i].to];
	return ans;
}

int main() {
	char s[20];
	while(scanf("%d%d", &n, &m), n|m) {
		for(int i=2; i<n+2; ++i) {
			scanf("%s", s+2);
			for(int j=2; j<m+2; ++j) if(s[j]==‘#‘) mp[i][j]=1; else mp[i][j]=0;
		}
		n+=2; m+=4;
		for(int i=0; i<n; ++i) mp[i][1]=mp[i][m-2]=1;
		for(int i=0; i<m; ++i) mp[1][i]=1;
		for(int i=0; i<m; ++i) mp[0][i]=0;
		for(int i=0; i<n; ++i) mp[i][0]=mp[i][m-1]=0;
		mp[n-1][1]=mp[n-1][m-2]=0;
		lastx=n-1; lasty=m-1;
		all=BIT(1, m+1)-1;
		printf("%lld\n", bfs());
	}
	return 0;
}