1 /*
  2 题意：给出0～59的一排数字表示某一时刻出现了1辆bus，其中数字重复出现表示多辆bus同时出现，这些bus是
  3 由多个bus线路组成的，每条线路都有一个时间间隔，而且同一线路的bus在0～59肯定会出现两次或以上，如果
  4 有两条线路的间隔相同且到达时刻相同也算作两条不同的线路，问最少有多少条线路。
  5 
  6 题解：DFS
  7 这题是一题相对较难的搜索，关键在于找出状态以及剪枝；
  8 对于每条bus线路都由开始时刻start和间隔interval组成，这样就找出了表示一条线路的状态，而且这些线路
  9 还有数量的属性(题意所说的时间间隔相同的线路当作不同，我在这里用数量来表示这种不同，因为要求的只是
 10 最少的方案)，通过DFS找出方案使得线路数目最小；每条线路都可以有x种状态(x的范围是0～min(time[i])，
 11 然后对time[]数组中的值进行修改后继续DFS搜素下一个线路；
 12 
 13 剪枝：
 14 其中有两个很重要的剪枝：
 15 1.pans > ans的剪枝，即当前的答案大于已经有的答案时剪枝(ans初始为17，因为答案必须小于等于17)
 16 2.线路的剪枝：
 17 结构体line的times属性表示的是该线路的班次(即0~59内间隔出现次数)，当记录的出现的次数相等时，班次越
 18 大，平均下去的线路数目越少，这个剪枝发挥了很大的作用：
 19 pans表示当前已有线路数目，sum表示总共记录的所有bus的出现次数，tsum表示当前已遍历的记录的总数
 20 pans + (sum-tsum)/lines[pline].times
 21 上式求的是当前可能的结果的最小值：剩余记录次数sum-tsum使得线路数目最小的情况是，当前的这个线路能
 22 够把所有的记录均摊下去，得出的结果加上pans就是可能的最小值(通过先前的排序保证了times是递减的，这样
 23 后面的线路种类不可能使线路数目更小)，然后比较判断是否继续搜索；
 24 这个剪枝非常的巧妙，因为本来对于start和interval状态的搜索顺序并不会影响整个结果，因为只是一个选与
 25 不选的问题，而且始终是要将所有状态都全部搜索一遍
 26 */
 27 #include <cstdio>
 28 #include <cstring>
 29 #include <algorithm>
 30 
 31 using namespace std;
 32 
 33 int ans;
 34 int time[80];
 35 
 36 struct line
 37 {
 38     int start,interval;
 39     int times;
 40     bool operator<(const line &t)const
 41     {
 42         return times > t.times;
 43     }
 44 }lines[1000];
 45 int top;
 46 int sum,tsum;
 47 
 48 int check(int start, int interval) // 检查该线路是否还能走并且返回记录次数最小的值
 49 {
 50     int ret = 500;
 51     for(int i=start; i<60; i+=interval)
 52     {
 53         if (!time[i])
 54             return -1;
 55         else
 56             ret = min(ret,time[i]);
 57     }
 58     return ret;
 59 }
 60 
 61 void dfs(int pline, int pans)
 62 {
 63     if (pans > ans)
 64         return ;
 65     if (tsum == sum) // 所有的记录被遍历时比较结果
 66     {
 67         ans = min(pans,ans);
 68         return ;
 69     }
 70     if (pline >= top)
 71     {
 72         return ;
 73     }
 74 
 75     int c = check(lines[pline].start,lines[pline].interval);
 76     if (c != -1)
 77     {
 78         if (pans + (sum-tsum)/lines[pline].times >= ans)
 79             return ;
 80         for(int j=1; j<=c; j++)
 81         {
 82             for(int k=lines[pline].start; k < 60; k+=lines[pline].interval)
 83             {
 84                 tsum += j;
 85                 time[k] -= j;
 86             }
 87             dfs(pline+1,pans+j); // 当前线路要j条，然后继续下一搜索
 88             for(int k=lines[pline].start; k < 60; k+=lines[pline].interval)
 89             {
 90                 tsum -= j;
 91                 time[k] += j;
 92             }
 93         }
 94     }
 95     dfs(pline+1,pans); // 当前线路不要，继续搜索下一线路
 96 }
 97 
 98 int main(void)
 99 {
100     int n;
101     while (~scanf("%d",&n))
102     {
103         memset(time,0,sizeof(time));
104         tsum = sum = 0;
105         for(int i=0; i<n; i++)
106         {
107             int t;
108             scanf("%d",&t);
109             time[t]++;
110             sum++;
111         }
112         top = 0;
113         for(int i=0; i<30; i++)
114         {
115             for(int j=i+1; j+i < 60; j++)
116             {
117                 if (check(i,j) == -1)
118                     continue ;
119                 line tmp;
120                 tmp.start = i;
121                 tmp.interval = j;
122                 tmp.times = (59-i)/j+1;
123                 lines[top++] = tmp;
124             }
125         }
126         sort(lines,lines+top);
127         ans = 17;
128         dfs(0,0);
129         printf("%d\n",ans);
130     }
131     return 0;
132 }