uvalive3211+uvalive3713

题意:

两题2-sat问题,解法是一样的

思路:

先贴一下2-sat问题的统一解法和自己的理解

代码:

int init() {
	for(int i=0; i<n*2; i++) g[i].clear();
	memset(mark, 0, sizeof(mark));
	memset(s, 0, sizeof(s));
}
void add(int x, int a, int y, int b) {
	x = x*2+a;//*2即右移一位,为a这个单位腾出位置,那么a,b实际上就是标注2-sat里的是否两面.
	y = y*2+b;
	g[x^1].push_back(y);//x不选a, y选a
	g[y^1].push_back(x);//y不选a, x选a(a,b是一样的)
}

bool dfs(int x) {
	if(mark[x^1]) return false;//发现需纳入的存在冲突(即不可同时存在的两种选择都将纳入),则不行
	if(mark[x]) return true;
	mark[x] = true;
	s[c] = x;//纳入
	c++;
	for(int i=0; i<g[x].size(); i++) {//纳入与我符合条件的
		if(!dfs(g[x][i])) return false;
	}
	return true;
}

bool deal() {
	for(int i=0; i<2*n; i+=2) {
		if(!mark[i] && !mark[i+1]) {
			c = 0;
			if(!dfs(i)) {
				while(c) {
					mark[s[--c]] = false;//取消之间的纳入
				}
				if(!dfs(i+1)) return false;//考虑对立面仍然不行,则方案不行
			}
		}
	}
	return true;
}

现在讲一下la3211

飞机有早降时间和晚降时间,要求使最小间隔最大,并求出这个最小间隔

思路:

最小值最大用二分,那么飞机就是两个选择,冲突点在于枚举的最小距离是否可行,就是一个2-sat问题

代码:

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<vector>
using namespace std;
const int maxn = 2005;
int T[maxn][2];
int s[maxn*2];
int c, n;
vector<int> g[maxn*2];
bool mark[maxn*2];
void init() {
	for(int i=0; i<n*2; i++) g[i].clear();
	memset(mark, 0, sizeof(mark));
}
void add(int x, int a, int y, int b) {
	x = x*2+a;
	y = y*2+b;
	g[x^1].push_back(y);//不能同时选
	g[y^1].push_back(x);
}
bool dfs(int x) {
	if(mark[x^1]) return false;
	if(mark[x]) return true;
	mark[x] = true;
	s[c] = x;
	c++;
	for(int i=0; i<g[x].size(); i++) {
		if(!dfs(g[x][i])) return false;
	}
	return true;
}


bool deal() {
   for(int i=0; i<n*2; i+=2) {
	   if(!mark[i] && !mark[i+1]) {
		   c = 0;
		   if(!dfs(i)) {
			   while(c) mark[s[--c]] = false;
			   if(!dfs(i+1)) return false;
		   }

	   }
   }
   return true;
}

bool test(int mid) {
	init();
	for(int i=0; i<n; i++)
		for(int i_=0; i_<2; i_++)
			for(int j=i+1; j<n; j++) 
				for(int j_=0; j_<2; j_++) {
					if(abs(T[i][i_]-T[j][j_])<mid) {
						add(i, i_^1, j, j_^1);
					}
				}
	return deal();
}

int main() {
	while(scanf("%d", &n) != EOF) {
		int l = 0, r = 0;
		for(int i=0; i<n; i++)
			for(int j=0; j<2; j++) {
				scanf("%d", &T[i][j]);
				r = max(r, T[i][j]);
			}
		while(l<r) {
			int mid = (r+l+1)/2;
			if(test(mid)) {

				l = mid;
			}
			else r = mid-1;
		}
		printf("%d\n", l);
	}
	return 0;
}

      

la3713;

选择任务(a,b)或者c,这是两个面, 冲突点在于互相讨厌,求出可执行的方案(即谁执行那个任务)

代码:

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<vector>
using namespace std;
const int maxn = 100005;
int m, n;
int age[maxn];
int mark[maxn*2];
int s[maxn*2];
int sum;
int c;
vector<int> g[maxn*2];

int init() {
	for(int i=0; i<n*2; i++) g[i].clear();
	memset(mark, 0, sizeof(mark));
	memset(s, 0, sizeof(s));
}
void add(int x, int a, int y, int b) {
	x = x*2+a;//*2即右移一位,为a这个单位腾出位置,那么a,b实际上就是标注2-sat里的是否两面.
	y = y*2+b;
	g[x^1].push_back(y);//x不选a, y选a
	g[y^1].push_back(x);//y不选a, x选a(a,b是一样的)
}

bool dfs(int x) {
	if(mark[x^1]) return false;//发现需纳入的存在冲突(即不可同时存在的两种选择都将纳入),则不行
	if(mark[x]) return true;
	mark[x] = true;
	s[c] = x;//纳入
	c++;
	for(int i=0; i<g[x].size(); i++) {//纳入与我符合条件的
		if(!dfs(g[x][i])) return false;
	}
	return true;
}

bool deal() {
	for(int i=0; i<2*n; i+=2) {
		if(!mark[i] && !mark[i+1]) {
			c = 0;
			if(!dfs(i)) {
				while(c) {
					mark[s[--c]] = false;//取消之间的纳入
				}
				if(!dfs(i+1)) return false;//考虑对立面仍然不行,则方案不行
			}
		}
	}
	return true;
}
bool isyoung(int a) {
	return age[a]*n<sum;
}
int main() {
	int a, b;
	while(scanf("%d%d", &n, &m) != EOF && (n+m)) {
		sum = 0;
		for(int i=0; i<n; i++) {
			scanf("%d", &age[i]);
			sum += age[i];
		}
		init();
		for(int i=0; i<m; i++) {
			scanf("%d %d", &a, &b);//不能同时在一个队列(任务)
			a--;
			b--;
			if(a==b) continue;
			add(a,1, b, 1);//代表其中一个选择任务c,如果年龄不冲突,则不可同时选c
			if(isyoung(a) == isyoung(b)) {
				add(a, 0, b, 0);//代表不同时选择任务a或b
			}
		}
		if(!deal()) printf("No solution.\n");
		else {
			for(int i=0; i<n; i++) {
				if(mark[i*2]) printf("C\n");
				else if(isyoung(i)) printf("B\n");
				else printf("A\n");
			}
		}

	}
	return 0;
}