HDU-#3062 Party（2-SAT）

最新推荐文章于 2017-08-21 08:44:03 发布

沁路墨彦

最新推荐文章于 2017-08-21 08:44:03 发布

阅读量337

点赞数

分类专栏： ACM---2-SAT ACM======图论=======

本文链接：https://blog.csdn.net/qinlumoyan/article/details/38445497

版权

ACM======图论======= 同时被 2 个专栏收录

27 篇文章 0 订阅

订阅专栏

ACM---2-SAT

2 篇文章 0 订阅

订阅专栏

题目大意：经典的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;
}