Cod sursa(job #2570786)

Utilizator AlexPascu007Pascu Ionut Alexandru AlexPascu007 Data 4 martie 2020 19:19:04
Problema 2SAT Scor 100
Compilator cpp-64 Status done
Runda Arhiva educationala Marime 1.93 kb
#include <bits/stdc++.h>
#define DIM 200010
using namespace std;
ifstream fin("2sat.in");
ofstream fout("2sat.out");
int n,m,x,y,i,ok,nivel,low[DIM],niv[DIM],sol[DIM];
vector<int> L[DIM];
bitset<DIM> f,instack;
set<int> v;
stack<int> st;
void dfs(int nod) {
    nivel++;
    low[nod]=niv[nod]=nivel;
    st.push(nod);
    f[nod]=instack[nod]=1;
    for (auto vecin:L[nod]) {
        if (f[vecin]==0) {
            dfs(vecin);
            low[nod]=min(low[nod],low[vecin]);
        }
        else
            if (instack[vecin])
                low[nod]=min(low[nod],niv[vecin]);
    }
    if (low[nod]==niv[nod]) {
        v.clear();
        do {
            x=st.top();
            st.pop();
            instack[x]=0;
            if ((x<=n&&v.find(x+n)!=v.end())||(x>n&&v.find(x-n)!=v.end()))
                ok=1;
            v.insert(x);
            if (sol[x]==0) {
                sol[x]=1;
                if (x<=n)
                    sol[x+n]=-1;
                else
                    sol[x-n]=-1;
            }
        } while (x!=nod);
    }
}
int main() {
    fin>>n>>m;
    for (i=1;i<=m;i++) {
        fin>>x>>y;
        if (x>0) {
            if (y>0) {
                L[x+n].push_back(y);
                L[y+n].push_back(x);
            }
            else {
                L[x+n].push_back(-y+n);
                L[-y].push_back(x);
            }
        }
        else {
            if (y>0) {
                L[-x].push_back(y);
                L[y+n].push_back(-x+n);
            }
            else {
                L[-x].push_back(-y+n);
                L[-y].push_back(-x+n);
            }
        }
    }
    for (i=1;i<=n;i++)
        if (f[i]==0)
            dfs(i);
    if (ok==1) {
        fout<<"-1";
        return 0;
    }
    for (i=1;i<=n;i++) {
        if (sol[i]==1)
            fout<<"1 ";
        else
            fout<<"0 ";
    }
    return 0;
}