【2-SAT】POJ 3648

题意:一对新婚的夫妇邀请(n-1)对夫妇来参加自己的宴会,这对新人以及这些受邀请的夫妇都坐在长桌子的两边,新娘和新郎分别坐在桌子的两侧,新娘不希望看到她邀请来的那些夫妇之中有妻子和丈夫坐在同一边的情况(即妻子和丈夫要分作桌子的两边),在这n对夫妇中有一些男女存在着暧昧的关系,所以新娘也不希望看到有暧昧关系的人坐在她对面的那一侧.求解是否存在一种满足新娘要求的座位分配方案,如果存在的话,那么就输出这方案,否则输出"bad luck".

    新娘编号为0,新郎编号为1,即将妻子编号为2*i,丈夫编号为2*i+1,对于暧昧关系x y,加边x->y', y->x',因为需要输出和新娘坐在同一边的方案,所以这里应该以新娘为标准得到需要的解,这里由于新郎和新娘不能坐在同一边,所以加边0->1.

#define N 1004

vector v[N];
vector g[N];
stack s;
bool vis[N];
bool inStack[N];
int low[N],dfn[N];
int belong[N];//属于哪个强连通分量
int n,m,step,t;
int conflict[N];
int col[N];
int in[N];

void init(){
    int i;
    for(i=0;i<=2*n;i++){
        v[i].clear();
        vis[i] = 0;
        inStack[i] = 0;
        in[i] = 0;
        g[i].clear();
        col[i] = 0;
    }
    while(!s.empty())s.pop();
}
void add(int a,int b){
    v[a].push_back(b);
}
//tarjan缩点
void tarjan(int u){
    vis[u]=true;
    step++;
    s.push(u);
    inStack[u]=true;
    low[u]=step,dfn[u]=step;
    int i,j;
    for(i=0;i qq;
    for(i=1;i<=t;i++){//现在对缩点后的图进行拓扑
        if(!in[i]){
            qq.push(i);
        }
    }
    while(!qq.empty()){
        int u = qq.front();qq.pop();
        if(!col[u]){
            col[u] = 1;//红色
            col[conflict[u]] = 2;//蓝色（因为缩点后变成有向无环图，对应的冲突点只有确定的一个）
        }
        for(i=0;ij'
            add(j,ii);//j->i'
            //cout<