解决例如 $\mathrm{x}$ 或 $\mathrm{y}$ 其中一个需要成立的问题.  

处理这种问题的时候对于每个点建立真和假.  

然后就连一下边就行，特别注意这个边是有对称性的.  

所以如果每次只连了一种边就要注意是否没考虑周全.  

在输出答案的时候显然可以用是否在一个联通分量内来判合法性.  

然后如果合法的话对于 $\mathrm{x}$ 点选择拓扑序靠后的决策.  

#include <cstdio>
#include <stack>
#include <algorithm>
#include <cstring> 
#include <vector>
#define N  2000009 
#define ll long long 
#define pb push_back 
#define setIO(s) freopen(s".in","r",stdin) 
using namespace std; 
vector<int>G[N]; 
stack<int>S; 
int n,m,tot,id[N][2],cnt,scc,low[N],dfn[N], col[N]; 
void tarjan(int x) {
    S.push(x);
    low[x]=dfn[x]=++scc;  
    for(int i=0;i<G[x].size();++i) {
        int v=G[x][i]; 
        if(!dfn[v]) {
            tarjan(v); 
            low[x]=min(low[x], low[v]); 
        }
        else if(!col[v]) {
            low[x]=min(low[x], dfn[v]); 
        }
    }
    if(low[x] == dfn[x]) {
        ++tot; 
        for(;;) {
            int p = S.top();
            S.pop();  
            col[p] = tot; 
            if(p == x) {
                break; 
            }
        }   
    }
}
int main() {
    // setIO("input"); 
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;++i) {
        id[i][0]=++cnt;  
        id[i][1]=++cnt; 
    }
    for(int i=1;i<=m;++i) {
        int x,a,y,b; 
        scanf("%d%d%d%d",&x,&a,&y,&b);  
        G[id[x][a ^ 1]].pb(id[y][b]); 
        G[id[y][b ^ 1]].pb(id[x][a]); 
    }
    for(int i=1;i<=cnt;++i) {
        if(!dfn[i]) {
            tarjan(i); 
        }
    }
    int flag = 0; 
    for(int i = 1; i <= n ; ++ i) {
        if(col[id[i][0]] == col[id[i][1]]) {
            flag = 1; 
            break ; 
        }
    }
    if(flag) {
        printf("IMPOSSIBLE\n"); 
    }
    else {
        printf("POSSIBLE\n");  
        for(int i = 1; i <= n ; ++ i) {
            if(col[id[i][0]] < col[id[i][1]]) {
                // dfn 在前，拓扑序在后.  
                printf("0 "); 
            }
            else {
                printf("1 "); 
            }
        }  
    }
    return 0; 
}