# | Time | Username | Problem | Language | Result | Execution time | Memory |
---|---|---|---|---|---|---|---|
234726 | ArshiaDadras | Ili (COI17_ili) | C++17 | 5 ms | 768 KiB |
This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
/* 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 (stderr)
# | Verdict | Execution time | Memory | Grader output |
---|---|---|---|---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|---|---|---|---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|---|---|---|---|
Fetching results... |