hdu 3062 2-sat入门题

最新推荐文章于 2020-03-08 19:50:52 发布

转载最新推荐文章于 2020-03-08 19:50:52 发布 · 89 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/acmdeweilai/p/3235871.html

本文详细介绍了如何使用二元可满足性问题（2-SAT）解决HDU 3062算法题。通过C++实现了一个具体的2-SAT算法，并针对该题目进行了实例演示。解析了算法的具体步骤，包括图的构建、深度优先搜索（DFS）以及判断解的存在性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3062

#include <cstdio>
#include <cmath>
#include <algorithm>
#include <iostream>
#include <cstring>
#include <queue>
#include <vector>

#define maxn 1250
#define INF  0x3f3f3f
using namespace std;

struct TwoSat{
    int n;
    vector<int> G[maxn*2];
    bool mark[maxn*2];
    int s[maxn*2],cnt; 
    
    void init(int n){
        this->n = n;
        memset(mark,0,sizeof(mark));
        for(int i=0;i<n*2;i++) G[i].clear();
    }
    bool dfs(int u){
        if(mark[u^1]) return false;
        if(mark[u])   return true;
        mark[u] = true;
        s[cnt++] = u;
        for(int i=0;i<G[u].size();i++){
            if(!dfs(G[u][i]))  return false;
        }
        return true;
    }
    
    void add_clause(int u,int uval,int v,int vval){ //这儿有问题 
        u = u*2 + uval;    //u,v有矛盾； 
        v = v*2 + vval;
        G[u].push_back(v^1);
        G[v].push_back(u^1);
    }
    
    bool solve(){
        for(int i=0;i<n*2;i+=2){
            if(!mark[i] && !mark[i+1]){  //为啥这个地方不回溯； 
                cnt = 0;
                if(!dfs(i)){
                    while(cnt > 0) mark[s[--cnt]]  = false;  
                    if(!dfs(i+1)) return false;
                } 
            }
        }
        return true;
    }
}solver;

int main()
{
    //freopen("input.txt","r",stdin);    
    int n,m;
    while(scanf("%d%d",&n,&m)==2){
        solver.init(n);
        for(int i=1;i<=m;i++){
            int a,b,c,d;
            scanf("%d%d%d%d",&a,&b,&c,&d);
            solver.add_clause(a,c,b,d);
        }
        if(solver.solve())  printf("YES\n");
        else                printf("NO\n");
    }
}

View Code

转载于:https://www.cnblogs.com/acmdeweilai/p/3235871.html