Cod sursa(job #1261000)

Utilizator george_stelianChichirim George george_stelian Data 11 noiembrie 2014 20:38:54
Problema 2SAT Scor 0
Compilator cpp Status done
Runda Arhiva educationala Marime 1.26 kb
#include <cstdio>
#include <vector>

using namespace std;

vector<int> v[100010],vt[100010];
int q[100010],n,nr,ok=1;
char vaz[100010],sol[100010];

int non(int x)
{
    if(x<=n) return x+n;
    else return x-n;
}

void dfs1(int nod)
{
    vaz[nod]=1;
    for(vector<int>::iterator it=v[nod].begin();it!=v[nod].end();it++)
        if(!vaz[*it])
        {
            dfs1(*it);
            q[++nr]=*it;
        }
}

void dfs2(int nod)
{
    if(sol[nod])
    {
        ok=0;
        return;
    }
    vaz[nod]=sol[nod]=0;
    sol[non(nod)]=1;
    for(vector<int>::iterator it=vt[nod].begin();it!=vt[nod].end();it++)
        if(vaz[*it]) dfs2(*it);
}

int main()
{
    freopen("2sat.in", "r", stdin);
    freopen("2sat.out", "w", stdout);
    int m,x,y;
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d",&x,&y);
        if(x<0) x=n-x;
        if(y<0) y=n-y;
        v[non(x)].push_back(y);
        v[non(y)].push_back(x);
        vt[y].push_back(non(x));
        vt[x].push_back(non(y));
    }
    for(int i=1;i<=n;i++) if(!vaz[i]) dfs1(i);
    for(int i=nr;i && ok;i--) if(vaz[i] && vaz[non(i)]) dfs2(i);
    if(ok) for(int i=1;i<=n;i++) printf("%d ",sol[i]);
    else printf("-1");
    return 0;
}