【搜索】洛谷 P1092 虫食算

题目描述

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

43#9865#045

+8468#6633

44445509678

其中#号代表被虫子啃掉的数字。根据算式，我们很容易判断：第一行的两个数字分别是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个不同的字母分别代表的数字，使得该加法算式成立。输入数据保证有且仅有一组解

输入输出格式

输入格式：

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

输出格式：

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

输入输出样例

输入样例#1：

5
ABCED
BDACE
EBBAA

输出样例#1：

1 0 3 4 2

说明

对于30％的数据，保证有N<＝10；

对于50％的数据，保证有N<＝15；

对于全部的数据，保证有N<＝26。

noip2004提高组第4题

思路

原题给的标程是用高斯消元做的，这让作为蒟蒻的我不知所措，那么就搜索吧。但是毕竟是提高组第四题，不是那么容易搜过的，于是就要有大量剪枝。搜索的方法很简单，但不是一行行一个一个数完整地搜，而是三个数一位位地搜。从第一个加数开始从后往前搜，每搜一位就转而去搜下一个加数的相同位置，这样两个加数的同一位置搜完后就可以进行和的推导和判断，如果不符合条件，就返回了，这也是剪枝的一种体现。然而就这样，我在洛谷上还是超时了一个点，于是就在循环里加上了register（不要学我，这个东西单纯为了A题，比赛不准用），最终AC。

代码

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
const int MAXN=30+10;
int sum[200];
int n,up[MAXN];
char calc[MAXN][MAXN];
bool flag[100];
void search_1(int p);
bool judge()
{
    for(register int i=1;i<=n;i++)
    {
        if(sum[calc[1][i]]>=0&&sum[calc[2][i]]>=0&&sum[calc[3][i]]>=0)
        {
            int temp=sum[calc[1][i]]+sum[calc[2][i]];
            if(temp%n!=sum[calc[3][i]]&&(temp+1)%n!=sum[calc[3][i]])return false;
        }
    }
    return true;
}
void search_3(int p)
{
    if(!judge())return ;
    int temp=sum[calc[1][p]]+sum[calc[2][p]]+up[p+1];
    if(sum[calc[3][p]]>=0)
    {
        if(temp==sum[calc[3][p]])search_1(p-1);
        else if(temp-n==sum[calc[3][p]])
        {
            up[p]=1;
            search_1(p-1);
            up[p]=0;
        }
        else return ;
    }
    else
    {
        if(temp>=n)
        {
            up[p]=1;
            temp-=n;
        }
        if(flag[temp])
        {
            sum[calc[3][p]]=temp;
            flag[temp]=false;
            search_1(p-1);
            sum[calc[3][p]]=-1;
            flag[temp]=true;
        }
        up[p]=0;
    }
}
void search_2(int p)
{
    if(!judge())return ;
    if(sum[calc[2][p]]>=0)search_3(p);
    else
    {
        for(register int i=0;i<=n-1;i++)
        {
            if(flag[i])
            {
                flag[i]=false;
                sum[calc[2][p]]=i;
                search_3(p);
                flag[i]=true;
                sum[calc[2][p]]=-1;
            }
        }
    }
}
void search_1(int p)
{
    if(p<=0)
    {
        printf("%d",sum['A']);
        for(register int i=1;i<=n-1;i++)printf(" %d",sum['A'+i]);
        exit(0);
    }
    if(!judge())return ;
    if(sum[calc[1][p]]>=0)search_2(p);
    else
    {
        for(register int i=0;i<=n-1;i++)
        {
            if(flag[i])
            {
                flag[i]=false;
                sum[calc[1][p]]=i;
                search_2(p);
                flag[i]=true;
                sum[calc[1][p]]=-1;
            }
        }
    }
}
int main()
{
    scanf("%d",&n);
    for(register int i=1;i<=3;i++)
    {
        getchar();getchar();//洛谷上是Linux，换行有两个换行符。。。在Windows上去掉一个就可以了。 
        for(register int j=1;j<=n;j++)scanf("%c",&calc[i][j]);
    }
    memset(sum,-1,sizeof(sum));
    memset(flag,true,sizeof(flag));
    search_1(n);
    return 0;
}