uva 11294 Wedding

题意：

一开始题读错了，囧，看了题解才发现，汗！

有一对夫妻要结婚，他们坐在一条长凳上，这条长方形长凳有左右两端（自行脑补），来了若干对夫妻参加他们的婚礼。

规定一对夫妻中的两个人不能坐在同一端。

新娘因为头饰太复杂所以看不到跟她坐在同一侧的人。

同时这些夫妻中有某些人存在不纯洁关系，新娘不希望同时看见有不纯结关系的两个人，也就是说，存在不纯洁关系的两个人不能同时在新娘的对侧，但是可以同时坐在新娘的同侧。

判断是否存在一个安排方案使得满足上述条件，如果存在，输出坐在新娘同侧的人，否则说明不可能。

思路：

2-SAT。

首先假设新娘在左侧（假设右侧也可以，修改相关条件即可）

把每个人看成一个点，那么假设坐在左侧为真，右侧为假。

首先，对于每一对夫妻i和j，不能坐在同一侧，那么Xi和Xj不能同时为真，也不能同时为假，根据这两个限制条件就加两条边。

其次，对于每一对有不纯洁关系的人，只要他们不同时坐在新娘的对侧就满足条件，只要Xi和Xj中至少一个为真即可，根据这个条件加边。

要注意的一点是，因为新娘必须坐在新娘的同侧，所以一开始要把新娘赋值为真，因为新娘在左侧。

输出的时候不输出新娘。

代码：

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

const int maxn = 200005;

vector<int> ans;

struct twosat
{
    int n;
    vector<int> g[maxn*2];
    bool mark[maxn*2];
    int s[maxn*2],c;
    
    bool dfs(int x)
    {
        //printf("orz");
        if (mark[x^1]) return false;
        if (mark[x]) return true;
        
        mark[x] = true;
        
        s[c++] = x;
        
        for (int i = 0;i < g[x].size();i++)
        {
            if (!dfs(g[x][i])) return false;
        }
        
        return true;
    }
    
    void init(int n)
    {
        this -> n = n;
        for (int i = 0;i <= 2 * n;i++) g[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;
        
        g[x^1].push_back(y);
        g[y^1].push_back(x);
    }
    
    bool solve()
    {
        for (int i = 0;i < 2 * n;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;
    }
} twosat;

int main()
{
    int n,m;
    
    while (scanf("%d%d",&n,&m) != EOF)
    {
        if (n == 0 && m == 0) break;
        ans.clear();
        
        twosat.init(n * 2);
        
        for (int i = 0;i < n;i++)
        {
            twosat.add_clause(i,1,i+n,1);
            twosat.add_clause(i,0,i+n,0);
        }
        
        for (int i = 0;i < m;i++)
        {
            int a,b;
            char p[10],q[10];
            
            scanf("%d%s%d%s",&a,p,&b,q);
            
            if (p[0] == 'w') a += n;
            if (q[0] == 'w') b += n;
            
            twosat.add_clause(a,1,b,1);
            //twosat.add_clause(a,0,b,0);
        }
        
        twosat.mark[2 * n + 1] = 1;
        
        bool f = twosat.solve();
        
        if (f)
        {
            for (int i = 0;i < n * 2;i++)
            {
                if (twosat.mark[2 * i + 1])
                {
                    if (i == n) continue;
                    ans.push_back(i);
                } 
            }
            
            if (ans[0] >= n)
            {
                printf("%dw",ans[0]-n);
                //printf("orz
");
            }
            else
            {
                printf("%dh",ans[0]);
            }
            
            for (int i = 1;i < ans.size();i++)
            {
                if (ans[i] >= n)
                {
                    printf(" %dw",ans[i]-n);
                }
                else
                {
                    printf(" %dh",ans[i]);
                }
            }
        }
        else
        {
            printf("bad luck
");
        }
    }
    
    return 0;
}