2-SAT问题(LA3713)

原创 2015年11月19日 20:40:46

  主要是形成一个句子类似于 “A真(假)或B真(假)”,然后来建立一些边。

  模板如下:

struct TwoSat{
	int n, S[maxn * 2], c;
	vector<int> G[maxn * 2];
	bool mark[maxn * 2];
	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, false, sizeof(mark));
	}
	void addEdge(int x, int xval, int y, int yval){  //染色加边,x为真,xval = 1....
		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;
	}
}; 
  3713是对于每一个宇航员的任务选择,要么是A,B中的一个,要么是C。对于厌恶的规则下:

  如果两个宇航员能完成的任务不同,则只需要是xi V xj,就是至少一个为A,B中的一个就好。

  如果能完成的任务相同,则需要两条语句,xi V xj, 非xi V 非xj, 两个句子就好,然后根据mask输出结果。

#include <iostream>
#include <stdio.h>
#include <vector>
#include <cmath>
#include <string.h>
using namespace std;

const int maxn = 100005;

struct TwoSat{
	int n, S[maxn * 2], c;
	vector<int> G[maxn * 2];
	bool mark[maxn * 2];
	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, false, sizeof(mark));
	}
	void addEdge(int x, int xval, int y, int yval){  //染色加边,x为真,xval = 1....
		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;
	}
}; 
int n, m, x, num[maxn];
TwoSat solver;

void solve(){
	for(int i = 0; i < n; i ++)
		scanf("%d", &num[i]);
	int sum = 0;
	for(int i = 0; i < n; i ++)
		sum += num[i];
	x = sum / n;
	if(x * n < sum) x ++;

	solver.init(n);

	for(int i = 0; i < m; i ++){
		int p1, p2, f1, f2;
		scanf("%d %d", &p1, &p2);
		p1 -= 1, p2 -= 1;
		f1 = (num[p1] >= x); f2 = (num[p2] >= x);
		solver.addEdge(p1, 0, p2, 0);
		if(f1 == f2){
			solver.addEdge(p1, 1, p2, 1);
		}
	}
	if(!solver.solve()){
		printf("No solution.\n");
	}
	else{
		for(int i = 0; i < n * 2; i += 2){
			if(solver.mark[i]){
				printf("%c\n", num[i / 2] >= x ? 'A' : 'B' );
			}
			else{
				printf("C\n");
			}
		}
	}
}



int main(){
	while(cin>>n>>m){
		if(n == 0 && m == 0) break;
		solve();
	}

	return 0;
}


2-SAT问题(宇航员分组,LA 3713)

一共有三种任务,但是每个宇航员只能在其中某两种中选择一种。满足2-SAT模型的建模以及算法原理。(即每个人只能二选一)有向边uv表示选了u就要选v,这是一种限制而不是要求,所以我们依然可以把互相厌恨的...

LA 3713 - Astronauts 2-SAT

The Bandulu Space Agency (BSA) has plans for the following three space missions: Mission A: Lan...
  • cyendra
  • cyendra
  • 2013年05月23日 13:45
  • 621

LA 3211 Now or Later(2-SAT问题)

题目大意:     N架飞机需要着陆,每架飞机

UVALIVE 3713 Astronauts(2-SAT)

 题意:有A,B,C三个任务要分给n个宇航员,年龄大于等于平均年龄的分A, 年龄小于平均年龄的分在B,C组没有界限,互为敌人的两个宇航员不可以在同一组.求出一个分配的方案。 思路:可以发现每个...

UVALive 3713 Astronauts(2SAT)

当u, v 年龄段一样时,假设都大于平均年龄,必须满足u=A&&v=C || u=C&&v=A,我们只要加(u=A||v=A) &&(u=C||v=C)两个条件就可以了。而当年龄段不同时只加,(u=A...

LA 3514 The Ministers' Major Mess(2-SAT)

题意: n 个人对m个方案投票 。 每个人最多对4个方案投票, 问是否存在一种决定  , 使每个人都有超过一半的建议被采用 。 且哪些方案的态度是确定的。 分析:投票数 #in...

LA 3211 Now or later (2 - SAT) - from lanshui_Yang

As you must have experienced, instead of landing immediately, an aircraft sometimes waits in a holdi...

LA3211——2-sat

题意:n架飞机要着陆,每架飞机只有两个时间点可供选择(two-sat有木有啊),安排一个顺序,使得所有飞机的着陆时间当中间隔的最小值最大。 这题书上说:“最小值最大”的典型处理方法是二分查找最终答案。...

LA3211--Now or later(2-sat)

As you must have experienced, instead of landing immediately, an aircraft sometimes waits in a holdi...
  • a305657
  • a305657
  • 2014年03月22日 19:32
  • 527

UVA1391 Astronauts(LA3713)

前几天一直做这道题,但是硬是没过,今天再做就A了 刘汝佳提供的代码是wrong的,但是也没找到错在哪,希望有心人找到错后提醒下在下! 每个宇航员都只对应一对A和C或者B和C,因此我们只记两...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:2-SAT问题(LA3713)
举报原因:
原因补充:

(最多只允许输入30个字)