2009-2010 ACM-ICPC, NEERC, Southern Subregional Contest B kakuro

神奇搜索题。

题目大意：

填数游戏。格子有墙壁和空格两种。如果墙壁的下方/右方不是墙壁，那么上面会有一个数，表示这个墙壁沿竖直/水平方向一直走到下一个墙壁上空格的数总和要和这个数相同，同时这条路径上不能有相同的数。找出任意一种合法的方案。填的数在1-9之间。

显然是搜索剪枝题，没什么好说的，但是有几个比较重要的剪枝，比如：

1、用2进制位表示哪些数已经出现过了。这样我们就能用一个0-1023之间的数表示出现的状态。

2、用mi[i][j]表示在当前状态下最少填出的数。i表示已经填过的数的状态，j表示还有多少个空没填。如果mi[i][j]>还要加上的数，就可以剪枝。

3、用ma[i][j]表示在当前状态下最多填出的数，和上面类似。

4、用zt[i][j]表示如果要在j步内填出i，可以进行的操作。如果枚举到的填的这个数&zt[i]j[j]不满足，就剪枝。

5、和其他搜索一样，先从约束条件少的填。我是将和这个格子所在的竖行的空格数和所在横行的空格数相加并排序，然后从小到大填。

998ms极限跑过，这。。。

附代码：

#include<bits/stdc++.h>
#define N 7
using namespace std;
struct Node{int x,y;}e[N*N];
int cx[N][N];
inline bool cmp(Node a,Node b){return cx[a.x][a.y]<cx[b.x][b.y];}
int belong[N][N][2];
char ch[N][N][10];
int sz[72],siz[72],zon[72],dt[N][N];
int tr[N][N];
int zt[72][10];
int n,m,xz,flag;
int total;
inline void pc(){
	for(int i=0;i<xz;i++)
		if(zon[i]) return;
	for(int i=0;i<n;i++){
		for(int j=0;j<m;j++){
			if(dt[i][j]) printf("%d ",tr[i][j]);
			else printf("_ ");
		}
		puts("");
	}
	exit(0);
}
int mi[1<<10][10];
int ma[1<<10][10];
void dfs(int p){
	if(p==total){
		pc();
		return;
	}
	for(int i=1;i<10;i++){
		int f=0;
		for(int j=0;j<2;j++){
			int k=belong[e[p].x][e[p].y][j];
			if(sz[k]&(1<<i)) break;
			if(zon[k]<i+mi[sz[k]&(1<<i)][siz[k]-1]) break;
			if(zon[k]>i+ma[sz[k]&(1<<i)][siz[k]-1]) break;
			if(!(zt[zon[k]][siz[k]]&(1<<i))) break;
			f++;
		}
		if(f==2){
			for(int j=0;j<2;j++){
				int k=belong[e[p].x][e[p].y][j];
				siz[k]--;zon[k]-=i;sz[k]+=(1<<i);
				}
			tr[e[p].x][e[p].y]=i;
			dfs(p+1);
			for(int j=0;j<2;j++){
				int k=belong[e[p].x][e[p].y][j];
				siz[k]++;zon[k]+=i;sz[k]-=(1<<i);
			}
		}
	}
}
int main(){
	freopen("input.txt","r",stdin);
	freopen("output.txt","w",stdout);
	for(int i=(1<<10)-1;i>=0;i--){
		int tot=0,zon=0;
		for(int j=1;j<10;j++){
			if(!((1<<j)&i)) tot++,zon+=j;
			mi[i][tot]=zon;
		}
		tot=0,zon=0;
		for(int j=9;j>1;j--){
			if(!((1<<j)&i)) tot++,zon+=j;
			ma[i][tot]=zon;
		}
	}
	for(int j=(1<<10)-1;j>=1;j--){
		int tot=0,use=0;
		for(int i=1;i<10;i++)
			if((1<<i)&j) tot+=i,use++;
		zt[tot][use]|=j;
	}
	scanf("%d%d",&n,&m);
	for(int i=0;i<n;i++){
		for(int j=0;j<m;j++){
			scanf("%s",ch[i][j]);
			if(ch[i][j][0]=='.') dt[i][j]=1;
		}
	}
	for(int i=0;i<n;i++)
		for(int j=0;j<m;j++)
			if(ch[i][j][2]==92){
				if(ch[i][j][0]!='X'){
					for(int l=1;dt[i+l][j];l++) belong[i+l][j][0]=xz,siz[xz]++;
					for(int l=1;dt[i+l][j];l++) cx[i+l][j]+=siz[xz];
					zon[xz]=(ch[i][j][0]-'0')*10+ch[i][j][1]-'0';
					xz++;
				}
				if(ch[i][j][3]!='X'){
					for(int l=1;dt[i][j+l];l++) belong[i][j+l][1]=xz,siz[xz]++;
					for(int l=1;dt[i][j+l];l++) cx[i][j+l]+=siz[xz];
					zon[xz]=(ch[i][j][3]-'0')*10+ch[i][j][4]-'0';
					xz++;
				}
			}
	for(int i=0;i<n;i++)
		for(int j=0;j<m;j++)
			if(dt[i][j]==1){
				e[total].x=i,e[total].y=j;
				total++;
			}
	sort(e,e+total,cmp);
	dfs(0);
	return 0;
}