POJ 3678 2-sat模板

点击打开链接

题意：给定一些关系，然后结果给出，问你是否可以给0到n-1分配0或1使得所有关系成立

思路：2-sat的模板题，理论不多说了，然后就是根据给定的关系建边即可

#include 
#include 
#include 
#include 
#include 
#include 
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const int inf=0x3f3f3f3f;
const ll INF=0x3f3f3f3f3f3f3f3fll;
const int maxn=2010;
int V;
vectorG[maxn],rG[maxn],vs;
bool used[maxn];
int cmp[maxn];
void add_edge(int from,int to){
    G[from].push_back(to);
    rG[to].push_back(from);
}
void dfs(int v){
    used[v]=1;
    for(unsigned int i=0;i=0;i--){
        if(!used[vs[i]]) rdfs(vs[i],sum++);
    }
    return sum;
}
int main(){
    int m,op,u,v;
    char ch[10];
    while(scanf("%d%d",&V,&m)!=-1){
        for(int i=0;i