Gym-101504B-搜索&好题&&剪枝&&为什么这样剪系列-Bergamot Problem

https://vjudge.net/problem/1059748/origin
看的大佬的代码。。比赛没思路。。
2008-2009 ACM-ICPC, NEERC, Southern Subregional Contest B
给定n个单词，m个字母，这n个单词由前m个字母中的两个字母构成（这种单词的渊源讲了一大段），要求你构成一种机器。
按钮上刻有 一些字母，显示一个单词要按两个，要求你每个单词的的那两个按钮不能完全一样（即第一个第二个不能都一样，那样会引起歧义）。
输出最小的按钮数和 按钮上的内容。
dfs暴力枚举。
枚举按钮个数，然后dfs 枚举每个字母所在按钮号。
如果两个单词 的第一个字母相同或再同一个 按钮上 且第二个也是，那么就不可以了。
数据范围这么小，肯定可以过的。

---

然而

。。。
第52组数据：

---

剪枝： 如果一个单词再一个空按钮上不成，那么他在其他空按钮上也不是不可以的。直接return false就可以。。

#include <bits/stdc++.h>using namespace std;/*  搜索，这道题最多13个单词，数据范围很小，可以用dfs解决。思路：枚举每一个字母所在的按钮的位置（按钮内部是不分顺序的。）边界条件，如果同样的按键导致了许多结果，那么就停止。叛徒是 条件是 存在两个 单词，他们的字母两两相同  或者两两再相同的位置上。  我开始感觉要不要考虑顺序，后来想不用的。  不存在两个单词两两相同。  !并没有说  按钮里可以是1个或者2个，也可以是三个  如果 3 0  输出1  a b c.*/const int maxn=50;int loc[maxn];int cnt[maxn];char s[maxn][2];char rel[maxn][maxn];int a[maxn];int sum[maxn];int m,n;bool  dfs(int u,int len){      for(int i=0;i<n;i++){         for(int j=i+1;j<n;j++){             if(i==j) continue;             int c3=s[j][0]-'a'+1;             int c4=s[i][0]-'a'+1;             if(c3==c4||(a[c3]==a[c4]&&a[c3]!=-1))              {   int c1=s[i][1]-'a'+1;                  int c2=s[j][1]-'a'+1;                  if(c1==c2||(a[c1]==a[c2]&&a[c1]!=-1)){                     return false;                  }              }         }      }      if(u==m+1) return true;      for(int i=0;i<len;i++){          a[u]=i;          sum[i]++;          if(dfs(u+1,len))return true;          a[u]=-1;          sum[i]--;          if(sum[i]==0)return false;      }      if(a[u]==-1) return false;      return false;}int main(){   scanf("%d%d",&m,&n);          int flag=-1;          memset(a,-1,sizeof(a));          for(int i=0;i<n;i++){              scanf("%s",s[i]);          }          for(int i=1;i<=m;i++){              if(dfs(1,i)){                flag=i;                break;              }          }          //cout<<flag<<endl;          printf("%d\n",flag);          /*for(int i=1;i<=m;i++){             cout<<a[i]<<endl;          }*/          for(int i=1;i<=m;i++){              rel[a[i]][loc[a[i]]++]='a'+i-1;          }          for(int i=0;i<flag;i++){              rel[i][loc[i]]='\0';              printf("%s\n",rel[i]);          }    return 0;}