lightOJ 1251 - Forming the Council(2-sat)

题意：n个人参与投票，被选的人有m个，每一个人都有两个选择：让某个人当选，让某个人下台。。问是否存在一个方式，能够每一个选民的至少一个选择。

思路：如果一个人的第一个选择没有被满足，则另一个选择一定要被满足、

#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <iostream>
#include <queue>
#include <stack>
using namespace std;
const int N = 20009;
const int M = 8009;
struct LT{
    int nex,to;
} L[N<<2];
int F[M<<1],cnt;
void add(int f,int t)
{
    L[cnt].nex = F[f];
    L[cnt].to = t;
    F[f] = cnt++;
}
struct ET{
    int nex,to;
} EL[N<<2];
int EF[M<<1],Ecnt;
void Eadd(int f,int t)
{
    EL[Ecnt].nex = EF[f];
    EL[Ecnt].to = t;
    EF[f] = Ecnt++;
}
int n,m;
void init()
{
    memset(F,0,sizeof(F));
    memset(EF,0,sizeof(EF));
    cnt = 1;
    Ecnt  = 1;
}
int dfn[M<<1],col[M<<1],low[M<<1],post[M<<1],ind,color;
stack<int> S;
void tarjan(int k)
{
    low[k] = dfn[k] = ind++;
    S.push(k),post[k] = 1;
    for(int i=F[k];i;i=L[i].nex)
    {
        int to = L[i].to;
        if(!dfn[to])
        {
            tarjan(to);
            low[k] = min(low[to],low[k]);
        }else if(post[to]&&dfn[to]<low[k])
        low[k] = dfn[to];
    }
    if(low[k]==dfn[k])
    {
        int i;color++;
        for(i=S.top(),S.pop();i!=k;i=S.top(),S.pop())
        {
            post[i] = 0,col[i] = color;
            Eadd(color,i);
        }
        Eadd(color,i);
        post[i] = 0,col[i] = color;
    }
}
void solve()
{
    ind = 1,color = 0;
    memset(low,0,sizeof(low));
    memset(dfn,0,sizeof(dfn));
    for(int i=0;i<(m<<1);i++)
    if(!dfn[i]) tarjan(i);
    for(int i=0;i<m;i++)
    if(col[i]==col[i+m])
    {
        printf("No\n");
        return ;
    }
    printf("Yes\n");
    int ans[M];
    memset(ans,-1,sizeof(ans));
    for(int i=1;i<=color;i++)
    if(ans[i]==-1)
    for(int j=EF[i];j;j=EL[j].nex)
    {
        ans[i] = 1;
        ans[col[(EL[j].to+m)%(m<<1)]] = 0;
    }
    int out[M],tmp=0;
    for(int i=0;i<m;i++)
    if(ans[col[i]]==1)
    {
        out[tmp++] = i+1;
    }
    printf("%d",tmp);
    for(int i=0;i<tmp;i++)
    printf(" %d",out[i]);
    printf("\n");
}
int main()
{
    freopen("in.txt","r",stdin);
    int cas,T =1;
    scanf("%d",&cas);
    while(cas--)
    {
        scanf("%d%d",&n,&m);
        int a,b,a1,b1;
        init();
        for(int i=0;i<n;i++)
        {
            scanf("%d%d",&a,&b);
            if(a<0) a = m-a;
            if(b<0) b = m-b;
            a--;b--;
            a1 = (a+m) %(m<<1);
            b1 = (b+m) %(m<<1);
            add(a1,b);
            add(b1,a);
        }
        printf("Case %d: ",T++);
        solve();
    }
    return 0;
}