【BZOJ1814】Ural 1519 Formula 1 插头DP

【BZOJ1814】Ural 1519 Formula 1

题意：一个 m * n 的棋盘,有的格子存在障碍,求经过所有非障碍格子的哈密顿回路个数。(n,m<=12)

题解：插头DP板子题，刷板子，附带题解链接。

如何存放状态呢？可以采用hash，我们的hash表形如一个队列，每次新加入一个状态时，就沿着这个状态在队列中对应的hash值不断向后找，直到找到这个状态或者发现一个空位为止。

本题我的状态采用了4进制表示。

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
typedef long long ll;
const int limit=99991;
int n,m,k,tot[2],nn,mm;
bool v[20][20];
char str[20];
ll tag,ans;
int hs[limit],state[2][limit];
ll dp[2][limit];
inline void upd(ll S)
{
	register int pos=S%limit;
	while(hs[pos])
	{
		if(state[k][hs[pos]]==S)
		{
			dp[k][hs[pos]]+=tag;
			return ;
		}
		pos++;
		if(pos==limit)	pos=0;
	}
	hs[pos]=++tot[k],state[k][tot[k]]=S,dp[k][tot[k]]=tag;
}
int main()
{
	register int i,j,t,u,tmp,p,q,x,y,S,T;
	scanf("%d%d",&n,&m);
	for(i=1;i<=n;i++)
	{
		scanf("%s",str+1);
		for(j=1;j<=m;j++)asdasd
		{
			v[i][j]=str[j]=='.';
			if(v[i][j])	nn=i,mm=j;
		}
	}
	tot[0]=1,state[0][1]=0,dp[0][1]=1;
	for(i=1;i<=n;i++)
	{
		for(j=1;j<=m;j++)
		{
			k^=1;
			memset(hs,0,sizeof(hs));
			memset(state[k],0,sizeof(state[k][0])*(tot[k]+1));
			memset(dp[k],0,sizeof(dp[k][0])*(tot[k]+1));
			tot[k]=0;
			for(t=1;t<=tot[k^1];t++)
			{
				S=state[k^1][t],tag=dp[k^1][t],y=j<<1,x=y-2,p=(S>>x)&3,q=(S>>y)&3,T=S^(p<<x)^(q<<y);
				if(!v[i][j])
				{
					if(!p&&!q)	upd(T);
					continue;
				}
				if(p==0&&q==0&&v[i][j+1]&&v[i+1][j])
				{
					upd(T|(1<<x)|(2<<y));
					continue;
				}
				if((p==0&&q==1)||(p==1&&q==0))
				{
					if(v[i+1][j])	upd(T|(1<<x));
					if(v[i][j+1])	upd(T|(1<<y));
					continue;
				}
				if((p==0&&q==2)||(p==2&&q==0))
				{
					if(v[i+1][j])	upd(T|(2<<x));
					if(v[i][j+1])	upd(T|(2<<y));
					continue;
				}
				if(p==2&&q==1)
				{
					upd(T);
					continue;
				}
				if(p==1&&q==2&&i==nn&&j==mm)
				{
					ans+=tag;
					continue;
				}
				if(p==1&&q==1)
				{
					for(tmp=0,u=y+2;u<=m+m&&tmp>=0;tmp+=((T>>u)&1)-((T>>(u+1))&1),u+=2);
					u-=2,upd(T^(3<<u));
					continue;
				}
				if(p==2&&q==2)
				{
					for(tmp=0,u=x-2;u>=0&&tmp>=0;tmp+=((T>>(u+1))&1)-((T>>u)&1),u-=2);
					u+=2,upd(T^(3<<u));
					continue;
				}
			}
		}
		for(t=1;t<=tot[k];t++)	state[k][t]<<=2;
	}
	printf("%lld",ans);
	return 0;
}