洛谷 1092

     经典搜索题，开始的思路是从右向左推，如果发现有字母没有赋值，就给他赋值，如果发现不满足条件就回溯，这样就有80分了，后来将赋值顺序由0--n-1改成了n-1--0，这样就有90分，因为小的数字比较灵活，容易进到更深层，而大的数字发生回溯的概率更高，然后看了别人的题解有发现了一个剪枝，将当前处理的列左边的那些列扫一遍，如果发现有3个数全确定的判断是否合法，如果不合法就回溯，这样就变成了满分。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define maxn 30
int n,flag[maxn];
char s[4][maxn];
bool use[maxn];

int id(char p)
{
	return p-'A'+1;	
}

void dfs(int x,int y,int t)
{
	if (x==0) 
	{
		if (t==0)
		{
			for (int i=1;i<n;i++) printf("%d ",flag[i]);
			printf("%d\n",flag[n]);
			exit(0);	
		}
		return;
	}
	for (int i=x-1;i>=1;i--) 
	{
		int w1=flag[id(s[1][i])];
		int w2=flag[id(s[2][i])];
		int w3=flag[id(s[3][i])];
		if (w1==-1||w2==-1||w3==-1) continue;
		if ((w1+w2)%n!=w3&&(w1+w2+1)%n!=w3) return;	
	}
	if (flag[id(s[y][x])]==-1) 
	{
		
		for (int i=n-1;i>=0;i--) 
			if (!use[i]) 
			{
				if (y!=3) 
				{
					flag[id(s[y][x])]=i;
					use[i]=1;
					dfs(x,y+1,t);
					flag[id(s[y][x])]=-1;
					use[i]=0;
				}
				else 
				{
					int w=flag[id(s[1][x])]+flag[id(s[2][x])]+t;
					if (w%n!=i) continue;
					use[i]=1;flag[id(s[3][x])]=i;
					dfs(x-1,1,w/n);
					use[i]=0;flag[id(s[3][x])]=-1;
				}
			}
	}
	else 
	{
		if (y!=3) dfs(x,y+1,t);
		else 
		{
			int w=flag[id(s[1][x])]+flag[id(s[2][x])]+t;
			if (w%n!=flag[id(s[3][x])]) return;
			dfs(x-1,1,w/n);
		}
	}
}

int main()
{
	scanf("%d",&n);
	for (int i=1;i<=3;i++) scanf("%s",s[i]+1);
	memset(flag,-1,sizeof flag);
	dfs(n,1,0);
	return 0;	
}