洛谷 P1092 虫食算

题目链接 https://www.luogu.org/problemnew/show/P1092

已经是第三遍做了，终于记住搜索的方法了。

思路就是从低位向高位搜索，如果多于1个数未知，就枚举，1个数未知就算出来，全部已知就检查是否满足加法。

这样裸搜应该能拿到90分，接下来考虑剪枝。

每填完一位检查高位，如果三个数都已知，那么如果在无论有无进位的情况下都不能成立，则是不成立的情况。

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
bool flg,b[33];
int n,a[30],s[4][30];

void dfs(int pos,int jin)//ËÑË÷µ½pos룬ÓÐjinµÄ½øλ 
{
    if(flg)
        return ;
    
    if(pos<0&&jin==0)
    {
        flg=1;
        for(int i=0;i<n;i++)
        {
            printf("%d",a[i]);
            if(i==n-1)
                printf("
");
            else
                printf(" ");
        }
        return ;
    }
    
    int cnt=0;
    for(int i=1;i<=3;i++)
        if(a[s[i][pos]]==-1)
            cnt++;
    
    if(cnt==0)
    {
        for(int i=pos-1;i>=0;i--)
        {
            int ct=0;
            for(int j=1;j<=3;j++)
                if(a[s[j][i]]==-1)
                    ct++;
            if(ct==0)
            {
                int tmp=a[s[1][i]]+a[s[2][i]];
                if(tmp%n!=a[s[3][i]]&&(tmp+1)%n!=a[s[3][i]])
                    return ;
            }
        }
        int tmp=a[s[1][pos]]+a[s[2][pos]]+jin;
        if(tmp%n==a[s[3][pos]])
            dfs(pos-1,tmp/n);
    }
    
    else if(cnt==1)
    {
        if(a[s[1][pos]]==-1)
        {
            int tmp=a[s[3][pos]]-jin-a[s[2][pos]];
            if(tmp>=0&&tmp<n)
                a[s[1][pos]]=tmp;
            else
                a[s[1][pos]]=tmp+n;
            if(!b[a[s[1][pos]]])
            {
                b[a[s[1][pos]]]=1;
                dfs(pos,jin);
                b[a[s[1][pos]]]=0;
            }
            a[s[1][pos]]=-1;
        }
        else if(a[s[2][pos]]==-1)
        {
            int tmp=a[s[3][pos]]-jin-a[s[1][pos]];
            if(tmp>=0&&tmp<n)
                a[s[2][pos]]=tmp;
            else
                a[s[2][pos]]=tmp+n;
            if(!b[a[s[2][pos]]])
            {
                b[a[s[2][pos]]]=1;
                dfs(pos,jin);
                b[a[s[2][pos]]]=0;
            }
            a[s[2][pos]]=-1;
        }
        else
        {
            int tmp=a[s[1][pos]]+a[s[2][pos]]+jin;
            if(tmp>=0&&tmp<n)
                a[s[3][pos]]=tmp;
            else
                a[s[3][pos]]=tmp-n;
            if(!b[a[s[3][pos]]])
            {
                b[a[s[3][pos]]]=1;
                dfs(pos,jin);
                b[a[s[3][pos]]]=0;
            }
            a[s[3][pos]]=-1;
        }
    }
    
    else
    {
        for(int i=1;i<=3;i++)
            if(a[s[i][pos]]==-1)
            {
                for(int j=n-1;j>=0;j--)
                    if(!b[j])
                    {
                        a[s[i][pos]]=j,b[j]=1;
                        dfs(pos,jin);
                        a[s[i][pos]]=-1,b[j]=0;
                    }
                break;
            }
    }
}

int main()
{
    scanf("%d",&n);
    for(int i=1;i<=3;i++)
    {
        char ch[33];
        scanf("%s",ch);
        for(int j=0;j<n;j++)
            s[i][j]=ch[j]-'A';
    }
    memset(a,-1,sizeof(a));
    
    dfs(n-1,0);
    return 0;
}