[Noip2004]虫食算 dfs

Posted TS_Hugh

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了[Noip2004]虫食算 dfs相关的知识,希望对你有一定的参考价值。

搜索问题的关键:优秀的搜索策略以及行之有效的减枝

对于这道题我们阶乘搜肯定不行所以我们按位搜,我们对每一位的三个数进行赋值,然后判解。

对于此一类的搜索乘上一个几十的常数来减枝往往要比直接搜要快得多,因为这样的问题他们都会有一个庞大的"之后",而且判断不存在较为容易,以我们多花一些时间进行减枝往往能达到剪掉许多枝的效果。

搜索还是看感觉,倒搜还是比正搜快......

#pragma GCC optimize("O3")
#include <cstdio>
#include <cstring>
char A[30],B[30],C[30];
int a[30],b[30],c[30],n;
int qian[30],hou[30],ans[30],get[30];
bool god;
inline void put_it(){
    int len=n;
    for(int i=len-1;i>=0;i--)
        a[len-i]=A[i]-A;
    len=strlen(B);
    for(int i=len-1;i>=0;i--)
        b[len-i]=B[i]-A;
    len=strlen(C);
    for(int i=len-1;i>=0;i--)
        c[len-i]=C[i]-A;
    for(int i=0;i<=n;i++)hou[i]=i+1,qian[i+1]=i;
    memset(get,-1,sizeof(get)),memset(ans,-1,sizeof(ans));
}
inline void dfs(int now,int up){
    if(now==n+1){
        if(!up){
            god=1;
            for(int i=0;i<n;i++)printf("%d ",ans[i]);
        }
        return;
    }
    if(god)return;
    register int temp;
    if(ans[a[now]]!=-1&&ans[b[now]]!=-1){
        temp=(ans[b[now]]+ans[a[now]]+up)%n;
        if(ans[c[now]]==-1&&get[temp]==-1)
            get[temp]=1,ans[c[now]]=temp,dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n),get[temp]=-1,ans[c[now]]=-1;
        else if(ans[c[now]]!=-1&&(temp==ans[c[now]]))
            dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n);
        if(god)return;
        return;
    }
    if(ans[a[now]]==-1&&ans[b[now]]==-1){
        if(a[now]==b[now]){
            for(int i=qian[n+1];i>0;i=qian[i]){
                if(get[i-1]!=-1)continue;
                hou[qian[i]]=hou[i],qian[hou[i]]=qian[i],get[i-1]=1;
                ans[a[now]]=i-1;
                temp=(ans[b[now]]+ans[a[now]]+up)%n;
                if(ans[c[now]]==-1&&get[temp]==-1)
                    get[temp]=1,ans[c[now]]=temp,dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n),get[temp]=-1,ans[c[now]]=-1;
                else if(ans[c[now]]!=-1&&(temp==ans[c[now]]))
                    dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n);
                if(god)return;
                ans[a[now]]=-1;
                hou[qian[i]]=i,qian[hou[i]]=i,get[i-1]=-1;
            }
            return;
        }
        for(int i=qian[n+1];i>0;i=qian[i]){
            if(get[i-1]!=-1)continue;
            hou[qian[i]]=hou[i],qian[hou[i]]=qian[i],get[i-1]=1;
            ans[a[now]]=i-1;
            for(int j=qian[n+1];j>0;j=qian[j]){
                if(get[j-1]!=-1)continue;
                hou[qian[j]]=hou[j],qian[hou[j]]=qian[j],get[j-1]=1;
                ans[b[now]]=j-1;
                temp=(ans[b[now]]+ans[a[now]]+up)%n;
                if(ans[c[now]]==-1&&get[temp]==-1)
                    get[temp]=1,ans[c[now]]=temp,dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n),get[temp]=-1,ans[c[now]]=-1;
                else if(ans[c[now]]!=-1&&(temp==ans[c[now]]))
                    dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n);
                if(god)return;
                ans[b[now]]=-1;
                hou[qian[j]]=j,qian[hou[j]]=j,get[j-1]=-1;
            }
            if(god)return;
            ans[a[now]]=-1;
            hou[qian[i]]=i,qian[hou[i]]=i,get[i-1]=-1;
        }
        return;
    }
    if(ans[b[now]]!=-1){
        for(int i=qian[n+1];i>0;i=qian[i]){
            if(get[i-1]!=-1)continue;
            hou[qian[i]]=hou[i],qian[hou[i]]=qian[i],get[i-1]=1;
            ans[a[now]]=i-1;
            temp=(ans[b[now]]+ans[a[now]]+up)%n;
            if(ans[c[now]]==-1&&get[temp]==-1)
                get[temp]=1,ans[c[now]]=temp,dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n),get[temp]=-1,ans[c[now]]=-1;
            else if(ans[c[now]]!=-1&&(temp==ans[c[now]]))
                dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n);
            if(god)return;
            ans[a[now]]=-1;
            hou[qian[i]]=i,qian[hou[i]]=i,get[i-1]=-1;
        }
        return;
    }
    if(ans[a[now]]!=-1){
        for(int i=qian[n+1];i>0;i=qian[i]){
            if(get[i-1]!=-1)continue;
            hou[qian[i]]=hou[i],qian[hou[i]]=qian[i],get[i-1]=1;
            ans[b[now]]=i-1;
            temp=(ans[b[now]]+ans[a[now]]+up)%n;
            if(ans[c[now]]==-1&&get[temp]==-1)
                get[temp]=1,ans[c[now]]=temp,dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n),get[temp]=-1,ans[c[now]]=-1;
            else if(ans[c[now]]!=-1&&(temp==ans[c[now]]))
                dfs(now+1,(ans[b[now]]+ans[a[now]]+up)/n);
            if(god)return;
            ans[b[now]]=-1;
            hou[qian[i]]=i,qian[hou[i]]=i,get[i-1]=-1;
        }
        return;
    }
}
int main(){
    scanf("%d%s%s%s",&n,A,B,C),put_it(),dfs(1,0);
    return 0;
}

 

以上是关于[Noip2004]虫食算 dfs的主要内容,如果未能解决你的问题,请参考以下文章

[Noip2004]虫食算 dfs

69. [NOIP2004] 虫食算

NOIP2004虫食算

虫食算-详解-noip2004-深搜

NOIP 2004虫食算

Noip2004 虫食算