P4782 【模板】2-SAT 问题

题目连接

题面：

代码：

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<string>
#include<cmath>
#include<queue>
#define ll long long
#define llu unsigned ll
using namespace std;
const int maxn=4004000;
int head[maxn],ver[maxn],nt[maxn],dfn[maxn],low[maxn],c[maxn];
int d[maxn],opp[maxn];
int st[maxn],s[maxn],t[maxn],dd[maxn],val[maxn];
bool ha[maxn];
int n,m,tot=1,top,cnt,sum;

void add(int x,int y)
{
    ver[++tot]=y,nt[tot]=head[x],head[x]=tot;
}


void tarjan(int x)
{
    dfn[x]=low[x]=++sum;
    st[++top]=x,ha[x]=true;

    for(int i=head[x];i;i=nt[i])
    {
        if(!dfn[ver[i]])
        {
            tarjan(ver[i]);
            low[x]=min(low[x],low[ver[i]]);
        }
        else if(ha[ver[i]])
            low[x]=min(low[x],low[ver[i]]);
    }

    if(dfn[x]==low[x])
    {
        cnt++;
        int y;
        do
        {
            y=st[top--];
            ha[y]=false;
            c[y]=cnt;
        }while(x!=y);
    }
}

bool doit(void)
{
    for(int i=1;i<=2*n;i++)
        if(!dfn[i]) tarjan(i);

    for(int i=1;i<=n;i++)
    {
        if(c[i]==c[i+n])
            return false;
        opp[i]=n+i,opp[n+i]=i;
    }
    for(int i=1;i<=n*2;i++)
        val[i]=c[i]>c[opp[i]];
    return true;
}

int main(void)
{
    int x,y,ix,iy;
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d%d%d",&x,&ix,&y,&iy);
        if(ix==1&&iy==1)
            add(x+n,y),add(y+n,x);
        if(ix==1&&iy==0)
            add(x+n,y+n),add(y,x);
        if(ix==0&&iy==1)
            add(x,y),add(y+n,x+n);
        if(ix==0&&iy==0)
            add(x,y+n),add(y,x+n);

    }
    if(!doit()) printf("IMPOSSIBLE\n");
    else
    {
        printf("POSSIBLE\n");
        //val[i]==0 则表示选，val[i]==1表示不选
        for(int i=1;i<=n;i++)
            printf("%d ",val[i]^1);
    }
    return 0;
}