2-SAT

原理非常简单的啦。然而我做了一道模板题做了一个多小时。。

hdu3052：

WA了一个小时。我实在放弃了。于是上个厕所。突然想到了些什么，回到电脑前淡定的把一个+改成^。过了。。。早上真的学的太不顺利了。写了KMMLE。很认真找bug找了差不多一小时。继续MLE。。

○|￣|_○|￣|_○|￣|_

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<vector>
using namespace std;
#define rep(i,n) for(int i=1;i<=n;i++)
#define clr(x,c) memset(x,c,sizeof(x))
int read(){
int x=0;
char c=getchar();
while(!isdigit(c)) c=getchar();
while(isdigit(c)){
x=x*10+c-'0';
c=getchar();
}
return x;
}
const int nmax=1005;
vector<int>f[nmax*2];
int v[nmax*2],s[nmax*2],c,n,m;
void add(int a,int va,int b,int vb){
a=a*2+va;
b=b*2+vb;
f[a].push_back(b);
}
bool dfs(int x){
if(v[x^1]) return false;   //就是这里就是这里！！！！！！！
if(v[x]) return true;
v[x]=1;
s[c++]=x;
for(int i=0;i<f[x].size();i++){
if(!dfs(f[x][i]))
return false;
}
return true;
}
bool solve(){
for(int i=0;i<2*n;i+=2)
if(!v[i]&&!v[i+1]){
c=0;
if(!dfs(i)){
while(c>0)
v[s[--c]]=0;
if(!dfs(i+1))
return false;
}

}
return true;
}
void init(){
for(int i=0;i<2*n;i++)
f[i].clear();
clr(v,0);
}
int main(){
while(~scanf("%d%d",&n,&m)){
init();
rep(i,m){
int a=read(),b=read(),va=read(),vb=read();
add(a,va,b,vb^1);
add(b,vb,a,va^1);
}
//printf(solve()?"YES\n":"NO\n");
printf("%s\n",solve()?"YES":"NO");
}
return 0;
}

poj3905：ps：还是模板题

没错我又作死成功了没错没错。。。一直写的读入优化都没有遇到过负数的，然后这次就遇到了。于是我找找找，草read（）怎么可能会有问题。跳过。看了好几遍之后才不得不看了下read（）。不知道说些什么囧囧囧。加边这种写法更加简单一些。

#include<cstdio>
#include<cstring>
#include<vector>
#include<iostream>
#include<algorithm>
using namespace std;
#define rep(i,n) for(int i=1;i<=n;i++)
#define clr(x,c) memset(x,c,sizeof(x));
int read(){
int x=0;int f=1;
char c=getchar();
while(!isdigit(c)) {
if(c=='-')           //这里这里这里！！！！
f=-1;
c=getchar();
}
while(isdigit(c)){
x=x*10+c-'0';
c=getchar();
}
return f*x;
}
const int nmax=1005;
vector<int>f[nmax*2];
int v[nmax*2],s[nmax*2],n,m,c;
void add(int a,int va,int b,int vb){
int x=a*2+va;
int y=b*2+vb;
f[x^1].push_back(y);
f[y^1].push_back(x);              //这样子写简单了点！！！
}
bool dfs(int x){
if(v[x^1]) return false;
if(v[x]) return true;
v[x]=1;
s[c++]=x;
for(int i=0;i<f[x].size();i++){
if(!dfs(f[x][i]))
return false;
}
return true;
}
bool solve(){
for(int i=0;i<2*n;i+=2){
if(!v[i]&&!v[i+1]){
c=0;
if(!dfs(i)){
while(c>0) v[s[--c]]=0;
if(!dfs(i+1))
return false;
}
}
}
return true;
}
void init(){
for(int i=0;i<2*n;i++)
f[i].clear();
clr(v,0);
}
int main(){
while(~scanf("%d%d",&n,&m)){
init();
rep(i,m){
int u=read(),v=read();
add(abs(u)-1,u<0?1:0,abs(v)-1,v<0?1:0);
}
printf("%d\n",solve()?1:0);
}
return 0;
}