洛谷P4782 【模板】2-SAT 问题（强连通分量）

原题

比如a为1或者b为1，那我们可以建两条确定边，就是!a -> b，!b -> a
。。然后就缩点，如果a和 !a 在同一个强连通分量中，那说明不可能。
如果答案存在呢，该怎么找布尔值呢。
!

来自洛谷的截图。。当结论记住？。。

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<iostream>
#include<algorithm>
#include<stack>
#include<map>
using namespace std;
#define LL long long
#define eps (1e-8)
const int maxn = 2e6+10;
const LL mod = 1e9 + 7;
const LL inf = 1e15;
struct node
{
	int v, nxt;
}e[maxn];
int head[maxn], cnt;
void add(int u, int v)
{
	e[++cnt].v = v;
	e[cnt].nxt = head[u];
	head[u] = cnt;
}
int dfn[maxn], low[maxn], vis[maxn], scc[maxn], ti, col;
stack<int>s;
void tarjan(int u)
{
	dfn[u] = low[u] = ++ti;
	vis[u] = 1;
	s.push(u);
	for (int i = head[u]; i; i = e[i].nxt)
	{
		int v = e[i].v;
		if (!dfn[v])
		{
			tarjan(v);
			low[u] = min(low[u], low[v]);
		}
		else if (vis[v])low[u] = min(low[u], dfn[v]);
	}
	if (dfn[u] == low[u])
	{
		++col;
		while (1)
		{
			int v = s.top();
			s.pop();
			vis[v] = 0;
			scc[v] = col;
			if (u == v)break;
		}
	}
}
int main()
{
	int n, m;
	scanf("%d%d", &n, &m);
	int a, ca, b, cb;
	while (m--)
	{
		scanf("%d%d%d%d", &a, &ca, &b, &cb);
		if (ca && cb)
		{
			add(a + n, b), add(b + n, a);
		}
		else if (!ca && cb)
		{
			add(a, b), add(b + n, a + n);
		}
		else if (ca & !cb)
		{
			add(a + n, b + n), add(b, a);
		}
		else
		{
			add(a, b + n), add(b, a + n);
		}
	}
	for (int i = 1; i <= 2 * n; i++)
	{
		if (!dfn[i])tarjan(i);
	}
	for (int i = 1; i <= n; i++)
	{
		if (scc[i] == scc[i + n])
		{
			printf("IMPOSSIBLE\n");
			return 0;
		}
	}
	printf("POSSIBLE\n");
	for (int i = 1; i <= n; i++)
	{
		if (scc[i] < scc[i + n])printf("1 ");
		else printf("0 ");
	}
	return 0;
}