模板：强连通分量&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=;i<n*;i++)
         if(!ID[i])Tarjan(i);
     for(int i=;i<n;i++)
         if(scc[i*]==scc[i*+])
             return false;
     return true;
 }

http://blog.csdn.net/qq_24451605/article/details/47126143