1823: [JSOI2010]满汉全席

最新推荐文章于 2019-02-20 17:40:00 发布

原创最新推荐文章于 2019-02-20 17:40:00 发布 · 645 阅读

0 ·

CC 4.0 BY-SA版权

1751-2000 专栏收录该内容

41 篇文章

订阅专栏

本文介绍了一种使用2-SAT算法解决可行性问题的方法，并通过一个具体实例展示了如何利用Tarjan算法进行求解。该文还提供了完整的代码实现，有助于读者深入理解2-SAT算法的应用。

题目链接

题目大意：n个条件，选a||b，判断可行性

题解：2-sat

我的收获：第一个2-sat……本题只需要求可行性，tarjan后判断一下就好了
Orz

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
using namespace std;
const int M=1005;

int T,n,m,t;
int scnt,tim,tp;
int head[M],dfn[M],low[M],st[M],col[M];
bool ins[M];

struct edge{int to,nex;}e[M*4];
void add(int u,int v){e[t].to=v,e[t].nex=head[u],head[u]=t++;}

int get(){
    int p;char c;
    for(c=getchar();c!='m'&&c!='h';c=getchar());
    scanf("%d",&p);p*=2;
    return c=='m'?p:p+1;
}

void tarjan(int x){
    int now=0;
    dfn[x]=low[x]=++tim;
    st[++tp]=x;ins[x]=1;
    for(int i=head[x];i!=-1;i=e[i].nex){
        int v=e[i].to;
        if(!dfn[v]){tarjan(v);if(low[v]<low[x]) low[x]=low[v];}
        else if(ins[v]&&dfn[v]<low[x]) low[x]=dfn[v];
    }
    if(low[x]==dfn[x]){
        scnt++;
        while(x!=now){
            now=st[tp--];
            ins[now]=0;col[now]=scnt;
        }
    }
}

void work()
{
    for(int i=1;i<=n*2+1;i++) 
        if(!dfn[i]) tarjan(i);
    for(int i=1;i<=n;i++)
        if(col[i*2]==col[i*2+1])
            {puts("BAD");return ;}
    puts("GOOD");
}

void init()
{
    int x,y,xh,yj;
    t=0;memset(head,-1,sizeof(head));
    for(int i=1;i<=M;i++) dfn[i]=low[i]=col[i]=0;
    tim=scnt=tp=0;
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++){
        x=get();y=get();
        xh=x^1,yj=y^1;
        add(xh,y);add(yj,x);
    }
}

int main()
{
    cin>>T;
    while(T--){
        init();
        work();
    }
    return 0;
}