Cod sursa(job #1182652)

Utilizator Kira96Denis Mita Kira96 Data 6 mai 2014 23:45:23
Problema 2SAT Scor 100
Compilator cpp Status done
Runda Arhiva educationala Marime 1.09 kb
#include<fstream>
#include<vector>
#define NM 100010
#define ROF(a,b,c) for(int a=b;a>=c;--a)
#define FOR(a,b,c) for(int a=b;a<=c;++a)
#define pb push_back
 
using namespace std;
 
ifstream f("2sat.in");
ofstream g("2sat.out");
 
vector<int> v[NM*2];
int n,m,x,y,viz[NM*2],top[NM*2],val[NM*2],E1[NM*2],E2[NM*2];
 
#define viz (viz+NM)
#define val (val+NM)
#define v (v+NM)
 
void dfs(int x)
{
     
    viz[x]=1;
    for(int i=0;i<v[x].size();++i)
        if(!viz[v[x][i]])
            dfs(v[x][i]);
    top[++top[0]]=x;
}
 
int main ()
{
    f>>n>>m;
     
    FOR(i,1,m)
    {
        f>>x>>y;
        E1[i]=x;
        E2[i]=y;
        v[x].pb(-y);
        v[y].pb(-x);
    }
     
    FOR(i,1,n)
    if(!viz[i])
        dfs(i);
     
    FOR(i,1,2*n)
    if(!val[top[i]]&&!val[-top[i]])
        val[-top[i]]=1;
     
    FOR(i,1,m)
    {
        x=E1[i];
        y=E2[i];
        if((val[-x]&&!val[y])||(val[-y]&&!val[x]))
        {
            g<<"-1";
            return 0;
        }
    }
     
    FOR(i,1,n)
    g<<val[i]<<" ";
    return 0;
}