NOI2000 算符破译

题目

考古学发现，几千年前古梅文明时期的数学非常的发达，他们懂得多位数的加法和乘法，其表达式和运算规则等都与现在通常所用的方式完全相同（如整数是十进制，左边是高位，最高位不能为零；表达式为中缀运算，先乘后加等），唯一的区别是其符号的写法与现在不同。有充分的证据表明，古梅文明的数学文字一共有 13 个符号，与
0,1,2,3,4,5,6,7,8,9,+,∗,= 这 13 个数字和符号（称为现代算符）一一对应。为了便于标记，我们用 13 个小写英文字母 a,b,…m 代替这些符号（称为古梅算符）。但是，还没有人知道这些古梅算符和现代算符之间的具体对应关系。

在一个石壁上，考古学家发现了一组用古梅算符表示的等式，根据推断，每行有且仅有一个等号，等号左右两边为运算表达式（只含有数字和符号），并且等号两边的计算结果相等。

假设这组等式是成立的，请编程序破译古梅算符和现代算符之间的对应关系。

输入描述

第一行为等式的个数 N （1≤N≤10000），以下 N 行每行为一个等式。
每个等式的长度为 5 个字符到 11 个字符。

输出描述

如果不存在对应关系能够满足这组等式，输出noway。
如果有对应关系能够满足这组等式，输出所有能够确定的古梅算符和现代算符的对应关系。每一行有两个字符，其中第一个字符是古梅算符，第二个字符是对应的现代算符。输出按照字典顺序排序。

样例输入

2
abcdec
cdefe

样例输出 

a6
b*
d=
f+

样例说明

在上例中，可能对应的现代表达式为 {6∗2=12，2=1+1}，{6∗4=24，4=2+2}，{6∗8=48，8=4+4}{6∗2=12，2=1+1}，{6∗4=24，4=2+2}，{6∗8=48，8=4+4}。可见，能够确定的对应关系只有 aa 对应 66 ，bb 对应 ∗∗ ，dd 对应 ==，ff 对应 ++ ，应该输出；而 c,ec,e 虽然能够找到对应的现代算符使得等式成立，但没有唯一的对应关系，不能输出。其他古梅算符 g,h…mg,h…m 完全不能确定，也不能输出。

代码咯：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<set>
#include<vector>
#include<map>
#include<queue>
#include<string>
#include<bitset>
#include<iomanip>
#include<iostream>
#include<cmath>
using namespace std;
#define rep(i,x,y) for(i=x;i<=y;i++)
#define _rep(i,x,y) for(i=x;i>=y;i--)
#define REP(i,x,y) for(int i=(x);i<=(y);i++)
#define _REP(i,x,y) for(int i=(x);i>=(y);i--)
#define CL(S,x) memset(S,x,sizeof(S))
#define CP(S1,S2) memcpy(S1,S2,sizeof(S2))
#define ALL(x,S) for(__typeof((v).end()) x=S.begin();x!=S.end();x++)
#define pb push_back
#define IN insert
#define ER erase
#define BE begin()
#define ED end() 
#define LB lower_bound
#define UB upper_bound
#define mp make_pair
#define fi first
#define se second
#define upmin(x,y) x=min(x,y)
#define upmax(x,y) x=max(x,y)
#define COUT(S,x) cout<<fixed<<setprecision(x)<<S<<endl
template<class T> inline void read(T&x){bool fu=0;char c;for(c=getchar();c<=32;c=getchar());if(c=='-')fu=1,c=getchar();for(x=0;c>32;c=getchar())x=x*10+c-'0';if(fu)x=-x;};
template<class T> inline void read(T&x,T&y){read(x);read(y);}
template<class T> inline void read(T&x,T&y,T&z){read(x);read(y);read(z);}
inline char getc(){char c;for(c=getchar();c<=32;c=getchar());return c;}
 
typedef long long ll;
typedef long double ld;
typedef pair<int,int> pii;
 
const int inf=int(1e9);
int T,n,i,j,k,l,p,c;
char a[1111][13];int len[1111];
int w[15];int cnt[13][1111];
bool c2[15],c1[15];int lg2[(1<<10)+10];
int ans[15];
int st[15];bool mark[15];
bool near[128][128];
char eq,mul,add;bool sol;
 
bool caneq()
{
    CL(c1,1);
    for(char c='a';c<='m';c++)
    rep(i,1,T)
	{
		bool can2=1;
		rep(j,1,len[i])
		{
            if(j<len[i])near[a[i][j]][a[i][j+1]]=near[a[i][j+1]][a[i][j]]=1;
			if(a[i][j]==c)cnt[c-'a'][i]++;
		}
		if(cnt[c-'a'][i]!=1)can2=0;
		if(a[i][1]==c||a[i][len[i]]==c){c1[c-'a']=0;can2=0;}
		c2[c-'a']=can2;
	}
}
 
