2-SAT模板整理

给定 n 个还未赋值的布尔变量 x1∼xn。

现在有 m 个条件，每个条件的形式为 “xi 为 0/1 或 xj 为 0/1 至少有一项成立”，例如 “x1 为 1 或 x3 为 0”、“x8 为 0 或 x4 为 0” 等。

现在，请你对这 n 个布尔变量进行赋值（0 或 1），使得所有 m 个条件能够成立。

输入格式
第一行包含两个整数 n,m。

接下来 m 行，每行包含四个整数 i,a,j,b，用来描述一个条件，表示 “xi 为 a 或 xj 为 b”。

输出格式
如果问题有解，则第一行输出 POSSIBLE，第二行输出 n 个整数表示赋值后的 n 个变量 x1∼xn 的值（0 或 1），整数之间用单个空格隔开。

如果问题无解，则输出一行 IMPOSSIBLE 即可。

如果答案不唯一，则输出任意一种正确答案即可。

数据范围
1≤n,m≤106,
1≤i,j≤n,
0≤a,b≤1
输入样例：
3 2
1 1 3 1
2 0 3 0
输出样例：
POSSIBLE
1 1 0

如果a成立，b也同时成立->add(a,b)

#include <bits/stdc++.h>

using namespace std;
//-----pre_def----
const double PI = acos(-1.0);
const int INF = 0x3f3f3f3f;
typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int, int> PII;
typedef pair<double, double> PDD;
#define fir(i, a, b) for (int i = (a); i <= (b); i++)
#define rif(i, a, b) for (int i = (a); i >= (b); i--)
#define endl '\n'
#define init_h memset(h, -1, sizeof h), idx = 0;
#define lowbit(x) x &(-x)

//---------------
const int N = 1e5 + 10;

int read()
{
    int ret = 0, flag = 0;
    char ch;
    if ((ch = getchar()) == '-')
        flag = 1;
    else if (ch >= '0' && ch <= '9')
        ret = ch - '0';
    while ((ch = getchar()) >= '0' && ch <= '9')
        ret = ret * 10 + (ch - '0');
    return flag ? -ret : ret;
}
struct two_SAT
{
    int n; //未翻倍之前的点数
    bool in_stack[N];
    int id[N], stk[N], top, dfn[N], low[N], times, scc_cnt; //所在scc编号，栈，dfs序，最下能到哪个节点，时间戳，scc编号
    int h[N], e[N], ne[N], idx;
    void init(int _n)
    {
        n = _n;
        init_h;
    }
    void over()
    {
        memset(id, 0, sizeof id);
        memset(dfn, 0, sizeof dfn);
        memset(low, 0, sizeof low);
        times = top = scc_cnt = 0;
    }
    void add(int a, int b)
    {
        e[idx] = b;
        ne[idx] = h[a];
        h[a] = idx++;
    }
    void add_and(int x, int valx, int y, int valy) //如果x取valx，则y必须取valy
    {
        //x -> y or !x -> y or x -> !y or !x -> !y
        add(x + valx * n, y + valy * n);
    }
    void add_or(int x, int valx, int y, int valy) //x取valx 或 y取valy()
    {
        add(x + (!valx) * n, y + valy * n);
        add(y + (!valy) * n, x + valx * n);
    }
    void tarjan(int u)
    {
        dfn[u] = low[u] = ++times;
        stk[++top] = u, in_stack[u] = true;
        for (int i = h[u]; ~i; i = ne[i])
        {
            int j = e[i];
            if (!dfn[j])
            {
                tarjan(j);
                low[u] = min(low[u], low[j]);
            }
            else if (in_stack[j])
            {
                low[u] = min(low[u], dfn[j]);
            }
        }
        if (dfn[u] == low[u])
        {
            ++scc_cnt;
            int y;
            do
            {
                y = stk[top--];
                in_stack[y] = false;
                id[y] = scc_cnt;
            } while (y != u);
        }
    }
    void tarjan()
    {
        fir(i, 1, n << 1) if (!dfn[i])
            tarjan(i);
    }
    bool solve()
    {
        tarjan();
        for (int i = 1; i <= n; i++)
        {
            if (id[i] == id[i + n])
                return false;
        }
        return true;
    }
    void print()
    {
        for (int i = 1; i <= n; i++)
        {
            if (id[i] > id[i + n])
                printf("1 "); //1
            else
                printf("0 "); //0
        }
    }
} t;

void init() {}
int main()
{
#ifndef ONLINE_JUDGE
    freopen("in.txt", "r", stdin);
    freopen("out.txt", "w", stdout);
    int StartTime = clock();
#endif
    t.init(read());
    int m = read();
    fir(i, 1, m)
    {
        int a, b, c, d;
        scanf("%d%d%d%d", &a, &b, &c, &d);
        t.add_or(a, b, c, d);
    }
    if (t.solve())
    {
        puts("POSSIBLE");
        t.print();
    }
    else
    {
        puts("IMPOSSIBLE");
    }
#ifndef ONLINE_JUDGE
    printf("Run_Time = %d ms\n", clock() - StartTime);
#endif
    return 0;
}