Submission #234729

#TimeUsernameProblemLanguageResultExecution timeMemory
234729ArshiaDadrasIli (COI17_ili)C++14
7 / 100
7 ms1536 KiB
/* In the name of Allah */ #include<bits/stdc++.h> using namespace std; const int N = 2e4 + 5; vector<int> adj[N]; bool mark[N]; int n, m; char c[N]; int read() { getchar(); char x; int u; cin >> x >> u; if (x ^ 'x') u += n; return --u; } bool check(int root) { c[root] = '0'; mark[root] = true; for (int u = n + m - 1; u >= n; u--) { if (mark[u]) for (auto v: adj[u]) if (c[v] == '?') { mark[v] = true; c[v] = '0'; } bool one = false; for (auto v: adj[u]) one |= c[v] != '0'; if (c[u] != '?' && c[u] - '0' != one) return false; } return true; } void read_input() { cin >> n >> m; for (int i = 0; i < m; i++) cin >> c[n + i]; for (int i = 0; i < m; i++) { int u = read(), v = read(); adj[n + i].push_back(u); adj[n + i].push_back(v); } } void solve() { assert(m <= 20); int And = (1 << m) - 1, Or = 0; for (int msk = 0; msk < 1 << n; msk++) { bool flag = true; for (int u = 0; u < n; u++) mark[u] = msk >> u & 1; for (int u = n; u < n + m; u++) { mark[u] = false; for (auto v: adj[u]) mark[u] |= mark[v]; flag &= c[u] == '?' || c[u] - '0' == mark[u]; } if (flag) { int cur = 0; for (int u = n; u < n + m; u++) if (mark[u]) cur |= 1 << u - n; And &= cur, Or |= cur; } } for (int u = 0; u < m; u++) if ((And >> u & 1) == (Or >> u & 1)) cout << (Or >> u & 1); else cout << '?'; return; for (int u = 0; u < n; u++) c[u] = '?'; for (int u = n + m - 1; u >= n; u--) if (c[u] == '0') for (auto v: adj[u]) c[v] = '0'; for (int u = 0; u < n + m; u++) { if (c[u] == '?' && !check(u)) { mark[u] = false; c[u] = '1'; } for (int v = 0; v < n + m; v++) if (mark[v]) { mark[v] = false; c[v] = '?'; } } for (int i = 0; i < m; i++) cout << c[n + i]; } int main() { ios:: sync_with_stdio(0), cin.tie(0), cout.tie(0); read_input(), solve(); return 0; }

Compilation message (stderr)

ili.cpp: In function 'void solve()':
ili.cpp:67:20: warning: suggest parentheses around '-' inside '<<' [-Wparentheses]
      cur |= 1 << u - n;
                  ~~^~~
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...