Cod sursa(job #1182639)

Utilizator heisenbergWalter White heisenberg Data 6 mai 2014 23:23:04
Problema 2SAT Scor 0
Compilator cpp Status done
Runda Arhiva educationala Marime 0.88 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 (top+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);
	
	ROF(i,2*n,1)
	if(!val[top[i]]&&!val[-top[i]])
		val[-top[i]]=1;
	
	FOR(i,1,m)
		if((val[-x]&&!val[y])||(val[-y]&&!val[x]))
		{
			g<<"-1";
			return 0;
		}
	
	FOR(i,1,n)
	g<<val[i]<<" ";
	return 0;
}