思路：

先把能选的路线都预处理出来

按照能停的车的多少排个序 （剪枝1）

搜搜搜

如果当前剩的车÷当前能停车的多少+deep>=ans剪掉 （剪枝2）

//By SiriusRen

#include <cstdio>

#include <cstring>

#include <algorithm>

using namespace std;

int n,vis[60],xx,cnt,ans=17;

struct Route{int start,gap,all;}route[1005];

bool check(int start,int gap){

    for(int i=start;i<60;i+=gap)

        if(!vis[i])return 0;

    return 1;

}

bool cmp(Route a,Route b){return a.all>b.all;}

void dfs(int x,int deep,int remain){

    if(remain/route[x].all+deep>=ans)return;

    if(!remain){ans=min(ans,deep);return;}

    for(int i=x;i<=cnt;i++){

        if(check(route[i].start,route[i].gap)){

            for(int j=route[i].start;j<60;j+=route[i].gap)

                vis[j]--;

            dfs(i,deep+1,remain-route[i].all);

            for(int j=route[i].start;j<60;j+=route[i].gap)

                vis[j]++;

        }

    }

}

int main(){

    scanf("%d",&n);

    for(int i=1;i<=n;i++)

        scanf("%d",&xx),vis[xx]++;

    for(int i=0;i<30;i++)

        for(int j=i+1;i+j<60;j++)

            if(check(i,j)){

                route[++cnt].gap=j,route[cnt].start=i;

                for(int k=route[cnt].start;k<60;k+=route[cnt].gap)route[cnt].all++;

            }

    sort(route+1,route+1+cnt,cmp);

    dfs(1,0,n);

    printf("%d\n",ans);

}