BZOJ 1860: [Zjoi2006]Mahjong麻将

题目： http://www.lydsy.com/JudgeOnline/problem.php?id=1860

/*
* BZOJ 1860: [Zjoi2006]Mahjong麻将
*
* 分析：
* 据说有DP解，暂时没想出来。。。直接暴力dfs+hash
* dfs(pos,two,state):pos表示当前的位置，two表示是否有对，state表示状态
* 暴力枚举四种情况，然后每次进行搜索前进行hash判重。
* hash判重时使用像池子法一样的方式解决冲突问题。
*
* */

#include <cstdio>

#include <iostream>

#include <cstring>



using namespace std;



const int maxm = 2e5+10;

const int mod = 99997;

const int maxn = 105;

const int n = 100;

const int seed = 103;



typedef unsigned long long ll;



ll p[maxn];

int a[maxn];



int po[mod+3],tol;



struct Hash{

	ll val;

	int next;

}edge[maxm];



void ins(ll x){ //insert x

	int y = int(x%mod);

	edge[++tol].val = x;

	edge[tol].next = po[y];

	po[y] = tol;

}



bool has(ll x){ //has x ?

	int y = int(x%mod);

	for(int i=po[y];i;i=edge[i].next)

		if(edge[i].val==x)

			return true;

	return false;

}



bool dfs(int pos,bool two,ll state){

	if(has(state))

		return false;

	ins(state);

	

	while(pos<=n&&a[pos]==0)

		pos ++;

	if(pos>n)

		return two;

	

	if(pos+2<=n&&a[pos+1]&&a[pos+2]){ //three continous

		a[pos]   --;

		a[pos+1] --;

		a[pos+2] --;

		if(dfs(pos,two,state-p[pos]-p[pos+1]-p[pos+2]))

			return true;

		a[pos]	 ++;

		a[pos+1] ++;

		a[pos+2] ++;

	}



	if(a[pos]>=3){ //three

		a[pos] -= 3;

		if(dfs(pos,two,state-p[pos]*3))

			return true;

		a[pos] += 3;

	}

1

	if(a[pos]>=4){ // four

		a[pos] -= 4;

		if(dfs(pos,two,state-p[pos]*4))

			return true;

		a[pos] += 4;

	}



	if(a[pos]>=2 && !two){ // pair

		a[pos] -= 2;

		//对于一对的特殊判断，比如可能存在5 = 3 + 2 = 4 +1（连续型但之前搜过不行）

		if(dfs(pos,true,state-p[pos]*2-p[n+1]))

			return true;

		a[pos] += 2;

	}



	return false;

}



int main(){

	int ncase,x;

	cin>>ncase;

	

	p[1] = 1;

	for(int i=2;i<=n+1;i++)

		p[i] = p[i-1]*seed;



	while(ncase--){

		ll state = 0;

		for(int i=1;i<=n;i++){

			scanf("%d",&a[i]);

			state *= seed;

			state += a[i];

		}

		state *= seed; //对于一对的特殊判断

		state ++;

		memset(po,0,sizeof(po));

		tol = 0;

		dfs(1,false,state)?puts("Yes"):puts("No");

	}

	return 0;

}