P4782 【模板】2-SAT 问题(2-SAT)

最新推荐文章于 2020-09-20 21:02:29 发布

smilestruggler

最新推荐文章于 2020-09-20 21:02:29 发布

阅读量241

点赞数

分类专栏： 2-SAT 文章标签： 2-SAT

本文链接：https://blog.csdn.net/toohandsomeIeaseId/article/details/98469053

版权

2-SAT 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

题目链接：https://www.luogu.org/problem/P4782

题目大意：有n个变量，要满足m个条件， $x_{i}$ 为a或 $x_{j}$ 为b，输出是否存在能满足所有条件的情况，并输出

题目思路： $a\vee b\Leftrightarrow \rightharpoondown a\rightarrow b$ 所以开2*n个点，前n个表示0，后n个表示1，那么就是 $x_{i}$ 否命题指向 $x_{j}$ 命题， $x_{j}$ 否命题指向 $x_{i}$ 命题，然后跑个tarjan，若命题与否命题在同一个强连通分量，则不存在，否则对于每个点，输出belong小的那个。

以下是代码：

#include<bits/stdc++.h>
using namespace std;
#define inf 0x3f3f3f3f
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define per(i,a,b) for(int i=a;i>=b;i--)
#define ll long long
const int MAXN = 2e6+5;
int x,y,n,m,dfn[MAXN],low[MAXN],vis[MAXN],ans,tot,num,belong[MAXN],a,b;
vector<int>g[MAXN];
stack<int>s;
void tarjan(int u){
    low[u]=dfn[u]=++tot;
    s.push(u);
    vis[u]=1;
    int len=g[u].size();
    rep(i,0,len-1){
        int v=g[u][i];
        if(!dfn[v])tarjan(v),low[u]=min(low[u],low[v]);
        else if(vis[v])low[u]=min(low[u],dfn[v]);
    }
    if(low[u]==dfn[u]){
        num++;
        while(1){
            int now=s.top();
            s.pop();
            belong[now]=num;
            vis[now]=0;
            if(now==u)break;
        }
    }
}
int main(){
    while(~scanf("%d%d",&n,&m)){
        tot=0;
        ans=0;
        num=0;
        while(!s.empty())s.pop();
        memset(dfn,0,sizeof(dfn));
        memset(low,0,sizeof(low));
        memset(vis,0,sizeof(vis));
        memset(belong,0,sizeof(belong));
        rep(i,1,n)g[i].clear();
        rep(i,1,m){
            scanf("%d%d%d%d",&x,&a,&y,&b);
            int flag1=a^1,flag2=b^1;
            g[x+a*n].push_back(y+flag2*n);
            g[y+b*n].push_back(x+flag1*n);
        }
        rep(i,1,2*n){
            if(!dfn[i]){
                tarjan(i);
            }
        }
        int flag=0;
        rep(i,1,n){
            if(belong[i]==belong[i+n]){
                flag=1;
                break;
            }
        }
        if(flag)puts("IMPOSSIBLE");
        else{
            puts("POSSIBLE");
            rep(i,1,n){
                printf("%d%c",belong[i]<belong[i+n],i==n?'\n':' ');
            }
        }
    }
    return 0;
}