并不对劲的2-SAT

说明

板板题链接
这个人讲得很清楚

WAWAWAWA

建的边“不完整”，比如当限制是“x为1时y一定为1”时，连x->y的边时，忘记连y'->x'的边（逆否）。

代码

#include<algorithm>
#include<cmath>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iomanip>
#include<iostream>
#include<set>
#include<stack>
#include<vector>
#include<queue>
#define LL long long 
#define maxn 2000007
#define rep(i,x,y) for(int i=(x);i<=(y);++i)
#define dwn(i,x,y) for(int i=(x);i>=(y);--i)
#define view(u,k) for(int k=fir[u];~k;k=nxt[k])
using namespace std;
int read()
{
    int x=0,f=1;char ch=getchar();
    while(!isdigit(ch)&&ch!='-')ch=getchar();
    if(ch=='-')f=-1,ch=getchar();
    while(isdigit(ch))x=(x<<3)+(x<<1)+ch-'0',ch=getchar();
    return x*f;
}
void write(int x)
{
    int f=0;char ch[20];
    if(x==0){putchar('0');putchar(' ');return ;}
    if(x<0){putchar('-'),x=-x;}
    while(x)ch[++f]=x%10+'0',x/=10;
    while(f)putchar(ch[f--]);putchar(' ');
}
int n,m,fir[maxn],nxt[maxn],v[maxn],cnte,dfn[maxn],low[maxn],ans[maxn],ins[maxn],stk[maxn],tp,tim,col[maxn],num;
void ade(int u1,int v1){v[cnte]=v1,nxt[cnte]=fir[u1],fir[u1]=cnte++;}
void tar(int u)
{
	dfn[u]=low[u]=++tim,ins[u]=1,stk[++tp]=u;
	view(u,k)
	{
		if(!dfn[v[k]])tar(v[k]),low[u]=min(low[u],low[v[k]]);
		else if(ins[v[k]])low[u]=min(low[u],dfn[v[k]]);
	}
	if(dfn[u]==low[u])
	{
		num++;
		while(1)
		{
			col[stk[tp]]=num,ins[stk[tp]]=0;
			if(stk[tp--]==u)break;
		}
	}
}
int gx(int x,int f){return x+f*n;}
int main()
{
	memset(fir,-1,sizeof(fir));
	n=read(),m=read();
	rep(i,1,m)
	{
		int x1=read(),k1=read(),x2=read(),k2=read();
		if(x1==x2&&k1!=k2)continue; 
		else if(x1==x2)ade(gx(x1,k1^1),gx(x1,k1));
		else ade(gx(x1,k1^1),gx(x2,k2)),ade(gx(x2,k2^1),gx(x1,k1));
	}int li=n<<1;
	rep(i,1,li)if(!dfn[i])tar(i);
	rep(i,1,n)
	{
		if(col[gx(i,0)]==col[gx(i,1)]){puts("IMPOSSIBLE");return 0;}
		if(col[gx(i,0)]>col[gx(i,1)])ans[i]=1;
		else ans[i]=0;
	}
	puts("POSSIBLE");
	rep(i,1,n)write(ans[i]);
	return 0;
}