2-sat(任意可能性输出o（n）)

该类问题算法的主要思路：

1.建图（方法前面已说）

2.tarjan算法、判断可行性、缩点、逆序建边（这个暂时没懂）

3.拓扑排序染色

4.输出

具体模板见下：

题目：http://poj.org/problem?id=3648

题意：有一对新人结婚，邀请n对夫妇去参加婚礼。有一张很长的桌子，人只能坐在桌子的两边，还要 满足下面的要求：1.每对夫妇不能坐在同一侧 2.n对夫妇之中可能有通奸关系（包括男男，男女，女女），有通奸关系的不能同时坐在新娘的对面，可以分开坐，可以同时坐在新娘这一侧。如果存在一种可行的方案，输出与新娘同侧的人。

题解：思路见上，要注意，因为算法存在随机性，必须保证对面选新郎，所以要建立新娘到新郎的边，保证只能先选新郎，不能选新娘不然矛盾

代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<vector>
#include<queue>

using namespace std;
//1 为丈夫 0 为妻子

const int MAX=5555;
int dfn[MAX],low[MAX],belong[MAX],time;
int cont;//缩点后的最大点数+1
bool instack[MAX];
int _stack[MAX],top;
vector<int> dian[MAX];

vector<int> newdian[MAX];//新建有向无环图
int indu[MAX];//新建图的入度
int maodu[MAX];//矛盾点对应的点
int color[MAX];//点的颜色
void tarjan(int root)
{
    dfn[root]=low[root]=time++;
    _stack[top++]=root;
    instack[root]=true;
    for(int i=0;i<dian[root].size();i++)
    {
        int son=dian[root][i];
        if(!dfn[son])
        {
            tarjan(son);
            low[root]=min(low[root],low[son]);
        }
        else if(instack[son])
        {
            low[root]=min(low[root],dfn[son]);
        }
    }
    if(dfn[root] == low[root])
    {
        int v;
        do
        {
            v=_stack[--top];
            instack[v]=false;
            belong[v]=cont;
        }
        while(root!=v);
        cont++;
    }
}
void init_tarjan(int n)
{
    memset(dfn,0,sizeof(dfn));
    memset(instack,false,sizeof(instack));
    top=time=cont=1;
    for(int i=0;i<n;i++)
    {
        if(dfn[i]==0) tarjan(i);
    }
}
void rebuild(int n)//重建边，逆序建
{
    memset(indu,0,sizeof(indu));
    for(int i=0;i<n;i++)
    {
        int num1=belong[i];
        for(int j=0;j<dian[i].size();j++)
        {
            int num2=belong[dian[i][j]];
            if(num1 != num2)
            {
                indu[num1]++;
                newdian[num2].push_back(num1); //不懂？？？？？
            }
        }
    }
}
void topsort()//拓扑染色
{
    memset(color,0,sizeof(color));
    queue<int> q;
    for(int i=1;i<cont;i++)
    {
        if(!indu[i]) q.push(i);
    }
    while(!q.empty())
    {
        int next=q.front();q.pop();
        if(!color[next])
        {
            color[next]=1;
            color[maodu[next]]=2;
        }
        for(int i=0;i<newdian[next].size();i++)
        {
            int u=newdian[next][i];
            indu[u]--;
            if(!indu[u]) q.push(u);
        }
    }
}
bool solve(int n)
{
    for(int i=0;i<n;i+=2)
    {
        int num1=belong[i];int num2=belong[i^1];
        if(num1==num2) return false;
        maodu[num1]=num2;
        maodu[num2]=num1;
    }
    rebuild(n);
    topsort();
    return true;
}
int main()
{
    int n,m;
    char a,b;
    while(~scanf("%d %d",&n,&m)&&n+m!=0)
    {
        for(int i=1;i<=m;i++)
        {
            int num1,num2;
            scanf("%d%c %d%c",&num1,&a,&num2,&b);
            if(a=='h') num1=num1<<1;
            else num1=num1<<1|1;
            if(b=='h') num2=num2<<1;
            else num2=num2<<1|1;
            dian[num1].push_back(num2^1);
            dian[num2].push_back(num1^1);
        }
        dian[1].push_back(0);//保证对面必坐新郎
        init_tarjan(2*n);
        if(!solve(2*n))
        {
            printf("bad luck\n");
        }
        else
        {
            for(int i=3;i<2*n;i+=2)
            {
                if(i!=3) printf(" ");
                if(color[belong[i]]==color[belong[1]]) printf("%dw",i>>1);
                else printf("%dh",i>>1);
            }
            puts("");
        }
        for(int i=0;i<2*n;i++)
        {
            dian[i].clear();newdian[i].clear();
        }
    }
    return 0;
}