模板：强连通分量&2-sat

void Tarjan(int x){
low[x]=ID[x]=++tot;
st[++top]=x;Inst[x]=true;
for(int i=fir[x];i;i=nxt[i])
if(!ID[to[i]]){
Tarjan(to[i]);
low[x]=min(low[x],low[to[i]]);
}
else if(Inst[to[i]])
low[x]=min(low[x],ID[to[i]]);
if(low[x]==ID[x]){
++scnt;
while(true){
int y=st[top--];
scc[y]=scnt;
Inst[y]=false;
if(x==y)break;
}
}
}

bool Check(){
for(int i=0;i<n*2;i++)
if(!ID[i])Tarjan(i);
for(int i=0;i<n;i++)
if(scc[i*2]==scc[i*2+1])
return false;
return true;
}