[NOIP2004]虫食算 T4 简单搜索＋剪枝

来源：互联网发布：手机淘宝为什么登不上编辑：程序博客网时间：2024/05/16 13:42
最近在刷搜索套餐
我先做了一道简单的
虫食算。。。。
我GO die了。。。。。。。。。。。
这都是啥啊！！！！！！！！！！！！！！！
wawawa
总之就是一个搜啊。。。。
从最右面开始搜
每一行行尾进行check
基本上能过9个点。。。。。。。。
剪枝的话，考虑检索前面的每一行如果改行的数字都己经试过，那么就可以判断合法性，如果已经有两个试过的话，考虑第三个数是否可能（可能已经被用过）
注意：试数的时候从后向前试。。。坑爹的数据
注意进位即可
下面是代码，调试信息懒得删。。。。搜索的第四层可删略长。。。
#include <stdio.h>#include <string.h>#include <iostream>#include <time.h>#include <stdlib.h>#include <algorithm>#define N 100using namespace std;char str[N];int a[N],b[N],c[N],t[N],n;bool jinwei[N];int calc(int ROW){return t[a[ROW]]+t[b[ROW]];}inline void solve(){    for(int i=0;i<n-1;++i)cout<<t[i]<<" ";    cout<<t[n-1];    puts("");}inline int pre(int ROW){    int times=0;    if(t[a[ROW]]!=-1)++times;    if(t[b[ROW]]!=-1)++times;    if(t[c[ROW]]!=-1)++times;    return times;}/*int Call_check(int ROW,int exist){    for(int i=ROW;i>=1;--i)    {        int k=pre(i);    /*  printf("CHECK at LINE ");printf("%d\n",__LINE__);        printf("ROW==%d EXIST==%d\n",ROW,exist);*//*      if(k==3)        {            int x=calc(i);            if(x%n==t[c[ROW]]||(x+1)%n==t[c[ROW]])continue;            else return false;        }        else if(k==2)        {            if(t[c[ROW]]==-1)            {                int x=calc(i);                /*printf("CHECK at LINE ");printf("%d\n",__LINE__);                puts("solve !");                solve();                printf("ROW=%d,a[ROW]=%d,b[ROW]=%d,c[ROW]=%d\n",ROW,a[ROW],b[ROW],c[ROW]);*//*                int tmp1=x%n,tmp2=(x+1)%n;                if((1<<tmp1)&exist && (1<<tmp2)&exist)return false;            }            else if(t[b[ROW]]==-1)            {                if(t[c[ROW]]<=t[a[ROW]])                {/*                      printf("CHECK at LINE ");printf("%d\n",__LINE__);                      puts("solve !");                      solve();                      printf("ROW=%d,a[ROW]=%d,b[ROW]=%d,c[ROW]=%d\n",ROW,a[ROW],b[ROW],c[ROW]);*//*                      int tmp1=t[c[ROW]]+n;                      tmp1-=t[a[ROW]];                      if((1<<tmp1)&exist)return -1;                }                else                {/*                    printf("CHECK at LINE ");printf("%d\n",__LINE__);                    puts("solve !");                    solve();                    printf("ROW=%d,a[ROW]=%d,b[ROW]=%d,c[ROW]=%d\n",ROW,a[ROW],b[ROW],c[ROW]);*//*                    int tmp1=t[c[ROW]]-t[a[ROW]];                    int tmp2=t[c[ROW]]+n-t[a[ROW]];                    tmp2%=n;                    if((1<<tmp1)&exist&&(1<<tmp2)&exist)return -1;                }            }            else if(t[a[ROW]]==-1)            {/*                printf("CHECK at LINE ");printf("%d\n",__LINE__);                puts("solve !");                solve();                printf("ROW=%d,a[ROW]=%d,b[ROW]=%d,c[ROW]=%d\n",ROW,a[ROW],b[ROW],c[ROW]);*//*                if(t[c[ROW]]<=t[b[ROW]])                {                    int tmp1=t[c[ROW]]+n;                    tmp1-=t[b[ROW]];                    if((1<<tmp1)&exist)return -1;                }                else                {                    int tmp1=t[c[ROW]]-t[b[ROW]];                    int tmp2=t[c[ROW]]+n-t[b[ROW]];                    tmp2%=n;                    if((1<<tmp1)&exist&&(1<<tmp2)&exist)return -1;                }            }        }        else            continue;    }    return 1;}*/  inline int Call_check(int ROW,int exist){    for(int i=ROW;i>=1;--i)    {        int k=pre(i);    /*  printf("CHECK at LINE ");printf("%d\n",__LINE__);        printf("ROW==%d EXIST==%d\n",ROW,exist);*/        if(k==3)        {            int x=calc(i);            if( x%n==t[c[i]] || (x+1)%n==t[c[i]])continue;            else return -1;        }    }    return 1;}inline int recheck(int ROW){    if(t[a[ROW]]!=-1&&t[b[ROW]]!=-1&&t[c[ROW]]!=-1)    {        int tmp=calc(ROW);        if(jinwei[ROW])++tmp;        int k=tmp;        tmp%=n;        if(tmp^t[c[ROW]])return -1;        else if(k>=n)        {            jinwei[ROW-1]=true;            return 2;        }        else        {            return 1;        }    }    else    {        return 0;    }}inline bool DFS(int LINE,int ROW,int exist){/*  if(ROW==18)    {        printf("CHECK at LINE ");printf("%d\n",__LINE__);        printf("LINE==%d ROW==%d EXIST==%d\n",LINE,ROW,exist);        solve();    }*/    if(LINE==4)    {        int tmp=calc(ROW);        //printf("%d\n",tmp );        //*if(tmp<0)        /*{             printf("Check at LINE 23\n");            printf("LINE=%d ROW=%d\n",LINE,ROW );            for(int i=1;i<=n;++i)                printf("%d ",t[a[i]] );            puts("");            for(int i=1;i<=n;++i)                printf("%d ",t[b[i]] );            puts("");            for(int i=1;i<=n;++i)                printf("%d ",t[c[i]] );            puts("");        }*/        if(ROW==n)        {               if(tmp%n==t[c[ROW]])            {                   if(tmp>=n) jinwei[ROW-1]=true;                if( DFS(1,ROW-1,exist))return true;                     else { jinwei[ROW-1]=false;return false;}            }            else return false;        }           else        {            if(ROW==1)            {                int re=recheck(ROW);                if(re==-1)return false;                else if(re==2&&ROW!=1)                {                    if(DFS(1,ROW-1,exist))return true;                    else                    {                        jinwei[ROW-1]=false;                        return false;                    }                }                else if(re==2&&ROW==1)                {                    solve();                    return true;                }                else if(re==1&&ROW!=1)                {                    if(DFS(1,ROW-1,exist))                    return true;                    else return false;                }                else if(re==1&&ROW==1)                {                    solve();                    return true;                }                else if(!re)                {                    if(jinwei[ROW])                    {                        if((tmp+1)%n==t[c[ROW]])                        {solve();return true;}                        else                        {   return false;}                    }                    else                    {                        if(tmp%n==t[c[ROW]])                        {                            solve();return true;}                        else                            return false;                    }                }            }            else            {                if(jinwei[ROW])                {                    if((tmp+1)%n==t[c[ROW]])                    {                        if(tmp+1>=n)                        {                            jinwei[ROW-1]=true;                            if(DFS(1,ROW-1,exist))return true;                            jinwei[ROW-1]=false;return false;                        }                        else                        {                            return DFS(1,ROW-1,exist);                        }                    }                }                else                {                    if(tmp%n==t[c[ROW]])                    {                        if(tmp>=n)                        {                            jinwei[ROW-1]=true;                            if( DFS(1,ROW-1,exist))return true;                            jinwei[ROW-1]=false;return false;                        }                        else                        {                            if( DFS(1,ROW-1,exist))return true;                            else return false;                        }                    }                }            }        }    }    else    {        if(LINE==1)        {            int re=recheck(ROW);            if(re==-1)return false;            else if(re==2&&ROW!=1)            {                if(DFS(1,ROW-1,exist))return true;                else                {                    jinwei[ROW-1]=false;                    return false;                }            }            else if(re==2&&ROW==1)            {                solve();                return true;            }            else if(re==1&&ROW!=1)            {                if(DFS(1,ROW-1,exist))                return true;                else return false;            }            else if(re==1&&ROW==1)            {                solve();                return true;            }            //printf("ROW==%d  t[a[ROW]]=%d  a[ROW]=%d\n",ROW,t[a[ROW]],a[ROW]);            else if(re==0)            {                if(t[a[ROW]]!=-1) return DFS(LINE+1,ROW,exist);                else                {                    for(int i=n-1;i>=0;--i)                    {                           if((1<<i)&exist)continue;                        t[a[ROW]]=i;                        int ss=Call_check(ROW,exist|(1<<i));                        if(ss==-1){t[a[ROW]]=-1;continue;}                        //cout<<t[a[ROW]]<<endl;                        if(DFS(LINE+1,ROW,exist|(1<<i)))return true;                        t[a[ROW]]=-1;                    }                    return false;                }            }        }        else if(LINE==2)        {            int re=recheck(ROW);            if(re==-1)return false;            else if(re==2&&ROW!=1)            {                if(DFS(1,ROW-1,exist))return true;                else                {                    jinwei[ROW-1]=false;                    return false;                }            }            else if(re==2&&ROW==1)            {                solve();                return true;            }            else if(re==1&&ROW!=1)            {                if(DFS(1,ROW-1,exist))                return true;                else return false;            }            else if(re==1&&ROW==1)            {                solve();                return true;            }            else if(re==0)            {                if(t[b[ROW]]!=-1)return DFS(3,ROW,exist);                else                {                    for(int i=n-1;i>=0;--i)                    {                           if((1<<i)&exist)continue;                        t[b[ROW]]=i;                        int x=Call_check(ROW,exist|(1<<i));                        if(x==-1){t[b[ROW]]=-1;continue;}                        if(DFS(LINE+1,ROW,exist|(1<<i)))return true;                        t[b[ROW]]=-1;                    }                    return false;                }            }        }        else if(LINE==3&&ROW!=1)        {            //puts("Check at LINE 141");            //printf("LINE = %d ROW = %d\n",LINE,ROW );            //solve();            int tmp=calc(ROW);            if(jinwei[ROW])tmp++;            int k=tmp%n;            if(t[c[ROW]]!=-1&&k==t[c[ROW]])            {                if(tmp>=n)jinwei[ROW-1]=true;                if( DFS(1,ROW-1,exist))return true;                else                {                    jinwei[ROW-1]=false;return false;                }            }            else if(t[c[ROW]]!=-1&&k!=t[c[ROW]])return false;            else            {                if((1<<k)&exist)return false;                else                 {                    t[c[ROW]]=k;if(tmp>=n)jinwei[ROW-1]=true;                    if(DFS(1,ROW-1,exist|(1<<k)))return true;                    else{t[c[ROW]]=-1;jinwei[ROW-1]=false;return false;}                }            }        }        else if(ROW==1&&LINE==3)        {        //  puts("Check at LINE 168");            int tmp=calc(1);if(jinwei[ROW])tmp++;tmp%=n;            if(tmp==t[c[1]]){solve();return true;}        }    }    return false;}int main(){       cin>>n;    scanf("%s",str+1);for(int i=1;i<=n;++i)a[i]=str[i]-65;    scanf("%s",str+1);for(int i=1;i<=n;++i)b[i]=str[i]-65;    scanf("%s",str+1);for(int i=1;i<=n;++i)c[i]=str[i]-65;//  for(int i=1;i<=n;++i)printf("%d",a[i] );puts("");//  for(int i=1;i<=n;++i)printf("%d",b[i] );puts("");//  for(int i=1;i<=n;++i)printf("%d",c[i] );puts("");    for(int i=0;i<n;++i)t[i]=-1;    DFS(1,n,0);    //if(cmp)   puts("23333333");//  else//  puts("wawawa");}
这里写图片描述
1 0