A - A Careful Approach final

枚举飞机着陆的顺序，确定顺序后进行二分。

#include <map>
#include <set>
#include <queue>
#include <stack>
#include <cmath>
#include <string>
#include <cctype>
#include <vector>
#include <cstdio>
#include <climits>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
#define esp (1e-6)
int n;
double a[10],b[10];
int vis[10];
double ans;
double Max,Min;
int ord[10];
bool judge(double len)
{
	double x=a[ord[1]];
	for(int i=2;i<=n;i++)
	{
		x+=len;
		if(x>b[ord[i]])
			return 0;
		if(x<a[ord[i]])
			x=a[ord[i]];
	}
	return 1;
}
void dfs(int x,int step)
{
	ord[step]=x;
	if(step==n)
	{
		double l=0,r=Max;
		double mid;
		while(l+esp<r)
		{
			mid=(l+r)/2.0;
			if(judge(mid))
				l=mid;
			else
				r=mid;
		}
		ans=max(ans,(l+r)/2.0);
		return ;
	}
	for(int i=1;i<=n;i++)
		if(!vis[i])
		{
			vis[i]=1;
			dfs(i,step+1);
			vis[i]=0;
		}
}
void solve(int cas)
{
	memset(vis,0,sizeof(vis));
	ans=0;
	Min=1000001,Max=-1;
	for(int i=1;i<=n;i++)
	{
		scanf("%lf%lf",&a[i],&b[i]);
		Max=max(Max,b[i]);
		Min=min(Min,a[i]);
	}
	Max=Max-Min;
	for(int i=1;i<=n;i++)
	{
		vis[i]=1;
		dfs(i,1);
		vis[i]=0;
	}
	//cout<<ans<<endl;
	ans+=esp;
	ans*=60;
	printf("Case %d: %d:%02d\n",cas++,int(ans/60),int(fmod(ans,60)+0.5));
}
int main()
{
	int cnt=1;
	while(scanf("%d",&n)&&n)
	{
		solve(cnt++);
	}
	return 0;
}