[NOIP2004]虫食算 T4

Description

所谓虫食算，就是原先的算式中有一部分被虫子啃掉了，需要我们根据剩下的数字来判定被啃掉的字母。来看一个简单的例子：

           43#9865#045
    +        8468#6633
    =      44445506678

其中#号代表被虫子啃掉的数字。根据算式，我们很容易判断：第一行的两个数字分别是5和3，第二行的数字是5。
现在，我们对问题做两个限制：
首先，我们只考虑加法的虫食算。这里的加法是N进制加法，算式中三个数都有N位，允许有前导的0。
其次，虫子把所有的数都啃光了，我们只知道哪些数字是相同的，我们将相同的数字用相同的字母表示，不同的数字用不同的字母表示。如果这个算式是N进制的，我们就取英文字母表午的前N个大写字母来表示这个算式中的0到N-1这N个不同的数字：但是这N个字母并不一定顺序地代表0到N-1)。输入数据保证N个字母分别至少出现一次。

     BADC
  +  CBDA
  =  DCCC

上面的算式是一个4进制的算式。很显然，我们只要让ABCD分别代表0123，便可以让这个式子成立了。你的任务是，对于给定的N进制加法算式，求出N个不同的字母分别代表的数字，使得该加法算式成立。输入数据保证有且仅有一组解

Input

输入包含4行。第一行有一个正整数N(N< =26)，后面的3行每行有一个由大写字母组成的字符串，分别代表两个加数以及和。这3个字符串左右两端都没有空格，从高位到低位，并且恰好有N位。

Output

输出包含一行。在这一行中，应当包含唯一的那组解。解是这样表示的：输出N个数字，分别表示A，B，C……所代表的数字，相邻的两个数字用一个空格隔开，不能有多余的空格。

Sample Input

5
ABCED
BDACE
EBBAA

Sample Output

1 0 3 4 2

Key To Problem

搜索剪枝的经典例题，曾经有一段时间怎么写都过不去，简直哭死。
首先将这个式子从右到左每个字母出现的顺序记录下来，之后按照这个顺序来枚举，每搜到一个字母就进行判断以出现的字母做构成的式子是否成立。
如样例：

    ABCED
+   BDACE
=   EBBAA

那么我们所得到的顺序从右向左，从上向下数，第一个是D，第二个是E，第三个是A，第四个是C，第五个是B，那么顺序就记录下来了。
之后搜的时候，第一个搜到的是D，那么从1到n-1枚举为D赋值，每次赋值之后检查这个式子是否成立，最后所有值都搜索完，在检查式子是否成立，若成立，输出结果后直接退出，若不成立，则需要继续向下搜索。

Code

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define N 30
using namespace std;
int n;
char s[4][N];
int a[4][N];
int f[N];
int c[N];
int used[N];

int is1()
{
    for(int i=n;i>=1;i--)
        if(f[a[1][i]]!=-1&&f[a[2][i]]!=-1&&f[a[3][i]]!=-1)
            if((f[a[1][i]]+f[a[2][i]])%n!=f[a[3][i]])
                if((f[a[1][i]]+f[a[2][i]]+1)%n!=f[a[3][i]])
                    return 0;
    return 1;
}

int is2()
{
    int k=0;
    for(int i=n;i>=1;i--)
    {
        k=f[a[1][i]]+f[a[2][i]]+k;
        if(f[a[3][i]]!=k%n)
            return 0;
        k/=n;
    }
    return 1;
}

void print()
{
    for(int i=1;i<n;i++)
        printf("%d ",f[i]);
    printf("%d\n",f[n]);
    return ;
}

void dfs(int deep)
{
    if(is1()==0)
        return ;
    if(f[a[1][1]]+f[a[2][1]]>=n)
        return ;
    if(deep>n)
    {
        if(is2())
        {
            print();
            exit(0);
        }else
            return ;
    }
    for(int i=n-1;i>=0;i--)
    {
        if(used[i]==0)
        {
            used[i]=1;
            f[c[deep]]=i;
            dfs(deep+1);
            used[i]=0;
            f[c[deep]]=-1;
        }
    }
}

int main()
{
    cin>>n;
    for(int i=1;i<=3;i++)
        cin>>s[i]+1;
    for(int i=1;i<=3;i++)    
        for(int j=1;j<=n;j++)
            a[i][j]=s[i][j]-'A'+1;
    int k=0;
    for(int j=n;j>=1;j--)
    {
        for(int i=1;i<=3;i++)
        {
            if(!used[a[i][j]])
            {
                used[a[i][j]]=1;
                c[++k]=a[i][j];
            }
        }
        if(k==n)
            break;
    }
    memset(f,-1,sizeof(f));
    memset(used,0,sizeof(used));
    dfs(1);
}