이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include <bits/stdc++.h>
using namespace std;
#ifdef LOCAL
#include "debug.h"
#else
#define debug(...) 42
#endif
const int N = 10005;
int n, m;
int res[2 * N];
bitset<N> c[N];
vector<int> g[N];
void dfs(int u) {
  res[u] = 0;
  if (u <= m) {
    for (int v : g[u]) {
      if (res[v]) {
        res[v] = 0;
        dfs(v);
      }
    }
  }
}
int main() {
  ios::sync_with_stdio(false); cin.tie(nullptr);
  cin >> n >> m;
  string s; cin >> s; s = '&' + s;
  for (int i = 1; i <= m; ++i) {
    for (int j = 0; j < 2; ++j) {
      char c; int x; cin >> c >> x;
      x += c == 'x' ? m : 0;
      g[i].push_back(x);
    }
  }  
  memset(res, -1, sizeof(res));
  for (int i = 1; i <= m; ++i) {
    if (s[i] == '0') {
      dfs(i);
    } else if (s[i] == '1') {
      res[i] = 1;
    }
    for (int v : g[i]) {
      if (v <= m) {
        c[i] |= c[v];
      } else {
        c[i].set(v - m);
      }
    }
  }
  for (int i = 1; i <= m; ++i) {
    if (res[i]) {
      for (int j = 1; j <= m; ++j) {
        if (res[j] == 1) {
          bool cant = 1;
          for (int v : g[j]) {
            if (v <= m) {
              cant &= !res[v];
            } else {
              cant &= !res[v] || c[i].test(v - m);
            }
          }
          if (cant) {
            res[i] = 1;
            break;
          }
        } 
      }
    }
  }
  for (int i = 1; i <= m; ++i) {
    if (~res[i]) {
      cout << res[i];
    } else {
      cout << "?";
    }
  }
  return 0;
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |