【04NOIP】提高组 之 虫食算

计蒜君上线

考 回溯剪枝   模拟

题目：

描述

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

来看一个简单的例子：

43#9865#045

+ 8468#6633

44445506978

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

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

看完头有点疼，

输入

包含4行。

第一行有一个正整数�(�⩽26)N(N⩽26)，

后面的3行每行有一个由大写字母组成的字符串，分别代表两个加数以及和。这33个字符串左右两端都没有空格，从高位到低位，并且恰好有�N位。

输出

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

看懂了吗？题目差不多已经给你讲解了，考模拟没啥，就看你对回溯剪枝的理解了

给你们脑补一下回溯剪枝：

由于回溯算法的时间复杂度很高，因此，如果在遍历的时候，如果能够提前知道这一条分支不能搜索到满意的结果，就可以提前结束，这一步操作称之为剪枝。

回溯算法会大量应用“剪枝”技巧达到以加快搜索速度。有些时候，需要做一些预处理工作（例如排序）才能达到剪枝的目的。预处理工作虽然也消耗时间，但一般而且能够剪枝节约的时间更多。还有正是因为回溯问题本身时间复杂度就很高，所以能用空间换时间就尽量使用空间。否则时间消耗又上去了。

这题通过率较高，最后看一下限制，时间限制 1000ms   内存限制 64MB

不讲了，上AC代码吧（有批注，想要理解更深一层的可以看一下，上面的讲解比较表面，还看一点操作，下面代码配合批注，可以更好的去理解这一题）：

#include <iostream>
#include <cstring>
using namespace std;
const int N = 30;
int n, q[N], ans[N];
bool st[N], used[N];
char s[3][N];
bool check()
{
    int t = 0; //进位初始化为0
    //从右向左检查算式每一列是否可行
    for(int i = n - 1; i >= 0; i --)
    {
        int a = ans[s[0][i] - 'A'], b = ans[s[1][i] - 'A'], c = ans[s[2][i] - 'A'];
        if(a != -1 && b != -1 && c != -1) //abc都已确认
        {
            if(t != -1) //进位已经确定
            {
                if((a + b + t) % n != c) return false; 
                if(!i && (a + b + t) >= n) return false; //最高位有进位
                t = (a + b + t) / n; //计算进位
            }
            else //进位不确定
            {
                if((a + b + 0) % n != c && (a + b + 1) % n != c) return false;
                if(!i && (a + b) >= n) return false; //最高位有进位
            }
        }
        else //abc只要有一位不确定，进位就不确定
        {
            t = -1;
        }
    }
    return true;
}
//搜索队列中的第t个字符所代表的数字
bool dfs(int t) 
{
    if(t == n) return true;
    //优化搜索顺序，从大到小枚举字母代表的数字
    for(int i = n - 1; i >= 0; i --)
    {
        if(!used[i])//如果数字i没有使用过
        {
            used[i] = true;
            ans[q[t]] = i; //搜索队列中第t个字母代表数字i
            if(check() && dfs(t + 1)) return true;//可行性剪枝
            used[i] = false; //恢复现场
            ans[q[t]] = -1;
        }
    }
    return false; //注意，当前方案不成功则返回false
}

int main()
{
    cin >> n;
    for(int i = 0; i < 3; i ++) cin >> s[i];
    //优化搜索顺序，从右向左将字母存储到搜索队列中
    for(int i = n - 1, k = 0; i >= 0; i --)
        for(int j = 0; j < 3; j ++)
        {
            int x = s[j][i] - 'A'; 
            if(!st[x]) //如果x没有出现过
            {
                q[k ++] = x; //将x放入搜索队列中
                st[x] = true;
            }
        }
    memset(ans, -1, sizeof ans); //-1表示字母代表的数字还未确定
    dfs(0);
    //从A开始输出每个字符代表的数字
    for(int i = 0; i < n; i ++) cout << ans[i] << " ";
    return 0;
}

//完结撒花