虫食算

这是一道很好的题目，教给了我很多暴力的剪枝方法

超链接不解释。。。。

https://www.luogu.org/problem/show?pid=1092

解释：

重构了两遍代码才A掉的，当时思路真的有问题，没办法剪枝和处理进位情况，读了一个题解描述。

好了正题

整体思路是从后向前，从上向下的依次搜索三个大数据

几个相当重要且有趣的剪枝+思路：

1.每次搜完就判断是否已经有不合法情况出现：一列三个已知不合法，例如1+1=3；已知两个数未知进位  但 进不进  都不可以满足就不合法；一列已知两个数以及进位计算后不合法。这三种情况直接return

2.重新整理一遍进位

3.在搜一个数时如果所有情况都失败则return；

4.一列已知两个数及进位情况就直接算第三个数 ！！且不满足时直接return！！

5.如果不满足3.4，孩子老老实实搜吧，但是从后面往前搜会快哦

#include <cstdio>#include <iostream>#include <cstring>using namespace std;bool ff=false,d[30];int map[4][30],jw[30];int n,r[30];bool pd(){int add=0,i;for (i=n;i>=1;i--){if (r[map[1][i]]!=-1 && r[map[2][i]]!=-1 && r[map[3][i]]!=-1)    {    if (add==-1 && (r[map[1][i]]+r[map[2][i]])%n!=r[map[3][i]] && (r[map[1][i]]+r[map[2][i]]+1)%n!=r[map[3][i]])//没有已知进位         return false;    if (add!=-1)       if ((r[map[1][i]]+r[map[2][i]]+add)%n!=r[map[3][i]]) return false;//有已知进位       else add=(r[map[1][i]]+r[map[2][i]]+add)/n;}else add=-1;}return true;}int find(int i,int j)//有没有知二求三 或者是 直接不合法 {if(j==1){if (r[map[2][i]]!=-1 && r[map[3][i]]!=-1)  {  int quq=(r[map[3][i]]-r[map[2][i]]+n)%n;  if(jw[i+1]==1) quq=(quq-1+n)%n;  if (d[quq]) return -2;  else return quq;  }return -1;}else  if (j==2)  {  if (r[map[1][i]]!=-1 && r[map[3][i]]!=-1)  {  int quq=(r[map[3][i]]-r[map[1][i]]+n)%n;  if(jw[i+1]==1) quq=(quq-1+n)%n;  if (d[quq]) return -2;  else return quq;  }return -1;  }else  {  if (r[map[1][i]]!=-1 && r[map[2][i]]!=-1)  {  int quq=(r[map[2][i]]+r[map[1][i]])%n;if(jw[i+1]==1) quq=(quq+1)%n;  if (d[quq]) return -2;  else return quq;  }return -1;  }}void gx()//重新整理进位 {int i;for (i=n;i>=1;i--)if (r[map[1][i]]!=-1 && r[map[2][i]]!=-1 && jw[i+1]!=-1)  if (r[map[1][i]]+r[map[2][i]]+jw[i+1]>=n) jw[i]=1; else jw[i]=0;else return;}void dfs(int t,int x){if (ff) return;int i,j,k;if (!pd()) return;gx();if (t==0){ff=true;for (i=1;i<=n-1;i++)printf("%d ",r[i]);printf("%d ",r[i]);return;}for (k=x;k>=1;k--)for (j=1;j<=3;j++)  if (r[map[j][k]]==-1){int tmp=find(k,j);if (tmp==-1){for (i=0;i<=n-1;i++)     if (!d[i] && !ff)     {       d[i]=true;       r[map[j][k]]=i;       dfs(t-1,k);       d[i]=false;       r[map[j][k]]=-1;     }     return;}else if (tmp==-2) return;else{d[tmp]=true;r[map[j][k]]=tmp;dfs(t-1,k);d[tmp]=false;r[map[j][k]]=-1;return;}}}int main(){    int j;char l;scanf("%d\n",&n);for (j=1;j<=n;j++){scanf("%c",&l);    map[1][j]=l-'A'+1;} scanf("%d\n");for (j=1;j<=n;j++){scanf("%c",&l);    map[2][j]=l-'A'+1;}scanf("%d\n");for (j=1;j<=n;j++){scanf("%c",&l);    map[3][j]=l-'A'+1;}memset(d,0,sizeof(d));memset(r,-1,sizeof(r));memset(jw,-1,sizeof(jw));jw[n+1]=0;dfs(n,n);}