LA-3211-TwoSAT,二分

题目大意：有你个飞机需要降落，每个飞机有两个可选时间降落，求所有飞机降落时间的最小值的最大值；

题目解析：二分那个值，然后枚举每个时间，如果冲突的话，假设x,y冲突，那么连接x^1->y,y^1->x，然后判断是否可行就可以了；

AC代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<vector>
using namespace std;
const int maxn=2010;
struct TwoSAT
{
	int n;
	vector<int>G[maxn*2];
	bool mark[maxn*2];
	int S[maxn*2],c;
	 bool dfs(int x) {  
        if(mark[x^1]) return false;  
        if(mark[x]) return true;  
        mark[x] = true;  
        S[c++] = x;  
        for(int i = 0; i < G[x].size(); i++) {  
            if(!dfs(G[x][i])) return false;  
        }  
        return true;  
    }  
	void init(int n)
	{
		this->n=n;
		for(int i=0;i<n*2;i++)	G[i].clear();
		memset(mark,0,sizeof(mark));
	}
	void add_clause(int x, int xval, int y, int yval) {  
        x = x*2 + xval;  
        y = y*2 + yval;  
        G[x^1].push_back(y);  
        G[y^1].push_back(x);  
    }  		
	bool solve()
	{
		for(int i=0;i<n*2;i+=2)
		{
			if(!mark[i]&&!mark[i+1])
			{
				c=0;
				if(!dfs(i))
				{
					while(c>0)	mark[S[--c]]=false;
					if(!dfs(i+1))	return false;
				}
			}
		}
		return true;
	}
};
TwoSAT solver;
int n,T[maxn][2];
bool test(int diff)
{
	solver.init(n);
	for(int i=0;i<n;i++)	for(int a=0;a<2;a++)
		for(int j=i+1;j<n;j++)	for(int b=0;b<2;b++)
			if(abs(T[i][a]-T[j][b])<diff)	solver.add_clause(i,a,j,b);
	return solver.solve();
}
int main()
{
	while(scanf("%d",&n)!=EOF&&n)
	{
		int l=0,r=0;
		for(int i=0;i<n;i++)
		{
			for(int a=0;a<2;a++)
			{
				scanf("%d",&T[i][a]);
				r=max(r,T[i][a]);
			}
		}
		int ans=-1;
		while(l<=r)
		{
			int m=(l+r)>>1;
			//cout<<m<<endl;
			if(test(m) )
			{
				ans=m;
				l=m+1;	
			}
			else
			{
				r=m-1;
			}
		}
		printf("%d\n",ans);
	}
	return 0;
}