IOI 1994 169:The Buses

题意

一个人在12点到达公共汽车站。他在12:00到12:59在那里。公共汽车站点被许多公共汽车路线所使用。那人注意到到达公共汽车的时间。公共汽车到达的时间是给定的。
同一路线上的公共汽车每小时从12点到12:59之间定期到达。
时间从0到59分钟。
每条公交路线至少要停2次。
在测试的例子中公交路线的数量是< = 17。
不同路线的公共汽车可能同时到达。
一些公共汽车线路可以有相同的时间到达和/或时间间隔。如果两条公交线路有相同的起始时间和间隔，它们是不同的，两者都有。
在公交站点上找到最少的公共汽车路线，以满足输入数据的要求。每条公交路线，输出时间和间隔。
输入
输入包含一个数字n(n < = 300)，说明有多少个到达的总线被注意到，然后是升序的到达时间。

题解

这题理解错了很久
于是T了10+发。。
其实应该是WA的，我也不知道是为什么。。

有一个我一直没有注意到的细节：

每一个航线的车都要齐全才可以算

比如说现在有1,2，那么后面的3,4,5,6…59都要有，这个航班才成立

我的做法比较奇葩，是二分答案，然后用dfs判定
然后有了这个，你就用这个剪一下枝就可以了。。当一个航班有两辆车的时候，就马上判断它合不合法，然后把别的车加上
然后加上一个可行性剪枝来判断正确性，就是说当前有多少个航班是只有一个巴士，与剩下多少巴士比较，看看是否可以把航班都变成合法的，如果不行，就返回就好了
CODE:

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
const int N=305;
int n;
int s[N];
bool tf=false;
int a[N][N];//每一个有多少
bool vis[N];
int now,tot;
void check (int x,int up)//现在到第几辆车了   上界 
{
    if (tf) return ;
    if (x>n) {tf=true;return;}
    if ((n-x+1-tot)<now) return ;
    if (vis[x]) 
    {
        tot--;
        check(x+1,up);
        return ;
    }
    for (int u=1;u<=up;u++)
    {
        if (a[u][0]==1)
        {
            int ooo[N];ooo[0]=0;
            now--;
            a[u][0]++;
            a[u][a[u][0]]=s[x];
            int Z=s[x]-a[u][1];
            for (int i=x+1;i<=n;i++)
            {
                if (vis[i]) continue;
                if (s[i]-a[u][a[u][0]]==Z)
                {
                    tot++;
                    ooo[++ooo[0]]=i;
                    vis[i]=true;
                    a[u][++a[u][0]]=s[i];
                }
            }
            if (a[u][a[u][0]]+Z>=60) check(x+1,up);
            for (int i=1;i<=ooo[0];i++)
            {
                tot--;
                vis[ooo[i]]=false;
            }
            now++;
            a[u][0]=1;
        }
        if (u==1||a[u-1][0]>0)
        {
            if (a[u][0]==0)
            {
                now++;
                a[u][0]++;
                a[u][a[u][0]]=s[x];
                check(x+1,up);
                a[u][0]--;
                now--;
            }
        }
    }
}
int main()
{
    scanf("%d",&n);
    for (int u=1;u<=n;u++)  scanf("%d",&s[u]);  
    sort(s+1,s+1+n);
    int l=1,r=17;
    int ans=0;
    while (l<=r)
    {
        memset(vis,false,sizeof(vis));
        memset(a,0,sizeof(a));
        int mid=(l+r)>>1;
        now=tot=0;
        tf=false;check(1,mid);
        if (tf) {r=mid-1;ans=mid;}
        else l=mid+1;
    }
    //check(1,3);
    printf("%d\n",ans);
    return 0;
}