洛谷P1092 虫食算

题目描述

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

 43#9865#045
+  8468#6633
 44445509678

其中$#$号代表被虫子啃掉的数字。根据算式，我们很容易判断：第一行的两个数字分别是55和33，第二行的数字是55。

现在，我们对问题做两个限制：

首先，我们只考虑加法的虫食算。这里的加法是NN进制加法，算式中三个数都有NN位，允许有前导的00。

其次，虫子把所有的数都啃光了，我们只知道哪些数字是相同的，我们将相同的数字用相同的字母表示，不同的数字用不同的字母表示。如果这个算式是NN进制的，我们就取英文字母表午的前NN个大写字母来表示这个算式中的00到N-1N−1这NN个不同的数字：但是这NN个字母并不一定顺序地代表00到N-1N−1。输入数据保证NN个字母分别至少出现一次。

 BADC
+CBDA
 DCCC

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

输入输出格式

输入格式：

 

包含四行。
第一行有一个正整数N(N \le 26)N(N≤26)。

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

 

输出格式：

 

一行，即唯一的那组解。

解是这样表示的：输出NN个数字，分别表示A,B,C,…A,B,C,…所代表的数字，相邻的两个数字用一个空格隔开，不能有多余的空格。

 

输入输出样例

输入样例#1： 复制

5
ABCED
BDACE
EBBAA

输出样例#1： 复制

1 0 3 4 2

说明

对于30％的数据，保证有N \le 10N≤10；

对于50％的数据，保证有N \le 15N≤15；

对于全部的数据，保证有N \le 26N≤26。

noip2004提高组第4题

---

尼玛的，这题写了我两天，我这人有强迫，必须写了这题再写下一题，硬是给捣鼓出来了

思路：

我们可以从右往左，从上往下一个字母一个字母搜：因为符合加法的运算，方便进位

如果搜到前两行的字母，则判断是否已经被赋值，如果赋值的话，就搜下一个字母，否则就枚举赋值，

如果搜到第三行的字母，判断是否赋值，没有的话根据前两行计算和，再判断和这个数是否已经用过，没用过就赋值然后搜索下一列：（这里都是一个字母一个字母的搜，一行不是表示一行所有的字母）

 还有一个最重要的剪枝，假如搜索到第x列： 在已经被搜索的的x~li（li是字符串的长度）列中，有可能已经有三个字母已经被赋值，那么在0~x列中，如果碰巧这三个字母在同一列且不符合加法，则x列就返回，这就是传说中的的剪枝大法哈哈

code：

#include<bits/stdc++.h>
using namespace std;
map<char,bool> vis;//vis['A']==0表示A还没有被赋值
map<char,int> M;//用字母表示下标,存放int值
char s[3][30];//存放字符串 
bool use[30];//use标记这个数是否用过
int  li,n; //字符串的长度，n进制
void print()//输出 
{
	for(int i=0;i<n;i++) cout<<M['A'+i] <<' ';
}
void deep(int x,int y,int k) //第x列第y行 是否进位
{
	if(x<0)//如果到底了 
	{
		if(k==1) return ;//如果还有进位 
		
		print();
		exit(0);
	}
	for (int i=x-1;i>=1;i--) //剪枝1 
    {
    	if(vis[s[0][i]]==0||vis[s[1][i]]==0||vis[s[2][i]]==0) continue;
        int w1=M[s[0][i]];
        int w2=M[s[1][i]];
        int w3=M[s[2][i]];
        if ((w1+w2)%n!=w3&&(w1+w2+1)%n!=w3)     return ;   
    }
	char c=s[y][x];
	if(y==2)//如果到最后一行 
	{
		if(vis[c]==0)//如果还没有被赋值 
		{
			int t=M[s[0][x]]+M[s[1][x]]+k,flag=0;//flag用来判断是否需要进位 
			if(t>=n) flag=1, t%=n;
			if(use[t]) 	return ; //剪枝2 
			
			M[c]=t; use[t]=1; vis[c]=1;
			deep(x-1,0,flag);
			use[t]=0; vis[c]=0;//如果跳出来了说明这条路行不通 
		}
		else//赋过值 就判断是否相等 
		{
			int t=M[s[0][x]]+M[s[1][x]]+k;
			if((t%n)!=M[c]) return ;//剪枝3 
			else
			{
				if(t>=n) deep(x-1,0,1);
				else 	 deep(x-1,0,0);
			}
		}
	}
	else
	{
		if(vis[c]==0) 
		{
			for(int i=n-1;i>=0;i--)//枚举 
			if(use[i]==0)
			{
				use[i]=1; vis[c]=1;	M[c]=i;
				deep(x,y+1,k);
				use[i]=0; vis[c]=0;	//回溯 
			}
		}
		else deep(x,y+1,k);
	}
}
int main() 
{
	ios::sync_with_stdio(false);
	cin>>n;
	for(int i=0;i<3;i++)
	cin>>s[i];
	li=strlen(s[0]);
	deep(li-1,0,0);
	return 0; 
}