UVa 11294 Wedding (two SAT 输出解)

题意：

有n对夫妻，要坐在一张长桌子的两侧，夫妻不能坐在同一侧，其中有一个是公主，她不希望看到她对面一侧的人中有奸夫淫妇。。。题中给出若干对有奸情的两个人，可以是异性也可以是同性。。。问你是否存在满足条件的情况，如果存在，则输出和公主同一侧的人。

解题思路：

two SAT搞起，我用的是刘汝佳的犀利的模板，直接搜环，不用强联通~这个好处就是输出解特方便，不需要强联通缩点加拓扑，好东西！

/* **********************************************
Author      : JayYe
Created Time: 2013-10-24 12:13:16
File Name   : JayYe.cpp
*********************************************** */

#include <stdio.h>
#include <string.h>
#include <algorithm>
using namespace std;

const int maxn = 500 + 5;

struct twoSAT {

    struct Edge {
        int to, next;
    }edge[maxn*maxn];

    int n;
    bool mark[maxn<<1];
    int S[maxn<<1], c, head[maxn<<1], E;

    void init(int n) {
        this->n = n;
        for(int i = 0;i < n*2; i++) {
            head[i] = -1;
            mark[i] = false;
        }
        E = 0;
    }

    void newedge(int u, int to) {
        edge[E].to = to;
        edge[E].next = head[u];
        head[u] = E++;
    }

    bool dfs(int u) {
        if(mark[u^1])   return false;
        if(mark[u]) return true;
        mark[u] = true;
        S[c++] = u;
        for(int i = head[u];i != -1;i = edge[i].next) {
            int to = edge[i].to;
            if(!dfs(to))    return false;
        }
        return true;
    }

    bool solve() {
        for(int i = 0;i < n*2;i += 2) if(!mark[i] && !mark[i^1]){
            c = 0;
            if(!dfs(i)) {
                while(c)    mark[S[--c]] = false;
                if(!dfs(i+1))   return false;
            }
        }
        return true;
    }
}sol;

int get[33];
int main() {
    get['w' - 'a'] = 0;
    get['h' - 'a'] = 1;
    int n, m, a, c;
    char b, d;
    while(scanf("%d%d", &n, &m) != -1 && n) {
        sol.init(n);
        sol.newedge(0, 1);
        for(int i = 0;i < m; i++) {
            scanf("%d%c %d%c", &a, &b, &c, &d);
            sol.newedge(a*2 + get[b-'a'], c*2 + (get[d-'a']^1));	// 建边
            sol.newedge(c*2 + get[d-'a'], a*2 + (get[b-'a']^1));
        }
        if(sol.solve()) {
            for(int i = 2;i < n*2; i += 2) {
                if(!sol.mark[i]) printf("%dw%c", i/2, i == n*2-2 ? '\n' : ' ');
                else    printf("%dh%c", i/2, i == n*2-2 ? '\n' : ' ');
            }
        }
        else
            puts("bad luck");
    }
    return 0;
}