#include <bits/stdc++.h>
//#include <ext/pb_ds/assoc_container.hpp>
//#include <ext/pb_ds/tree_policy.hpp>
#define in(x) freopen(x, "r", stdin)
#define out(x) freopen(x, "w", stdout)
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
//#pragma GCC optimize("Ofast,nso-stack-protector,unroll-loops,fast-math,-O3")
#define F first
#define S second
#define pb push_back
#define N +20500
#define M ll(1e9 + 7)
#define sz(x) (int)x.size()
#define re return
#define oo ll(1e9)
#define el '\n'
#define Max_A int(1e9)
//#define el endl
#define pii pair <int, int>
#define err ld(1e-9)
#define last(x) x.back()
#define all(x) (x).begin(), (x).end()
#define arr_all(x, n) (x + 1), (x + 1 + n)
using namespace std;
//using namespace __gnu_pbds;
//typedef tree <int, null_type, less_equal <int> , rb_tree_tag, tree_order_statistics_node_update> ordered_set;
typedef long long ll;
typedef long double ld;
int c[N], n, m, i, j;
string s;
pair <int, int> pr[N];
bool mrk[N];
bitset<N> bt[N], clr;
void dfs(int v)
{
if (mrk[v]) return;
mrk[v] = 1;
if (v < n)
return;
dfs(pr[v].F);
dfs(pr[v].S);
}
int main()
{
cout.precision(2);
srand(time(0));
ios_base::sync_with_stdio(0);
iostream::sync_with_stdio(0);
ios::sync_with_stdio(0);
cin.tie(NULL);
cout.tie(NULL);
// in("input.txt");
// out("output.txt");
cin >> n >> m;
cin >> s;
for (i = 0; i < n + m; i++)
c[i] = -1, clr[i] = 0;
for (i = n; i < n + m; i++)
if (s[i - n] != '?')
c[i] = s[i - n] - '0';
else c[i] = -1;
for (i = 0; i < m; i++)
{
string f1, f2;
cin >> f1 >> f2;
int number = atoi(f1.substr(1).c_str());
if (f1[0] == 'c')
number += n;
number--;
pr[i + n].F = number;
number = atoi(f2.substr(1).c_str());
if (f2[0] == 'c')
number += n;
number--;
pr[i + n].S = number;
}
while (1)
{
bool bad = 1;
for (i = 0; i < n + m; i++) mrk[i] = 0;
for (i = n; i < n + m; i++)
{
if (mrk[i]) continue;
if (c[i] == 0)
dfs(i);
}
for (i = 0; i < n + m; i++)
if (mrk[i])
c[i] = 0;
for (i = n; i < n + m; i++)
{
if (c[pr[i].F] == 0 && c[pr[i].S] == 0 && c[i] == -1)
c[i] = 0;
if (c[i] == 0 && !mrk[i])
bad = 0;
}
if (bad)
break;
}
for (i = n + m - 1; i >= n; i--)
{
for (j = 0; j < n + m; j++)
mrk[j] = 0;
dfs(i);
for (j = 0; j < n + m; j++)
if (c[j] != 0)
bt[i][j] = mrk[j];
bt[i][i] = 0;
for (j = 0; j < n + m; j++)
if (c[j] == 1 && mrk[j])
{
c[i] = 1;
break;
}
}
while (1)
{
bool hv = 0;
for (i = n; i < n + m; i++)
{
if (((c[pr[i].F] == 0 && c[pr[i].S] == 1) || (c[pr[i].F] == 1 && c[pr[i].S] == 0)) && c[i] == -1)
c[i] = 1;
}
for (i = n + m - 1; i >= n; i--)
{
if (c[i] != -1) continue;
bt[i][i] = 1;
for (j = n; j < n + m; j++)
if (c[j] == 1 && i != j && (bt[i] & bt[j]) == bt[j])
{
c[i] = 1;
hv = 1;
break;
}
bt[i][i] = 0;
}
if (!hv)
break;
}
for (i = n; i < n + m; i++)
if (c[i] == -1)
cout << "?";
else cout << c[i];
}
//
//00000
//00110
//00111
//00011
//00000
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
384 KB |
Output is correct |
2 |
Correct |
0 ms |
384 KB |
Output is correct |
3 |
Correct |
0 ms |
384 KB |
Output is correct |
4 |
Correct |
0 ms |
384 KB |
Output is correct |
5 |
Correct |
0 ms |
384 KB |
Output is correct |
6 |
Correct |
0 ms |
384 KB |
Output is correct |
7 |
Correct |
0 ms |
384 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
384 KB |
Output is correct |
2 |
Correct |
0 ms |
384 KB |
Output is correct |
3 |
Correct |
0 ms |
384 KB |
Output is correct |
4 |
Correct |
0 ms |
384 KB |
Output is correct |
5 |
Correct |
0 ms |
384 KB |
Output is correct |
6 |
Correct |
0 ms |
384 KB |
Output is correct |
7 |
Correct |
0 ms |
384 KB |
Output is correct |
8 |
Correct |
39 ms |
1536 KB |
Output is correct |
9 |
Incorrect |
21 ms |
1280 KB |
Output isn't correct |
10 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
384 KB |
Output is correct |
2 |
Correct |
0 ms |
384 KB |
Output is correct |
3 |
Correct |
0 ms |
384 KB |
Output is correct |
4 |
Correct |
0 ms |
384 KB |
Output is correct |
5 |
Correct |
0 ms |
384 KB |
Output is correct |
6 |
Correct |
0 ms |
384 KB |
Output is correct |
7 |
Correct |
0 ms |
384 KB |
Output is correct |
8 |
Correct |
39 ms |
1536 KB |
Output is correct |
9 |
Incorrect |
21 ms |
1280 KB |
Output isn't correct |
10 |
Halted |
0 ms |
0 KB |
- |