题目大意:经典的2-SAT问题类型,就不解释了。
解题思路:这是一道2-SAT入门题,就不具体分析了,不过看了好久的2-SAT的算法分析,觉得分析比较好的【这篇文章】,创建了两个大家都非常推荐的2-SAT大神的资料【点击下载】。最后是结合白书上的code写的,详见code哈,就不再赘述了。
题目来源:http://acm.hdu.edu.cn/showproblem.php?pid=3062
code:
#include <iostream>
#include <cstdio>
#include <cstring>
#include <stack>
#include <vector>
#include <algorithm>
using namespace std;
const int MAXN = 1000+10;
const int MAXM = MAXN*MAXN;
int n,m,a1,a2,c1,c2,u,v;
vector<int> g[MAXN*2];
bool mark[MAXN*2];
int s[MAXN*2],c;
void init(){
for(int i=0;i<n*2;i++) g[i].clear();
memset(mark,0,sizeof(mark));
}
bool dfs(int x){
if(mark[x^1]) return false;
if(mark[x]) return true;
mark[x]=true;
s[c++]=x;
for(int i=0;i<g[x].size();i++)
if(!dfs(g[x][i])) return false;
return true;
}
bool solve(){
for(int i=0;i<n*2;i+=2)
if(!mark[i] && !mark[i+1]){
c=0;
if(!dfs(i)){
while(c>0) mark[s[--c]]=false;
if(!dfs(i+1)) return false;
}
}
return true;
}
int main(){
while(scanf("%d%d",&n,&m)!=EOF){
init();
for (int i=0;i<m;i++){
scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
u = a1*2+c1;v = a2*2+c2;
g[u^1].push_back(v);
g[v^1].push_back(u);
}
if(solve()) printf("YES\n");
else printf("NO\n");
}
return 0;
}