2-sat问题，输出方案，几种方法（赵爽的论文染色解法+其完全改进版）浅析 / POJ3683(二)
].push_back(i^1); } } } for(int i=0;i<2*n;i++) { if(visited[i]==0) { visited[i]=1; tarjan(i); } } for(int i=0;i<2*n;i+=2) { if(scc[i]==scc[i+1]) //矛盾的点在一个SCC中， { printf("NO\n"); return false; } } return true; } void solve() { for(int i=0;i<2*n;i+=2) //统计ans { if(scc[i]