P4782 【模板】2-SAT 问题

传送门

2-SAT的板子

把每一个点拆成选0或选1

条件为$x_i$为$a$或$x_j$为$b$，那么如果$x_i$不为$a$则$x_j$必为$b$，同理$x_j$不为$b$则$x_i$必为$a$

那么从$x_i$不为$a$的点向$x_j$为$b$的点连边，从$x_j$不为$b$的点向$x_i$为$a$的点连边

然后跑一个tarjan缩点，在新的DAG的反图上跑一遍拓扑排序，如果有一个点的两个取值在同一个强连通分量里就无解，否则取两个取值中拓扑序小的那一个

有一个小技巧就是tarjan缩点时的编号实际就是新的DAG的反图拓扑序，那么只要看两个取值谁的拓扑序更小取谁就行了

//minamoto
#include<iostream>
#include<cstdio>
using namespace std;
#define getc() (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++)
char buf[1<<21],*p1=buf,*p2=buf;
template<class T>inline bool cmin(T&a,const T&b){return a>b?a=b,1:0;}
inline int read(){
    #define num ch-'0'
    char ch;bool flag=0;int res;
    while(!isdigit(ch=getc()))
    (ch=='-')&&(flag=true);
    for(res=num;isdigit(ch=getc());res=res*10+num);
    (flag)&&(res=-res);
    #undef num
    return res;
}
char sr[1<<21],z[20];int C=-1,Z;
inline void Ot(){fwrite(sr,1,C+1,stdout),C=-1;}
inline void print(int x){
    if(C>1<<20)Ot();if(x<0)sr[++C]=45,x=-x;
    while(z[++Z]=x%10+48,x/=10);
    while(sr[++C]=z[Z],--Z);sr[++C]=' ';
}
const int N=2e6+5;
int head[N],Next[N],ver[N],tot;
inline void add(int u,int v){
    ver[++tot]=v,Next[tot]=head[u],head[u]=tot;
}
int dfn[N],bl[N],low[N],st[N],top,num,cnt,n,m;
void tarjan(int u){
    dfn[u]=low[u]=++num,st[++top]=u;
    for(int i=head[u];i;i=Next[i]){
        int v=ver[i];
        if(!dfn[v]) tarjan(v),cmin(low[u],low[v]);
        else if(!bl[v]) cmin(low[u],dfn[v]);
    }
    if(low[u]==dfn[u]) for(++cnt;st[top+1]!=u;--top) bl[st[top]]=cnt;
}
int main(){
//    freopen("testdata.in","r",stdin);
    n=read(),m=read();
    for(int i=1;i<=m;++i){
        int a=read(),b=read(),c=read(),d=read();
        add(a+(!b)*n,c+d*n),add(c+(!d)*n,a+b*n);
    }
    for(int i=1,l=n<<1;i<=l;++i) if(!dfn[i]) tarjan(i);
    for(int i=1;i<=n;++i)
    if(bl[i]==bl[i+n]) return puts("IMPOSSIBLE"),0;
    puts("POSSIBLE");
    for(int i=1;i<=n;++i) print(bl[i+n]<bl[i]);
    Ot();
    return 0;
}