洛谷P4782 2-SAT问题

2-SAT问题

这是一道2-SAT的模板题。对于2-SAT问题的每一个条件，我们需要把他们转化成可接受的条件。即"若变量A的赋值为x,则变量B的赋值为y"，其中x,y均等于0或1。

对于每个条件我们连一条有向边，下面对于本题给出的或举例。

假如题目的限制条件为 X=1 or Y = 1 为真
那么对于这个条件，我们可以按上述方法，转换成2-SAT可接受的判定条件：
如果X=0，那么Y=1 以及 如果Y=0，那么X=1
如果题目一共给出n个变量，我们通常假定[1..n]代表变量X[i]赋值为0，[n+1..2n]代表变量x[i]赋值为1。
对于上面的例子，即在(x,y+n),(y,x+n)连有向边即可。
在判定是否矛盾的时候，只要用tarjan找出所有强联通分量，如果x与x+n在同一强联通分量中，说明问题无解。否则有解。
那么如何构造一组解呢？
首先，在一个SCC中，只要确定了一个变量的值，那么该SCC中其他变量的值也确定了。我们再考虑一个点，假设这个点在原图中没有出度，那么这个点的取值将不会影响其他店。
那么我们得到启发，把所有强联通分量缩点，依次取出度为0的点的赋值情况即可。
找出度为0的点，我们可以用tarjan缩点后重构图，但是注意要建反图，再利用topsort找入度为0的点的性质topsort一次。
缩点之后我们可以发现scc[x],scc[x+n]是原图对称的两个点，假如有两个点在原图中属于同一个scc，那么他们的对称点也一定属于同一个scc（感性理解。。大概是逆否命题的感觉？）
那么我们记opp[scc[x]]=scc[x+n], opp[scc[x+n]]=scc[x];
当我们把队首元素取出来的时候，用val记录该ssc中点的赋值情况，意思为该联通分量中所有原图的点(小于n的点)的取值合法，初始值为-1。如果val=-1，那么val[s]=0, val[opp[s]]=1。
这样赋值的意义是，如果该scc中有某变量取值是0，那么代表他的取值的点一定小于n，令改点为s，最后我们在构造解的时候直接取val[scc[s]]=0即可。如果该scc中有某变量取值是1，那么他的对称点所在的scc被赋值成了1，也就是说序号小于n的那个点所在的scc的val为1，构造解的时候同理，直接取值即可。

下面是这种构造方法的代码：

#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
#define full(a, b) memset(a, b, sizeof a)
using namespace std;
typedef long long ll;
inline int lowbit(int x){ return x & (-x); }
inline int read(){
    int X = 0, w = 0; char ch = 0;
    while(!isdigit(ch)) { w |= ch == '-'; ch = getchar(); }
    while(isdigit(ch)) X = (X << 3) + (X << 1) + (ch ^ 48), ch = getchar();
    return w ? -X : X;
}
inline int gcd(int a, int b){ return a % b ? gcd(b, a % b) : b; }
inline int lcm(int a, int b){ return a / gcd(a, b) * b; }
template<typename T>
inline T max(T x, T y, T z){ return max(max(x, y), z); }
template<typename T>
inline T min(T x, T y, T z){ return min(min(x, y), z); }
template<typename A, typename B, typename C>
inline A fpow(A x, B p, C lyd){
    A ans = 1;
    for(; p; p >>= 1, x = 1LL * x * x % lyd)if(p & 1)ans = 1LL * x * ans % lyd;
    return ans;
}
const int N = 2000005;
int n, m, cnt, k, head[N], dfn[N], low[N], ins[N], tot, scc[N];
int h[N], t, deg[N], val[N], opp[N];
struct Edge { int v, next; } edge[N<<2], e[N<<2];
stack<int> st;

void addEdge(int a, int b){
    edge[cnt].v = b, edge[cnt].next = head[a], head[a] = cnt ++;
}

void add(int a, int b){
    e[t].v = b, e[t].next = h[a], h[a] = t ++;
}

void tarjan(int s){
    dfn[s] = low[s] = ++k;
    ins[s] = true, st.push(s);
    for(int i = head[s]; i != -1; i = edge[i].next){
        int u = edge[i].v;
        if(!dfn[u]){
            tarjan(u);
            low[s] = min(low[s], low[u]);
        }
        else if(ins[u])
            low[s] = min(low[s], dfn[u]);
    }
    if(dfn[s] == low[s]){
        tot ++; int cur = 0;
        do{
            cur = st.top(); st.pop();
            ins[cur] = false, scc[cur] = tot;
        }while(cur != s);
    }
}

