UCF Local Programming Contest 2016 I. Lineup the Dominoes 状态DP

dp[i][j][2],选中多米诺的状态j，以i结尾，i是否翻转。的方案数

答案是:

如果某个多米诺头尾相同，就只加不翻转的方案。

如果全部的多米诺都相同，比如12,12,12这种，总答案要除以二。因为翻转和不翻转会重复同一个方案。

剩下的就是很经典的状态转移了。

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define ls (o<<1)
#define rs (o<<1|1)
#define pb push_back
const double PI= acos(-1.0);
const int M = 1e5+7;
/*
int head[M],cnt;
void init(){cnt=0,memset(head,-1,sizeof(head));}
struct EDGE{int to,nxt,val;}ee[M*2];
void add(int x,int y){ee[++cnt].nxt=head[x],ee[cnt].to=y,head[x]=cnt;}
*/
int f[20],b[20];
int dp[20][(1<<16)+7][2];//以第i个多米诺为结尾，选中多米诺的状态为j，最后一个多米诺是否翻面 
const int mod=1e9+7;

int main()
{
	ios::sync_with_stdio(false);
  	cin.tie(0);
  	int t;
  	cin>>t;
  	while(t--)
  	{
  		int n,flag=0,pp=0;
  		cin>>n;
		for(int i=0;i<n;i++)
		{
			cin>>f[i]>>b[i];
			if(f[i]>b[i])swap(f[i],b[i]);
			if(f[i]!=f[0]||b[i]!=b[0])flag=1;	
		}
		memset(dp,0,sizeof(dp));
		for(int i=0;i<n;i++)dp[i][1<<i][0]=dp[i][1<<i][1]=1;
		for(int i=2;i<(1<<n);i++)
		{
			for(int j=0;j<n;j++)
			{
				int tp=1<<j;
				if(i>>j&1)
				{
					for(int k=0;k<n;k++)
					{
						if(k==j)continue;
						if(i>>k&1)
						{
							if(f[j]==b[k])dp[j][i][0]+=dp[k][i^tp][0],dp[j][i][0]%=mod;
							if(f[j]==f[k]&&f[k]!=b[k])dp[j][i][0]+=dp[k][i^tp][1],dp[j][i][0]%=mod;
							if(b[j]==b[k])dp[j][i][1]+=dp[k][i^tp][0],dp[j][i][1]%=mod;
							if(b[j]==f[k]&&f[k]!=b[k])dp[j][i][1]+=dp[k][i^tp][1],dp[j][i][1]%=mod;
						}
					}
				}
			}
		}
		ll ans=0;
		for(int i=0;i<n;i++)
		{
			ans+=dp[i][(1<<n)-1][0];
			ans%=mod;
			if(f[i]!=b[i]&&flag==1)ans+=dp[i][(1<<n)-1][1],ans%=mod;
	//		cout<<i<<"  "<<dp[i][(1<<n)-1][0]<<" "<<dp[i][(1<<n)-1][1]<<endl;
		}
		cout<<ans<<endl;
	}
	return 0;
}