bool D(int x){return x>=0;}
int cl()
{
	int i,tot=0;
	for(;mark[st[0]-1];st[0]--)
		st[st[0]-1]=st[st[0]-1]*st[st[0]];
	rep(i,1,st[0])tot+=st[i];st[0]=0;
	return tot;
}
bool check(int d)
{
	int i,j,k,la=-1,left=-1,right=-1;st[0]=0;
	rep(i,1,len[d])
	{
		int c=w[a[d][i]-'a'];
		if(D(c))
			if(D(la))st[st[0]]=st[st[0]]*10+c;
			else st[++st[0]]=c;
		else
		{
			if(st[0]==0)return 0;
			for(;mark[st[0]-1];st[0]--)
				st[st[0]-1]=st[st[0]-1]*st[st[0]];
			if(c==-3)mark[st[0]]=1;
			else if(c==-1)left=cl();
			else mark[st[0]]=0;
		}
		la=c;
	}
	right=cl();
	return left==right;
}
 
void go(int d,int nl,int S) //dfs
{
    bool ppp=1;rep(i,0,12)if(!(ans[i]==w[i]||ans[i]==-200)){ppp=0;break;}if(ppp)return;
	if(d>T)
	{    
        //rep(i,0,12) printf("%c : %d\n",'a'+i,w[i]);printf("end\n");
        sol=1;
		rep(i,0,12)if(w[i]!=inf)
		{
		      if(ans[i]==-100)ans[i]=w[i];
		      else if(ans[i]!=w[i])ans[i]=-200;
        }
        else ans[i]=-200;
		return;
	}
	else
	{
		if(nl>len[d])
		{
			if(check(d))
                go(d+1,1,S);
			return;
		}
		int cc=a[d][nl]-'a';
		if(w[cc]==inf)
		{
			for(int S2=S;S2;S2-=S2&-S2)
			{
				int t=lg2[S2&-S2];
				if(nl==1&&t==0&&w[a[d][2]-'a']>0)continue;
				w[cc]=t;
				go(d,nl+1,S-(S2&-S2));
				w[cc]=inf;
			}
		}
		else go(d,nl+1,S);
	}
}
void print()
{
    int i;
    rep(i,0,12)
	if(ans[i]>=-3)
	{
		putchar('a'+i);
		if(ans[i]==-3)putchar('*');
		else if(ans[i]==-2)putchar('+');
		else if(ans[i]==-1)putchar('=');
		else putchar('0'+ans[i]);
		putchar('\n');
	}
	if(!sol)printf("noway\n");
}
 
int g,lw[15],rw[15];
void clw(int&L,int&R){L=R=0;for(;g;g--)upmax(L,lw[g]),R=max(rw[g],R)+(R>0);}
bool predfs()
{
    int d,i,j,la,Llw,Lrw,Rlw,Rrw;
    rep(d,1,T){
        g=0;la=-1;
        rep(i,1,len[d]){
    		int c=w[a[d][i]-'a'];
    		if(c==inf){if(la<0)g++,lw[g]=rw[g]=0;lw[g]++;rw[g]++;}
    		else{
                if(g==0)return 0;
    			for(;mark[g-1];g--)  lw[g-1]+=lw[g]-1,rw[g-1]+=rw[g];
    			if(c==-3)mark[g]=1;
    			else if(c==-2)mark[g]=0;
                else if(c==-1)clw(Llw,Lrw);
    		}
    		la=c;
    	}
    	clw(Rlw,Rrw);
        if(Lrw<Rlw||Rrw<Llw)
        {
            return 0;
        }
    }
    return 1;
}
 
int main()
{
    //freopen("eqution.in","r",stdin);freopen("eqution.out","w",stdout);
    
	read(T);rep(i,1,T)scanf("%s",a[i]+1),len[i]=strlen(a[i]+1);
	
	rep(i,0,10)lg2[1<<i]=i;
	
	caneq();
 
	rep(i,0,12)ans[i]=-100;
	
	for(eq='a';eq<='m';eq++)if(c2[eq-'a'])
	for(mul='a';mul<='m';mul++)if(c1[mul-'a'])
	for(add='a';add<='m';add++)if(c1[add-'a'])
	if(eq!=mul&&add!=mul&&eq!=add)
	if(!near[eq][mul]&&!near[eq][add]&&!near[mul][add])
	{   
		rep(i,0,12)w[i]=inf;w[eq-'a']=-1;w[add-'a']=-2;w[mul-'a']=-3;
		
		if(!predfs())continue;
		
		go(1,1,(1<<10)-1);
	}
	
	
	print();
	
    return 0;
}