ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

2-SAT模板

2022-07-12 01:02:12  阅读:130  来源: 互联网

标签:std head const 30010 int include 模板 SAT


K

#include <iostream>
#include <cstdio>
using namespace std;
const int N = 30010;
int n, m, head[N], ver[N << 1], nex[N << 1], tot, dfn[N], colCnt, col[N], sta[N], top, vis[N], low[N], cnt, ans[N];
inline void add (int x, int y) {
	ver[++ tot] = y;
	nex[tot] = head[x];
	head[x] = tot;
}
void tarjan (int x) {
	dfn[x] = low[x] = ++ cnt;
	sta[++ top] = x;
	vis[x] = 1;
	for (int i = head[x]; i; i = nex[i]) {
		int y = ver[i];
		if (!dfn[y]) {
			tarjan(y);
			low[x] = min(low[x], low[y]);
		} else if (vis[y])
			low[x] = min(low[x], low[y]);
	}
	if (dfn[x] == low[x]) {
		col[x] = ++ colCnt;
		vis[x] = 0;
		while (sta[top] != x) {
			col[sta[top]] = colCnt;
			vis[sta[top --]] = 0;
		}
		top --;
	}
}
void dfs (int x) {
	if (ans)
	for (int i = head[x]; i; i = nex[i]) {
		int y = ver[i];
	}
}
int main () {
	scanf("%d%d", &n, &m);
	for (int i = 1; i <= m; i ++) {
		int a[4], b[4];
		char c[10];
		scanf("%d %s %d %s %d %s", &a[1], c + 1, &a[2], c + 2, &a[3], c + 3);
		for (int j = 1; j <= 3; j ++)
			b[j] = (c[j] == 'B');
		add(a[1] * 2 - 1 + b[1], a[2] * 2 - b[2]);
		add(a[2] * 2 - 1 + b[2], a[1] * 2 - b[1]);
		add(a[1] * 2 - 1 + b[1], a[3] * 2 - b[3]);
		add(a[3] * 2 - 1 + b[3], a[1] * 2 - b[1]);
		add(a[2] * 2 - 1 + b[2], a[3] * 2 - b[3]);
		add(a[3] * 2 - 1 + b[3], a[2] * 2 - b[2]);
	}
	for (int i = 1; i <= 2 * n; i ++)
		if (!dfn[i])
			tarjan(i);
	int flag = 0;
	for (int i = 1; i <= 2 * n; i += 2)
		if (col[i] == col[i + 1])
			flag = 1;
	if (flag) {
		printf("-1\n");
		return 0;
	}
	for (int i = 1; i <= n * 2; i ++) vis[i] = 0;
	for (int i = 1; i <= n; i ++) {
		int c1 = col[i * 2 - 1], c2 = col[i * 2];
		if (vis[c1]) {
			ans[i] = 0;
			continue;
		}
		if (vis[c2]) {
			ans[i] = 1;
			continue;
		}
		if (c1 < c2) {
			ans[i] = 0;
			vis[c1] = 1;
		} else {
			ans[i] = 1;
			vis[c2] = 1;
		}
	}
	for (int i = 1; i <= n; i ++) {
		if (ans[i]) printf("R");
		else printf("B");
	}
	printf("\n");
	return 0;
}

标签:std,head,const,30010,int,include,模板,SAT
来源: https://www.cnblogs.com/duoluoluo/p/16468540.html

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

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有