Cod sursa(job #2508436)

Utilizator bigmixerVictor Purice bigmixer Data 12 decembrie 2019 10:02:50
Problema 2SAT Scor 100
Compilator cpp-64 Status done
Runda Arhiva educationala Marime 2 kb
#include <bits/stdc++.h>
#define ll long long
#define all(a) (a).begin(), (a).end()
#pragma GCC optimize("O3")
#pragma GCC optimize("Ofast")
#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#define sz() size()
#define fr first
#define sc second
#define pb push_back
#define er erase
#define in insert
#define pi pair<int,int>
#define pii pair<pair<int,int>,int>
#define mp make_pair
#define int long long
#define rc(s) return cout<<s,0
#define rcc(s) cout<<s,exit(0)
using namespace std;

const int mod=1e9+7;
const int modp=1999999973;
const int modx=998244353;

int n,m,sol[200005];
bitset<200005>viz;
vector<int>nod1[200005],nod2[200005],parc;

void DFS1(int s){
    viz[s]=1;
    for(auto it:nod1[s]) if(!viz[it]) DFS1(it);
    parc.push_back(s);
}

int non(int x){
    return ((x>n)?x-n:x+n);
}

void DFS2(int s){
    viz[s]=1;
    if(!viz[non(s)]) sol[s]=0;
    else sol[s]=1;
    for(auto it:nod2[s]){
        if(!viz[it]){
            DFS2(it);
            if(sol[it]!=sol[s]) sol[0]=-1;
        }
    }
}


int32_t main(){
    ios_base::sync_with_stdio(false);cin.tie(0);cerr.tie(0);cout.tie(0);
    srand(chrono::steady_clock::now().time_since_epoch().count());
    ifstream fin("2sat.in");
    ofstream fout("2sat.out");
    fin >> n >> m;
    for(int i=1;i<=m;i++){
        int x,y;
        fin >> x >> y;
        if(x<0) x=non(-x);
        if(y<0) y=non(-y);
        int x1=non(x);
        int y1=non(y);
        nod1[x1].push_back(y);
        nod1[y1].push_back(x);
        nod2[x].push_back(y1);
        nod2[y].push_back(x1);
    }
    for(int i=1;i<=2*n;i++){
        if(!viz[i]) DFS1(i);
    }
    viz.reset();
    while(parc.size()){
        int curr=parc.back();
        parc.pop_back();
        if(!viz[curr]){
            DFS2(curr);
        }
    }
    if(sol[0]==-1){
        fout << -1 << '\n';
        return 0;
    }
    else{
        for(int i=1;i<=n;i++) fout << sol[i] << ' ';
        return 0;
    }
}