Pagini recente » Cod sursa (job #3031879) | Cod sursa (job #984739) | Cod sursa (job #1043182) | Cod sursa (job #2388087) | Cod sursa (job #1649857)
#include <iostream>
#include <fstream>
#include <vector>
using namespace std;
ifstream fin("2sat.in");
ofstream fout("2sat.out");
#define MAX 100010
typedef vector <int> :: iterator iter;
pair<int, int> e[2 * MAX];
vector <int> G[2 * MAX];
int viz[2 * MAX], val[2 * MAX], st[2 * MAX], dr;
void df(int nod)
{
viz[nod + MAX] = 1;
for(iter it = G[nod + MAX].begin() ; it != G[nod + MAX].end() ; it++)
{
if(!viz[*it + MAX])
df(*it);
}
st[++dr] = nod;
}
int main()
{
int n, m, i, x, y, ok;
fin >> n >> m;
for(i = 1 ; i <= m ; i++)
{
fin >> e[i].first >> e[i].second;
x = e[i].first;
y = e[i].second;
G[-x + MAX].push_back(y);
G[-y + MAX].push_back(x);
}
for(i = -n ; i <= n ; i++)
{
if(i && !viz[i + MAX])
df(i);
}
for(i = 1 ; i <= dr ; i++)
{
if(!val[st[i] + MAX] && !val[-st[i] + MAX])
{
val[st[i] + MAX] = 1;
}
}
ok = 1;
for(i = 1 ; i <= m ; i++)
{
if(!(val[e[i].first + MAX] || val[e[i].second + MAX]))
{
ok = 0;
}
}
if(ok == 0)
{
fout << "-1\n";
return 0;
}
for(i = 1 ; i <= n ; i++)
fout << val[i + MAX] << " ";
}