LOJ-10097（2-sat问题）

题目链接：传送门

思路：

2-sat问题，如果选每个集合最多有两个元素，eg：（Ai，Ai’），（Bi，Bi’）；

如果Ai，Bi冲突，就只能选Ai，Bi’（建立边），然后缩点，查找有无相同集合的点在同一个集合中。

然后将区块节点较小的先输出。

具体的2-sat问题（还是比较懵）

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int maxn = ;
int low[maxn],num[maxn],tot,co[maxn],col;
int st[maxn],top;
int fa[maxn],vis[maxn];
int head[maxn],ver[maxn],next[maxn],tim;
int MIN(int x,int y)
{
    return x<y?x:y;
}
void Init()
{
    memset(fa,,sizeof(fa));
    memset(vis,,sizeof(vis));
    memset(head,,sizeof(head));
    top=;tot=;col=;tim=;
}
void addedge(int u,int v)
{
    ver[++tot]=v;next[tot]=head[u];head[u]=tot;
}
void Tarjan(int u)
{
    low[u]=num[u]=++tim;
    st[++top]=u;
    for(int i=head[u];i;i=next[i]){
        int v=ver[i];
        if(!num[v]){
            Tarjan(v);
            low[u]=MIN(low[u],low[v]);
        }
        else if(!co[v]) low[u]=MIN(low[u],num[v]);
    }
    if(low[u]==num[u]){
        col++;
        co[u]=col;
        while(st[top]!=u){
            co[st[top]]=col;
            top--;
        }
        top--;
    }
}
int main(void)
{
    int i,j,m,n,x,y;
    while(~scanf("%d%d",&n,&m)){
        Init();
        for(i=;i<=m;i++){
            scanf("%d%d",&x,&y);
            addedge(x,(y%==?y-:y+));
            addedge(y,(x%==?x-:x+));
        }
        for(i=;i<=n*;i++)
        if(!num[i]) Tarjan(i);

        int fg=;
        for(i=;i<=n*;i+=){
            if(co[i]==co[i+]){
                printf("NIE\n");fg=;break;
            }
            fa[i]=i+;fa[i+]=i;
        }
        if(fg==) continue;
        for(i=;i<=n*;i++) vis[i]=(co[i]>co[fa[i]]?:);
        for(i=;i<=n*;i++){
            if(!vis[i]) printf("%d\n",i);
        }
    }
    return ;
}

参考文章：传送门