Pagini recente » Cod sursa (job #3230562) | Cod sursa (job #2584877) | Cod sursa (job #1693854) | Cod sursa (job #1974561) | Cod sursa (job #2337944)
#include <bits/stdc++.h>
using namespace std;
const int MAXN = 1e5 + 10;
vector< int > gr[2*MAXN];
vector< int > gri[2*MAXN];
bool viz[2*MAXN];
int ctc[2*MAXN];
vector< int > v;
int n, m;
int cnt = 0;
inline int idx(int x) {
if(x > 0) return x;
return n - x;
}
void dfs(int node) {
viz[node] = true;
for(auto &x : gr[node]) {
if(!viz[x]) dfs(x);
}
v.emplace_back(node);
}
void dfs1(int node) {
viz[node] = false;
for(auto &x : gri[node]) {
if(viz[x]) dfs1(x);
}
ctc[node] = cnt;
}
int main() {
#ifdef BLAT
freopen("input", "r", stdin);
#define f cin
#define g cout
#else
ifstream f("2sat.in");
ofstream g("2sat.out");
#endif
int n, m;
f >> n >> m;
for(int i = 1; i <= m; ++i) {
int x, y;
f >> x >> y;
gr[idx(-x)].emplace_back(idx(y));
gri[idx(y)].emplace_back(idx(-x));
swap(x, y);
gr[idx(-x)].emplace_back(idx(y));
gri[idx(y)].emplace_back(idx(-x));
}
for(int i = 1; i <= 2*n; ++i) {
if(!viz[i]) dfs(i);
}
reverse(v.begin(), v.end());
for(auto &x : v) {
if(viz[x]) {
++cnt;
dfs1(x);
}
}
for(int i = 1; i <= n; ++i) {
if(ctc[i] == ctc[n+i]) {
g << -1;
return 0;
}
}
for(int i = 1; i <= n; ++i) {
cout << (ctc[i] > ctc[n+i]) << ' ';
}
return 0;
}