模板：2-SAT

2-SAT算法

实际上是每个变量有两个状态把

然后扩展开来

注意每个数组开原来的二倍

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn=1000010;
int head[maxn<<1], cnt;
int dfn[maxn<<1], low[maxn<<1], st[maxn<<1];
int scc[maxn<<1];//强连通分量的拓扑序
bool in[maxn<<1];
int m, n, top, num, ct;
struct edge{
    int to, next;
}a[maxn<<2];
void add(int from, int to){
    cnt++;
    a[cnt].to=to;
    a[cnt].next=head[from];
    head[from]=cnt;
}
void tarjan(int u){//缩点
    low[u]=dfn[u]=++num;
    st[top++]=u;
    in[u]=true;
    for(int i=head[u]; i; i=a[i].next){
        int v=a[i].to;
        if(!dfn[v]){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(in[v]) low[u]=min(low[u],dfn[v]);
    }
    if(low[u]==dfn[u]){
        int v;
        ct++;
        do{
            v=st[--top];
            in[v]=false;
            scc[v]=ct;
        }while(u!=v);
    }
}
bool sat(){
    for(int i=1; i<=n*2; i++){
        if(!dfn[i]) tarjan(i);
    }
    for(int i=1; i<=n; i++){
        if(scc[i]==scc[i+n]) return false;//如果两个在同一个，也就意味着自相矛盾不存在
    }
    return true;
}
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1; i<=m; i++){
        int a, b, av, bv;
        scanf("%d%d%d%d",&a,&av,&b,&bv);
        int na=av^1, nb=bv^1;//a表示条件a选0的情况，a+n表示条件a选1的情况。 
        add(a+na*n, b+bv*n);//相应建图方式，具体不理解可以手动推一下
        add(b+nb*n, a+av*n);
    }
    if(sat()){
        printf("POSSIBLE\n");
        for(int i=1; i<=n; i++)
            printf("%d ",scc[i]>scc[i+n]);//反着的拓扑序，如果大于成立则说明1其实是拓扑序大的，小于成立反之
    }
    else printf("IMPOSSIBLE");
    return 0;
}

 

注意每个数组开