poj 3678

a AND b =1 

 等价于(a || b) && (!a || b) && (!b || a) =1
a AND b =0
等价于 !a || !b =1
a OR b =0  等价于  !a AND !b =1
等价于(!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 XOR !b =1
等价于(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;
}

转载于:https://www.cnblogs.com/zhaozhe/archive/2011/03/19/1988753.html