洛谷P4782 【模板】2-SAT 問題(強連通分量)
阿新 • • 發佈:2020-12-26
技術標籤:# 刷題之旅
比如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;
}