Pagini recente » Cod sursa (job #2719495) | Cod sursa (job #2276954) | Cod sursa (job #876189) | Cod sursa (job #1490509) | Cod sursa (job #2570786)
#include <bits/stdc++.h>
#define DIM 200010
using namespace std;
ifstream fin("2sat.in");
ofstream fout("2sat.out");
int n,m,x,y,i,ok,nivel,low[DIM],niv[DIM],sol[DIM];
vector<int> L[DIM];
bitset<DIM> f,instack;
set<int> v;
stack<int> st;
void dfs(int nod) {
nivel++;
low[nod]=niv[nod]=nivel;
st.push(nod);
f[nod]=instack[nod]=1;
for (auto vecin:L[nod]) {
if (f[vecin]==0) {
dfs(vecin);
low[nod]=min(low[nod],low[vecin]);
}
else
if (instack[vecin])
low[nod]=min(low[nod],niv[vecin]);
}
if (low[nod]==niv[nod]) {
v.clear();
do {
x=st.top();
st.pop();
instack[x]=0;
if ((x<=n&&v.find(x+n)!=v.end())||(x>n&&v.find(x-n)!=v.end()))
ok=1;
v.insert(x);
if (sol[x]==0) {
sol[x]=1;
if (x<=n)
sol[x+n]=-1;
else
sol[x-n]=-1;
}
} while (x!=nod);
}
}
int main() {
fin>>n>>m;
for (i=1;i<=m;i++) {
fin>>x>>y;
if (x>0) {
if (y>0) {
L[x+n].push_back(y);
L[y+n].push_back(x);
}
else {
L[x+n].push_back(-y+n);
L[-y].push_back(x);
}
}
else {
if (y>0) {
L[-x].push_back(y);
L[y+n].push_back(-x+n);
}
else {
L[-x].push_back(-y+n);
L[-y].push_back(-x+n);
}
}
}
for (i=1;i<=n;i++)
if (f[i]==0)
dfs(i);
if (ok==1) {
fout<<"-1";
return 0;
}
for (i=1;i<=n;i++) {
if (sol[i]==1)
fout<<"1 ";
else
fout<<"0 ";
}
return 0;
}