Cod sursa(job #1171287)

Utilizator tudorv96Tudor Varan tudorv96 Data 15 aprilie 2014 15:17:16
Problema 2SAT Scor 100
Compilator cpp Status done
Runda Arhiva educationala Marime 1.58 kb
#include <fstream>
#include <iostream>
#include <queue>
using namespace std;

ifstream fin ("2sat.in");
ofstream fout ("2sat.out");

const int Zero = 1e5 + 5, N = 2e5 + 10;

vector <bool> viz(N, 0);
int comp[N], sol[N], totalcomp, n, m, in[N];
vector <int> g[N], gT[N], o, CC[N];
queue <int> Q;

void dfs(int x) {
    viz[x] = 1;
    for (vector <int> :: iterator it = g[x].begin(); it != g[x].end(); ++it)
        if (!viz[*it])
            dfs (*it);
    o.push_back (x);
}

void dfsT(int x) {
    viz[x] = 0;
    CC[totalcomp].push_back (x);
    comp[x] = totalcomp;
    sol[x] = 1;
    sol[2 * Zero - x] = 0;
    for (vector <int> :: iterator it = gT[x].begin(); it != gT[x].end(); ++it)
        if (viz[*it])
            dfsT(*it);
}

int main() {
    fin >> n >> m;
    for (int i = Zero - n; i <= Zero + n; ++i)
        sol[i] = -1;
    for (int x, y, i = 0; i < m; ++i) {
        fin >> x >> y;
        g[Zero - x].push_back (Zero + y);
        gT[Zero + y].push_back (Zero - x);
        g[Zero - y].push_back (Zero + x);
        gT[Zero + x].push_back (Zero - y);
    }
    for (int i = Zero - n; i <= Zero + n; ++i)
        if (i != Zero && !viz[i])
            dfs(i);
    for (vector <int> :: reverse_iterator it = o.rbegin(); it != o.rend(); ++it)
        if (viz[*it]) {
            dfsT(*it);
            ++totalcomp;
        }
    for (int i = 1; i <= n; ++i)
        if (comp[Zero + i] == comp[Zero - i]) {
            fout << -1;
            return 0;
        }
    for (int i = Zero + 1; i <= Zero + n; ++i)
        fout << sol[i] << " ";
}