标签：洛谷 P5782 int POI2001 19 党派 委员会 MAXM include

B 国有 \(n\) 个党派，每个党派有 \(2\) 名代表。有的代表互相讨厌。现创立一个和平委员会，要求每个党派恰好有 \(1\) 名代表在委员会内，且所有委员都不讨厌其他委员。

2-SAT 裸题。

#include <cstdio>
#include <algorithm>

const int MAXN = 1.6e4 + 19, MAXM = 2e4 + 19;

struct Edge{
	int to, next;
}edge[MAXM << 2];

int cnt, head[MAXN << 1];

inline void add(int from, int to){
	edge[++cnt].to = to;
	edge[cnt].next = head[from];
	head[from] = cnt;
}

int ind;
int stack[MAXN << 1], top, vist[MAXN << 1];
int dfn[MAXN << 1], low[MAXN << 1];
int color[MAXN << 1], color_cnt;

void dfs(int node){
	dfn[node] = low[node] = ++ind;
	stack[++top] = node, vist[node] = true;
	for(int i = head[node]; i; i = edge[i].next)
		if(!dfn[edge[i].to]){
			dfs(edge[i].to);
			low[node] = std::min(low[node], low[edge[i].to]);
		}
		else if(vist[edge[i].to])
			low[node] = std::min(low[node], low[edge[i].to]);
	if(dfn[node] == low[node]){
		++color_cnt;
		while(stack[top + 1] != node){
			color[stack[top]] = color_cnt;
			vist[stack[top]] = false;
			--top;
		}
	}
}

int n, m;

int main(){
	std::scanf("%d%d", &n, &m);
	for(int i = 1; i <= n; ++i){
		add(i * 2 - 1 + n * 2, i * 2);
		add(i * 2 + n * 2, i * 2 - 1);
		add(i * 2 - 1, i * 2 + n * 2);
		add(i * 2, i * 2 - 1 + n * 2);
	}
	for(int a, b, i = 1; i <= m; ++i){
		std::scanf("%d%d", &a, &b);
		add(a, b + n * 2);
		add(b, a + n * 2);
	}
	for(int i = 1; i <= n * 4; ++i)
		if(!dfn[i])
			dfs(i);
	for(int i = 1; i <= n * 2; ++i)
		if(color[i] == color[i + n * 2])
			return std::puts("NIE"), 0;
	for(int i = 1; i <= n * 2; ++i)
		if(color[i] < color[i + n * 2])
			std::printf("%d\n", i);
	return 0;
}

标签：洛谷,P5782,int,POI2001,19,党派,委员会,MAXM,include
来源： https://www.cnblogs.com/natsuka/p/12815007.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。