LA 3211 Now or later（2-SAT）

最新推荐文章于 2020-09-21 17:57:07 发布

原创最新推荐文章于 2020-09-21 17:57:07 发布 · 446 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

收录于

ACM

好题

图论

本文介绍了一种使用2-SAT算法解决飞机着陆时间间隔问题的方法，通过给每架飞机分配早着陆或晚着陆的选择，并构建2-SAT模型来寻找合法的着陆方案。

题意：有n架飞机，每架飞机有早着陆和晚着陆两种选择，而且必须选择一种，第i架飞机的早晚着陆时间分别为Ei Li，问你相邻两架飞机的着陆间隔的最小值的最大值是多少。

分析:每个飞机有早晚着陆两种选择，若i早着陆则xi为1否则为0，适用于2-SAT模型，我们可以二分时间间隔然后判断能不能有合法的赋值方案。

#include <cstdio>
#include <stack>
#include <queue>    
#include <vector>    
#include <cstdio>    
#include <utility>    
#include <cstring>    
#include <iostream>    
#include <algorithm>    
#define INF 0x3f3f3f3f
using namespace std;
int n,c,mid,S[4005],E[2005],L[2005];
vector <int> G[4005];
bool mark[4005];
void add_clause(int x,int xval,int y,int yval)
{
	x = x * 2 + xval;
	y = y * 2 + yval;
	G[x].push_back(y^1);
	G[y].push_back(x^1); 
}
void init(int n)
{
	for(int i = 0;i < 2*n;i++) G[i].clear();
	memset(mark,0,sizeof(mark));
	for(int i = 0;i < n;i++)
	 for(int j = i+1;j < n;j++)
	 {
	 	if(abs(E[i]-E[j]) < mid) add_clause(i,1,j,1);
	 	if(abs(E[i]-L[j]) < mid) add_clause(i,1,j,0);
	 	if(abs(L[i]-E[j]) < mid) add_clause(i,0,j,1);
		if(abs(L[i]-L[j]) < mid) add_clause(i,0,j,0);
	 } 
}
bool dfs(int x)
{
	if(mark[x^1]) return false;
	if(mark[x]) return true;
	mark[x] = true;
	S[c++] = x;
	for(int v : G[x])
	 if(!dfs(v)) return false;
	return true;
}
bool jud()
{
	init(n);
	for(int i = 0;i < 2*n;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; 
}
int main()
{
	while(scanf("%d",&n) != EOF)
	{
		int MAXN = 0;
		for(int i = 0;i < n;i++)
		{ 
			scanf("%d%d",&E[i],&L[i]);
			MAXN = max(MAXN,L[i]);
		}
		int l = 0,r = MAXN;
		while(l != r)
		{
			mid = (l+r)/2 + 1;
			if(jud()) l = mid;
			else r = mid - 1;
		}
		cout<<l<<endl;
	}
}

标签

#ACM