分析:这题就是2-sat的模板题,首先应该写出布尔方程的表达式,然后根据合取范式的格式,利用2-sat建边的“必须”原则来建图就可以了。
代码:
//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=2000005; //边数
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()
{
int m,i,x,y,z,t;
while(~scanf("%d%d",&n,&m))
{
init();
t=n*3;
for(i=1;i<=n;i++){
scanf("%d%d%d",&x,&y,&z);
add(x+t,y);
add(y+t,x);
add(x+t,z);
add(z+t,x);
}
for(i=1;i<=m;i++){
scanf("%d%d",&x,&y);
add(x,y+t);
add(y,x+t);
}
int N=n,flag=0;
n=3*n*2;
tarjan();
SD();
for(i=0;i<N;i++){
if(sd[i]==sd[i+t]||sd[i+1]==sd[i+1+t]||sd[i+2]==sd[i+2+t])
flag=1;
}
if(flag)printf("no\n");
else printf("yes\n");
}
return 0;
}