代码:
//O(m)求2-sat,此处下标从0开始
#pragma comment(linker,"/STACK:102400000,102400000")
#include <iostream>
#include <string.h>
#include <stdio.h>
#include <algorithm>
#include <vector>
#include <string>
#include <math.h>
#include <queue>
#include <stack>
#include <map>
#include <set>
using namespace std;
typedef long long ll; //记得必要的时候改成无符号
const int maxn=6005; //点数
const int maxm=4000005; //边数
const int INF=1000000000;
struct EdgeNode
{
int from;
int to;
int next;
}edge[maxm];
int head[maxn],cnt;
void add(int x,int y)
{
edge[cnt].from=x;edge[cnt].to=y;edge[cnt].next=head[x];head[x]=cnt++;
//printf(" %d %d\n",x,y);
}
void init()
{
cnt=0;
memset(head,-1,sizeof(head));
}
int dfn[maxn],low[maxn],ins[maxn],cixu,scc_count,n,ru[maxn],chu[maxn],sd[maxn];
stack<int>S;
void dfs(int u)
{
int v,x;
dfn[u]=low[u]=++cixu;
S.push(u);
ins[u]=1;
for(int i=head[u];i!=-1;i=edge[i].next)
{
v=edge[i].to;
if(!dfn[v]){
dfs(v);
low[u]=min(low[u],low[v]);
}
else if(ins[v])
low[u]=min(low[u],dfn[v]);
}
if(dfn[u]==low[u])
{
scc_count++;
do
{
x=S.top();
S.pop();
sd[x]=scc_count;
ins[x]=0;
}while(x!=u);
}
}
void tarjan()
{
for(int i=0;i<n;i++)sd[i]=i;
memset(ins,0,sizeof(ins));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
cixu=scc_count=0;
for(int i=0;i<n;i++)
{
if(!dfn[i])
dfs(i);
}
}
void SD()
{
int x,y,len=cnt;
init();
memset(ru,0,sizeof(ru));
memset(chu,0,sizeof(chu));
for(int i=0;i<len;i++){
x=sd[edge[i].from]; y=sd[edge[i].to];
if(x==y)continue;
add(x,y);
chu[x]++; ru[y]++;
}
}
int main()
{
char s[10];
int m,i,x,y,c;
while(~scanf("%d%d",&n,&m))
{
n=n*2;
init();
for(i=1;i<=m;i++){
scanf("%d%d%d%s",&x,&y,&c,s);
x=x*2; y=y*2;
if(strcmp(s,"AND")==0){
if(c==0){
add(x,y^1);
add(y,x^1);
}
else{
//add(x,y);
//add(y,x);
add(x^1,x);
add(y^1,y);
}
}
else if(strcmp(s,"OR")==0){
if(c==0){
//add(x^1,y^1);
//add(y^1,x^1);
add(x,x^1);
add(y,y^1);
}
else{
add(x^1,y);
add(y^1,x);
}
}
else{
if(c==0){
add(x,y);
add(x^1,y^1);
add(y,x);
add(y^1,x^1);
}
else{
add(x,y^1);
add(x^1,y);
add(y,x^1);
add(y^1,x);
}
}
}
tarjan();
int flag=0;
for(i=0;i<n;i+=2)if(sd[i]==sd[i+1])flag=1;
if(flag)printf("NO\n");
else printf("YES\n");
}
return 0;
}