hdu 3062 2-sat入门题

题目链接: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*];
bool mark[maxn*];
int s[maxn*],cnt; void init(int n){
this->n = n;
memset(mark,,sizeof(mark));
for(int i=;i<n*;i++) G[i].clear();
}
bool dfs(int u){
if(mark[u^]) return false;
if(mark[u]) return true;
mark[u] = true;
s[cnt++] = u;
for(int i=;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* + uval; //u,v有矛盾;
v = v* + vval;
G[u].push_back(v^);
G[v].push_back(u^);
} bool solve(){
for(int i=;i<n*;i+=){
if(!mark[i] && !mark[i+]){ //为啥这个地方不回溯;
cnt = ;
if(!dfs(i)){
while(cnt > ) mark[s[--cnt]] = false;
if(!dfs(i+)) return false;
}
}
}
return true;
}
}solver; int main()
{
//freopen("input.txt","r",stdin);
int n,m;
while(scanf("%d%d",&n,&m)==){
solver.init(n);
for(int i=;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");
}
}
上一篇:微信小程序开发《一》:阿里云tomcat免费配置https


下一篇:js导出成excel