# | Submission time | Handle | Problem | Language | Result | Execution time | Memory |
---|---|---|---|---|---|---|---|
234726 | 2020-05-25T11:21:58 Z | ArshiaDadras | Ili (COI17_ili) | C++17 | 5 ms | 768 KB |
/* 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() { int u; char x, y; scanf("%c%d%c", &x, &u, &y); 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(n <= 15 && 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
# | Verdict | Execution time | Memory | Grader output |
---|---|---|---|---|
1 | Incorrect | 5 ms | 768 KB | Output isn't correct |
2 | Halted | 0 ms | 0 KB | - |
# | Verdict | Execution time | Memory | Grader output |
---|---|---|---|---|
1 | Incorrect | 5 ms | 768 KB | Output isn't correct |
2 | Halted | 0 ms | 0 KB | - |
# | Verdict | Execution time | Memory | Grader output |
---|---|---|---|---|
1 | Incorrect | 5 ms | 768 KB | Output isn't correct |
2 | Halted | 0 ms | 0 KB | - |