poj 3678
a AND b =1
a AND b =0
等价于 !a || !b =1
a OR b =0
等价于(!a || !b) && (!a || b)
&& (!b || a) =1
a OR b =1
等价于 a || b =1
a XOR b =1
等价于(a || b) && (!a || !b) =1
a XOR b =0
等价于(a || !b) && (!a || b) =1
代码:
#include<iostream> #include<fstream> using namespace std; struct e{ int data; e *next; }edge[2001]; int n,m; int v[2001],low[2001],dfn[2001],stack[2001],scc[2001],tot,index,top; void tarjan(int s){ int i,j,k; dfn[s]=low[s]=++index; stack[++top]=s; v[s]=1; e *p=edge[s].next; while(p){ if(dfn[p->data]==0) { tarjan(p->data); low[s]=min(low[s],low[p->data]); } else if(v[p->data]) { low[s]=min(low[s],dfn[p->data]); } p=p->next; } if(low[s]==dfn[s]){ ++tot; do{ i=stack[top--]; scc[i]=tot; v[i]=0; }while(i!=s); } } void solve(){ int i,j,k; index=0;tot=0;top=0; memset(v,0,sizeof(v)); memset(dfn,0,sizeof(dfn)); for(i=0;i<2*n;i++) if(dfn[i]==0) tarjan(i); } void read(){ // ifstream cin("in.txt"); int i,j,k,s; char c[5]; cin>>n>>m; for(i=1;i<=m;i++) { cin>>j>>k>>s>>c; if(c[0]=='A') { if(s==1) { e *p=new e; p->data=j; p->next=edge[k+n].next; edge[k+n].next=p; e*q=new e; q->data=k; q->next=edge[j+n].next; edge[j+n].next=q; e *p1=new e; p1->data=k; p1->next=edge[j].next; edge[j].next=p1; e * q1=new e; q1->data=j+n; q1->next=edge[k+n].next; edge[k+n].next=q1; e *p2=new e; p2->data=j; p2->next=edge[k].next; edge[k].next=p2; e * q2=new e; q2->data=k+n; q2->next=edge[j+n].next; edge[j+n].next=q2; } else { e *p1=new e; p1->data=k+n; p1->next=edge[j].next; edge[j].next=p1; e * q1=new e; q1->data=j+n; q1->next=edge[k].next; edge[k].next=q1; } } if(c[0]=='O'){ if(s==1) { e *p1=new e; p1->data=k; p1->next=edge[j+n].next; edge[j+n].next=p1; e * q1=new e; q1->data=j; q1->next=edge[k+n].next; edge[k+n].next=q1; } else { e *p=new e; p->data=k+n; p->next=edge[j].next; edge[j].next=p; e*q=new e; q->data=j+n; q->next=edge[k].next; edge[k].next=q; e *p1=new e; p1->data=k; p1->next=edge[j].next; edge[j].next=p1; e * q1=new e; q1->data=j+n; q1->next=edge[k+n].next; edge[k+n].next=q1; e *p2=new e; p2->data=j; p2->next=edge[k].next; edge[k].next=p2; e * q2=new e; q2->data=k+n; q2->next=edge[j+n].next; edge[j+n].next=q2; } } if(c[0]=='X') { if(s==1) { e *p=new e; p->data=j; p->next=edge[k+n].next; edge[k+n].next=p; e*q=new e; q->data=k; q->next=edge[j+n].next; edge[j+n].next=q; e *p1=new e; p1->data=k+n; p1->next=edge[j].next; edge[j].next=p1; e * q1=new e; q1->data=j+n; q1->next=edge[k].next; edge[k].next=q1; } else { e *p=new e; p->data=j; p->next=edge[k].next; edge[k].next=p; e*q=new e; q->data=k+n; q->next=edge[j+n].next; edge[j+n].next=q; e *p1=new e; p1->data=k; p1->next=edge[j].next; edge[j].next=p1; e * q1=new e; q1->data=j+n; q1->next=edge[k+n].next; edge[k+n].next=q1; } } } solve(); for(i=0;i<n;i++) if(scc[i]==scc[i+n]) break; if(i<n) cout<<"NO"<<endl; else cout<<"YES"<<endl; } int main(){ read(); return 0; }