感谢 pym 大神。

连边 $a \to b$ 的含义是如果 $a$ 不满足，则 $b$ 一定满足。
然后 tarjan 即可。

注意 tarjan 的 scc 序是某种意义上的逆拓扑序，大于小于不要写错，以及空间两倍。

#include <bits/stdc++.h>
using namespace std;
const int N = 2e6 + 15, M = N << 1;
int n, m;
int h[N], e[M], ne[M], idx = 0;
void add(int a, int b) {
    e[idx] = b, ne[idx] = h[a], h[a] = idx++;
}

//a->b 表示如果 a 不满足则 b 一定满足
//a[i] 0    a[i+n] 1
int dfn[N], low[N], tot = 0;
int stk[N], top = 0;
bool in_stk[N];
int scc[N], cnt = 0;

void tarjan(int u) {
    dfn[u] = low[u] = ++tot;
    stk[++top] = u, in_stk[u] = 1;
    for (int i = h[u]; ~i; i = ne[i]) {
        int v = e[i];
        if (!dfn[v]) {
            tarjan(v);
            low[u] = min(low[u], low[v]);
        } else if (in_stk[v]) {
            low[u] = min(low[u], dfn[v]);
        }
    }
    if (dfn[u] == low[u]) {
        ++cnt;
        while (stk[top] != u) {
            int v = stk[top]; top--;
            in_stk[v] = 0, scc[v] = cnt;
        }
        top--, in_stk[u] = 0, scc[u] = cnt;
    }
}

int main() {
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= n * 2; i++) h[i] = -1;
    while (m--) {
        int u, v, a, b;
        scanf("%d%d%d%d", &u, &a, &v, &b);
        if (a == 0 && b == 0) add(u + n, v), add(v + n, u);
        if (a == 0 && b == 1) add(u + n, v + n), add(v, u);
        if (a == 1 && b == 0) add(u, v), add(v + n, u + n);
        if (a == 1 && b == 1) add(u, v + n), add(v, u + 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]) return puts("IMPOSSIBLE"), 0;
    puts("POSSIBLE");
    // for (int i = 1; i <= n * 2; i++) cout << scc[i] << ' '; puts("");
    for (int i = 1; i <= n; i++) {
        putchar( (scc[i] > scc[i + n]) ? '1' : '0');
        putchar(' ');
    }
    return 0;
}