HDU 1814 Peaceful Commission （最小字典序 2-SAT）

思路：

#include <iostream>
#include <algorithm>
#include <cstdio>
#include <string.h>
#include <queue>
using namespace std;

const int maxn = 8010*2;
struct edge{
int to,v,next;
}ed[maxn*4];
int head[maxn],cnte = 0;
void ae(int x,int y){//addedge
ed[++cnte].to = y;
ed[cnte].next=head[x];
head[x]=cnte;
}
int n,m;
int col[maxn];
int pre[maxn];int cntp = 0;
//判断x点能不能选 因为x点能不能选需要选后边的点来试。。
bool dfs(int x){
if(col[x]==1) return true;
if(col[x^1]==1) return false;
col[x]=1,col[x^1]=-1;
pre[cntp++]=x;
for(int i=head[x];i!=-1;i=ed[i].next){
int to = ed[i].to;
if(!dfs(to)){
return false;
}
}
return true;
}
bool solve(){
for(int i = 0;i < 2*n;i+=2){
cntp = 0;
if(!dfs(i)){//如果第一个点选不了
for(int j=0;j<cntp;j++){
col[pre[j]] = col[pre[j]^1] = 0;
}
if(!dfs(i+1)){//如果第二个点也选不了 无解
return false;
}
}
else{//选第一个点
col[i]=1,col[i^1]=-1;
}
}
return true;
}
int main(){
int flag = 0,a,b;
while(~scanf("%d%d",&n,&m)){
memset(head,-1,sizeof(head));
memset(col,0,sizeof(col));
cntp = 0,flag=0,cnte=0;
for(int i = 1;i <= m;i++){
scanf("%d%d",&a,&b);a--,b--;
ae(a,b^1);ae(b,a^1);
}
flag = solve();
for(int i = 0;i < 2*n && flag == 1;i++){
if(col[i]==1){
printf("%d\n",i+1);
}
}
if(flag == 0) printf("NIE\n");
}
return 0;
}