好吧这题正解其实是高斯消元,但是dfs剪枝也能过。
题目链接:洛谷P1072虫食算
题目要素:dfs剪枝
题目分析:
很显然要枚举每一个字母代表的数是什么,注意一个字母可以代表0。
然后考虑如何剪枝:直接判断每一种情况在当前是否可以判断它不成立,以达到剪枝的效果。
我们考虑如何判断当前情况不成立:
(1)肯定要从低位到高位判断,因为要考虑进位的问题。
(2)因为在当前情况下,可能高位的字母被确定后,低位反而没有被确定,因此需要分进位是否被确定两种情况。
还可以发现:第一位没有进位,因此需要特殊考虑。
✧✧✧✧<1>如果进位x被确定了:
✧✧✧✧✧✧✧✧✧【1】在第一位:a+b>=n && (a+b)%n = c 即成立
✧✧✧✧✧✧✧✧✧【2】在其他位:(a+b+x)%n = c即可
✧✧✧✧<2>如果进位x没有被确定,那么进位只可能是0或者1
✧✧✧✧✧✧✧✧✧【1】在第一位:a+b>=n && ((a+b+0)%n = c || (a+b+1)%n = c)) 则成立
✧✧✧✧✧✧✧✧✧【2】在其他位:(a+b+0)%n = c || (a+b+1)%n = c)即成立
(3)还有一个细节:
因为要枚举每一个字母出现于什么位置,就可以知道先讨论在低位出现的字母能较早地发现不合理的情况,从而进一步优化。
并不是不这么写会TLE掉3个点
Code
#include<bits/stdc++.h>
using namespace std;
const int maxn=35;
int n,vis[maxn],num[maxn],cnt;
bool used[maxn];
char s[maxn][maxn],ch[maxn];
bool check()
{
int x=0;
for(int i=n;i>=1;--i)
{
int a=num[s[1][i]-'A'];
int b=num[s[2][i]-'A'];
int c=num[s[3][i]-'A'];
if(a!=-1 && b!=-1 && c!=-1)
{
if(x!=-1)
{
if((a+b+x)%n != c) return false;
if(i==1 && a+b+x>=n) return false;
x=(a+b+x)/n;
}
else
{
if((a+b+0)%n!=c && (a+b+1)%n!=c) return false;
if(i==1 && a+b>=n) return false;
}
}
else x=-1;
}
return true;
}
bool dfs(int x)
{
if(x==cnt+1) return true;
for(int i=0;i<n;++i)
{
if(!used[i])
{
num[ch[x]-'A']=i;
used[i]=true;
if(check() && dfs(x+1)) return true;
num[ch[x]-'A']=-1;
used[i]=false;
}
}
return false;
}
int main()
{
memset(num,-1,sizeof(num));
scanf("%d",&n);
for(int i=1;i<=3;++i) scanf("%s",s[i]+1);
for(int j=n;j>=1;--j)
for(int i=1;i<=3;++i)
if(!vis[s[i][j]-'A'])
{
vis[s[i][j]-'A']=1;
ch[++cnt]=s[i][j];
}
dfs(1);
for(int i=0;i<n;++i) printf("%d ",num[i]);
return 0;
}