hdu3062:http://acm.hdu.edu.cn/showproblem.php?pid=3062
题意：中文题。
题解：很明显的2-sat。然后要深刻理解命题和逆否命题。如这一题，c1,c2,表示矛盾。则可以推出如果选c1,则要选~c2,逆否就是不选~c2就要选~c1,就是选c2和~c1,所以既可以加边了，然后就是2-sat。
1 #include<iostream> 2 #include<cstdio> 3 #include<cstring> 4 #include<algorithm> 5 #include<vector> 6 using namespace std; 7 const int N=20002; 8 const int M=4000002; 9 struct Node{ 10 int u; 11 int v; 12 }e[N*2]; 13 struct Edge{ 14 int to,next; 15 } edge[M]; 16 17 int n,m,cnt,dep,top,atype; 18 int dfn[N],low[N],vis[N],head[N],st[N],belong[N],in[N],out[N],sum[N]; 19 //sum[i]记录第i个连通图的点的个数,in[i],out[i],表示缩点之后点的入度和初度。 20 void init(){ 21 cnt=dep=top=atype=0; 22 memset(head,-1,sizeof(head)); 23 memset(dfn,0,sizeof(dfn)); 24 memset(low,0,sizeof(low)); 25 memset(vis,0,sizeof(vis)); 26 memset(belong,0,sizeof(belong)); 27 memset(in,0,sizeof(in)); 28 memset(out,0,sizeof(out)); 29 memset(sum,0,sizeof(sum)); 30 } 31 void addedge(int u,int v){ 32 edge[cnt].to=v; 33 edge[cnt].next=head[u]; 34 head[u]=cnt++; 35 } 36 37 void Tarjan(int u){ 38 dfn[u]=low[u]=++dep; 39 st[top++]=u; 40 vis[u]=1; 41 for(int i=head[u]; i!=-1; i=edge[i].next){ 42 int v=edge[i].to; 43 if(!dfn[v]){ 44 Tarjan(v); 45 low[u]=min(low[u],low[v]); 46 } 47 else if(vis[v]){ 48 low[u]=min(low[u],dfn[v]); 49 } 50 } 51 int j; 52 if(dfn[u]==low[u]){ 53 atype++; 54 do{ 55 j=st[--top]; 56 belong[j]=atype; 57 sum[atype]++; //记录每个连通分量中点的个数 58 vis[j]=0; 59 } 60 while(u!=j); 61 } 62 } 63 int main(){ 64 while(~scanf("%d%d",&n,&m)){ 65 init(); 66 for(int i=1;i<=m;i++){ 67 int a1,a2,c1,c2;a1++,a2++; 68 scanf("%d%d%d%d",&a1,&a2,&c1,&c2); 69 a1++;a2++; 70 if(c1==0&&c2==0){ 71 addedge(a1,a2+n); 72 addedge(a2,a1+n); 73 } 74 if(c1==0&&c2==1){ 75 addedge(a1,a2); 76 addedge(a2+n,a1+n); 77 } 78 if(c1==1&&c2==0){ 79 addedge(a1+n,a2+n); 80 addedge(a2,a1); 81 } 82 if(c1==1&&c2==1){ 83 addedge(a1+n,a2); 84 addedge(a2+n,a1); 85 } 86 } 87 for(int i=1;i<=n*2;i++) 88 if(!dfn[i])Tarjan(i); 89 bool flag=false; 90 for(int i=1;i<=n;i++){ 91 if(belong[i]==belong[i*2]){ 92 flag=true; 93 } 94 } 95 if(!flag){ 96 printf("YES "); 97 } 98 else 99 printf("NO "); 100 } 101 }