uva 11294 (poj 3648 2-SAT)

题意：有若干对夫妇参加婚礼。所有人坐在一张长桌子上妻子和丈夫必须坐在对面，然后给你若干个关系a,b 表示a,b不能做在同一边。问你是否能安排座位，若行输出方案的任意一种。

思路：标准的2-sat的题，套以下lrj的模版然后再判断一下是否有解。

代码如下：

//2-SAT
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <cstring>
#include <algorithm>
#include <queue>
#include <stack>
#include <vector>
#define MP(a, b) make_pair(a, b)
#define PB(a) push_back(a)

using namespace std;

typedef long long ll;
typedef pair<int ,int> pii;
typedef pair<unsigned int, unsigned int> puu;
typedef pair<int ,double> pid;
typedef pair<ll, int> pli;

const int INF = 0x3f3f3f3f;
const double eps = 1e-6;
const int LEN = 101000;
vector<int> Map[LEN];
bool mark[LEN*2];
int S[LEN*2], c;

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<Map[x].size(); i++)
        if(!dfs(Map[x][i]))return false;
    return true;
}

void init(int n){
    for(int i=0; i<n*2; i++)Map[i].clear();
    memset(mark, 0, sizeof mark);
}

void add_clause(int x, int xval, int y, int yval)
{
    x = x*2 + xval;
    y = y*2 + yval;
    Map[x^1].PB(y);
    Map[y^1].PB(x);
}

bool solve(int n){
    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()
{
//    freopen("in.txt", "r", stdin);

    int x, y, n, m;
    char a, b;
    while(scanf("%d%d", &n, &m)!=EOF){
        if(!n && !m)break;
        init(n);
        for(int i=0; i<m; i++){
            scanf("%d%c%d%c", &x, &a, &y, &b);
            if(a=='w' && b=='w'){ // a v b
                add_clause(x,1,y,1);
            }else if(a=='h' && b=='h'){ // !a v !b
                add_clause(x,0,y,0);
            }else if(a=='w' && b=='h'){  // a v !b OR !a v b
                add_clause(x,1,y,0);
            }else {
                add_clause(x,0,y,1);
            }
        }
        Map[0].PB(1);
        if(!solve(n)) printf("bad luck
");
        else {
            for(int i=2; i<2*n; i+=2){
                if(i!=2) printf(" ");
                if(mark[i]==mark[0]) printf("%dw", i/2);
                else printf("%dh", i/2);
            }
            printf("
");
        }
    }
    return 0;
}