这题几乎包含了2-SAT的所有常见模型啦。
注意的是如果(A,A’)一定选A,那么就连一条A’->A的边。我也解释不清为什么QAQ。。
#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
int n,m,cnt,tot,top,scc,flag;
int low[2005],dfn[2005],belong[2005],inset[2005],stack[2005],head[2005];
int next[4000005],list[4000005];
char s[5];
inline int read()
{
int a=0,f=1; char c=getchar();
while (c<'0'||c>'9') {if (c=='-') f=-1; c=getchar();}
while (c>='0'&&c<='9') {a=a*10+c-'0'; c=getchar();}
return a*f;
}
inline void insert(int x,int y)
{
next[++cnt]=head[x];
head[x]=cnt;
list[cnt]=y;
}
void dfs(int x)
{
low[x]=dfn[x]=++tot;
stack[++top]=x;
inset[x]=1;
for (int i=head[x];i;i=next[i])
if (!dfn[list[i]])
{
dfs(list[i]);
low[x]=min(low[x],low[list[i]]);
}
else if (inset[list[i]]) low[x]=min(low[x],dfn[list[i]]);
if (low[x]==dfn[x])
{
int i=-1; scc++;
while (i!=x)
{
i=stack[top--];
belong[i]=scc;
inset[i]=0;
}
}
}
inline void tarjan()
{
for (int i=1;i<=2*n;i++) if (!dfn[i]) dfs(i);
}
int main()
{
n=read(); m=read();
for (int i=1;i<=m;i++)
{
int u=read()+1,v=read()+1,c=read();
scanf("%s",s);
switch (s[0])
{
case 'A':
if (c==1)
{
insert(2*u,2*v);
insert(2*v,2*u);
insert(2*u-1,2*u);
insert(2*v-1,2*v);
}
else
{
insert(2*u,2*v-1);
insert(2*v,2*u-1);
}
break;
case 'O':
if (c==1)
{
insert(2*u-1,2*v);
insert(2*v-1,2*u);
}
else
{
insert(2*u-1,2*v-1);
insert(2*v-1,2*u-1);
insert(2*u,2*u-1);
insert(2*v,2*v-1);
}
break;
case 'X':
if (c==1)
{
insert(2*u-1,2*v);
insert(2*v-1,2*u);
insert(2*v,2*u-1);
insert(2*u,2*v-1);
}
else
{
insert(2*u-1,2*v-1);
insert(2*v-1,2*u-1);
insert(2*u,2*v);
insert(2*v,2*u);
}
}
}
tarjan();
for (int i=1;i<=n;i++)
if (belong[2*i-1]==belong[2*i]) {flag=1; break;}
flag?puts("NO"):puts("YES");
return 0;
}