void topSort(){
    full(val, -1), full(h, -1);
    for(int s = 1; s <= 2 * n; s ++){
        for(int i = head[s]; i != -1; i = edge[i].next){
            int u = edge[i].v;
            if(scc[s] != scc[u]) add(scc[u], scc[s]), deg[scc[s]] ++;
        }
    }
    queue<int> q;
    for(int i = 1; i <= tot; i ++){
        if(!deg[i]) q.push(i);
    }
    while(!q.empty()){
        int s = q.front(); q.pop();
        if(val[s] == -1) val[s] = 0, val[opp[s]] = 1;
        for(int i = h[s]; i != -1; i = e[i].next){
            int u = e[i].v;
            if(!--deg[u]) q.push(u);
        }
    }
    for(int i = 1; i <= n; i ++){
        if(val[scc[i]]) printf("1 ");
        else printf("0 ");
    }
    puts("");
}

int main(){

    full(head, -1);
    n = read(), m = read();
    for(int i = 0; i < m; i ++){
        int x = read(), a = read(), y = read(), b = read();
        addEdge(x + (1 - a) * n, y + b * n);
        addEdge(y + (1 - b) * n, x + a * n);
    }
    for(int i = 1; i <= 2 * n; i ++){
        if(!dfn[i]) tarjan(i);
    }
    bool flag = false;
    for(int i = 1; i <= n; i ++){
        if(scc[i] == scc[i + n]){
            printf("IMPOSSIBLE
");
            flag = true;
            break;
        }
    }
    if(!flag){
        printf("POSSIBLE
");
        for(int i = 1; i <= n; i ++){
            opp[scc[i]] = scc[i + n], opp[scc[i + n]] = scc[i];
        }
        topSort();
    }
    return 0;
}

但是，其实我们考虑tarjan的本质，是一次dfs，联通分量序号越小的在图的越底层。
也就是说我们用tarjan找到的scc其实已经满足我们需要的自底向上的性质了。
我们对每个点的取值情况，直接取靠后的ssc即可。

下面给出代码，无需重构图：

#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
#define full(a, b) memset(a, b, sizeof a)
using namespace std;
typedef long long ll;
inline int lowbit(int x){ return x & (-x); }
inline int read(){
    int X = 0, w = 0; char ch = 0;
    while(!isdigit(ch)) { w |= ch == '-'; ch = getchar(); }
    while(isdigit(ch)) X = (X << 3) + (X << 1) + (ch ^ 48), ch = getchar();
    return w ? -X : X;
}
inline int gcd(int a, int b){ return a % b ? gcd(b, a % b) : b; }
inline int lcm(int a, int b){ return a / gcd(a, b) * b; }
template<typename T>
inline T max(T x, T y, T z){ return max(max(x, y), z); }
template<typename T>
inline T min(T x, T y, T z){ return min(min(x, y), z); }
template<typename A, typename B, typename C>
inline A fpow(A x, B p, C lyd){
    A ans = 1;
    for(; p; p >>= 1, x = 1LL * x * x % lyd)if(p & 1)ans = 1LL * x * ans % lyd;
    return ans;
}
const int N = 2000005;
int n, m, cnt, k, head[N], dfn[N], low[N], ins[N], tot, scc[N];
struct Edge { int v, next; } edge[N<<2];
stack<int> st;

void addEdge(int a, int b){
    edge[cnt].v = b, edge[cnt].next = head[a], head[a] = cnt ++;
}

void tarjan(int s){
    dfn[s] = low[s] = ++k;
    ins[s] = true, st.push(s);
    for(int i = head[s]; i != -1; i = edge[i].next){
        int u = edge[i].v;
        if(!dfn[u]){
            tarjan(u);
            low[s] = min(low[s], low[u]);
        }
        else if(ins[u])
            low[s] = min(low[s], dfn[u]);
    }
    if(dfn[s] == low[s]){
        tot ++; int cur = 0;
        do{
            cur = st.top(); st.pop();
            ins[cur] = false, scc[cur] = tot;
        }while(cur != s);
    }
}

int main(){

    full(head, -1);
    n = read(), m = read();
    for(int i = 0; i < m; i ++){
        int x = read(), a = read(), y = read(), b = read();
        addEdge(x + (1 - a) * n, y + b * n);
        addEdge(y + (1 - b) * n, x + a * n);
    }
    for(int i = 1; i <= 2 * n; i ++){
        if(!dfn[i]) tarjan(i);
    }
    bool flag = false;
    for(int i = 1; i <= n; i ++){
        if(scc[i] == scc[i + n]){
            printf("IMPOSSIBLE
");
            flag = true;
            break;
        }
    }
    if(!flag){
        printf("POSSIBLE
");
        for(int i = 1; i <= n; i ++)
            printf("%d ", scc[i] > scc[i + n]);
    }
    return 0;
}