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;
}