#include <bits/stdc++.h>
using namespace std;
// macros
typedef long long ll;
typedef long double ld;
typedef pair<int, int> ii;
typedef pair<ll, ll> lll;
typedef tuple<int, int, int> iii;
typedef vector<int> vi;
typedef vector<ii> vii;
typedef vector<iii> viii;
typedef vector<ll> vll;
typedef vector<lll> vlll;
#define REP(a,b,c) for(int a=int(b); a<int(c); a++)
#define RE(a,c) REP(a,0,c)
#define RE1(a,c) REP(a,1,c+1)
#define REI(a,b,c) REP(a,b,c+1)
#define REV(a,b,c) for(int a=int(c-1); a>=int(b); a--)
#define FOR(a,b) for(auto& a : b)
#define all(a) a.begin(), a.end()
#define INF 1e18
#define EPS 1e-9
#define pb push_back
#define popb pop_back
#define fi first
#define se second
#define sz size()
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
// input
template<class T> void IN(T& x) {cin >> x;}
template<class H, class... T> void IN(H& h, T&... t) {IN(h); IN(t...); }
// output
template<class T1, class T2> void OUT(const pair<T1,T2>& x);
template<class T> void OUT(const vector<T>& x);
template<class T> void OUT(const T& x) {cout << x;}
template<class H, class... T> void OUT(const H& h, const T&... t) {OUT(h); OUT(t...); }
template<class T1, class T2> void OUT(const pair<T1,T2>& x) {OUT(x.fi,' ',x.se);}
template<class T> void OUT(const vector<T>& x) {RE(i,x.size()) OUT(i==0?"":" ",x[i]);}
template<class... T> void OUTL(const T&... t) {OUT(t..., "\n"); }
template<class H> void OUTLS(const H& h) {OUTL(h); }
template<class H, class... T> void OUTLS(const H& h, const T&... t) {OUT(h,' '); OUTLS(t...); }
//===================//
// Added libraries //
//===================//
//===================//
//end added libraries//
//===================//
void program();
int main() {
ios_base::sync_with_stdio(false);
cin.tie(NULL);
cout.tie(NULL);
program();
}
//===================//
// begin program //
//===================//
const int MX = 5e5;
int n, m;
string x;
vi p[MX];
vi rev[MX];
string ans;
bool isPossible() {
queue<int> q;
RE(i,n+m) if(x[i]=='0') q.push(i);
while(!q.empty()) {
int u=q.front(); q.pop();
FOR(v,p[u]) {
if(x[v]=='1') return 0;
if(x[v]!='0') {
x[v]='0';
q.push(v);
}
}
FOR(v,rev[u]) {
bool foundN0=0;
FOR(w,p[v]) {
if(x[w] != '0') foundN0=1;
}
if(!foundN0) {
if(x[v]=='0') continue;
if(x[v]=='1') return 0;
x[v]='0';
q.push(v);
}
}
}
return 1;
}
void program() {
IN(n,m);
x.assign(n+m, '?');
RE(i,m) IN(x[n+i]);
RE(i,m) {
int u = n+i;
RE(_,2) {
char c; int v;
IN(c, v); v--;
if(c == 'x') {
p[u].pb(v);
rev[v].pb(u);
} else {
p[u].pb(n+v);
rev[n+v].pb(u);
}
}
}
isPossible();
RE(i,m) {
if(x[n+i]!='?') continue;
string save = x;
x[n+i]='0';
if(!isPossible()) {
save[n+i]='1';
} else {
save[n+i]='?';
}
x = save;
}
RE(i,m) ans.pb(x[n+i]);
OUTL(ans);
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
23 ms |
23788 KB |
Output is correct |
2 |
Correct |
16 ms |
23788 KB |
Output is correct |
3 |
Correct |
16 ms |
23788 KB |
Output is correct |
4 |
Correct |
16 ms |
23788 KB |
Output is correct |
5 |
Correct |
16 ms |
23788 KB |
Output is correct |
6 |
Correct |
17 ms |
23788 KB |
Output is correct |
7 |
Correct |
17 ms |
23788 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
23 ms |
23788 KB |
Output is correct |
2 |
Correct |
16 ms |
23788 KB |
Output is correct |
3 |
Correct |
16 ms |
23788 KB |
Output is correct |
4 |
Correct |
16 ms |
23788 KB |
Output is correct |
5 |
Correct |
16 ms |
23788 KB |
Output is correct |
6 |
Correct |
17 ms |
23788 KB |
Output is correct |
7 |
Correct |
17 ms |
23788 KB |
Output is correct |
8 |
Correct |
17 ms |
23916 KB |
Output is correct |
9 |
Correct |
17 ms |
23788 KB |
Output is correct |
10 |
Correct |
17 ms |
23916 KB |
Output is correct |
11 |
Correct |
18 ms |
23916 KB |
Output is correct |
12 |
Correct |
17 ms |
23916 KB |
Output is correct |
13 |
Correct |
17 ms |
23916 KB |
Output is correct |
14 |
Correct |
17 ms |
23916 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
23 ms |
23788 KB |
Output is correct |
2 |
Correct |
16 ms |
23788 KB |
Output is correct |
3 |
Correct |
16 ms |
23788 KB |
Output is correct |
4 |
Correct |
16 ms |
23788 KB |
Output is correct |
5 |
Correct |
16 ms |
23788 KB |
Output is correct |
6 |
Correct |
17 ms |
23788 KB |
Output is correct |
7 |
Correct |
17 ms |
23788 KB |
Output is correct |
8 |
Correct |
17 ms |
23916 KB |
Output is correct |
9 |
Correct |
17 ms |
23788 KB |
Output is correct |
10 |
Correct |
17 ms |
23916 KB |
Output is correct |
11 |
Correct |
18 ms |
23916 KB |
Output is correct |
12 |
Correct |
17 ms |
23916 KB |
Output is correct |
13 |
Correct |
17 ms |
23916 KB |
Output is correct |
14 |
Correct |
17 ms |
23916 KB |
Output is correct |
15 |
Correct |
343 ms |
24428 KB |
Output is correct |
16 |
Correct |
786 ms |
24428 KB |
Output is correct |
17 |
Correct |
988 ms |
24428 KB |
Output is correct |
18 |
Correct |
770 ms |
24592 KB |
Output is correct |
19 |
Correct |
840 ms |
24428 KB |
Output is correct |
20 |
Correct |
1700 ms |
24656 KB |
Output is correct |
21 |
Correct |
1170 ms |
24696 KB |
Output is correct |
22 |
Correct |
267 ms |
24748 KB |
Output is correct |
23 |
Correct |
290 ms |
24812 KB |
Output is correct |
24 |
Correct |
270 ms |
24812 KB |
Output is correct |
25 |
Correct |
725 ms |
24476 KB |
Output is correct |
26 |
Correct |
688 ms |
24556 KB |
Output is correct |
27 |
Correct |
675 ms |
24556 KB |
Output is correct |
28 |
Correct |
630 ms |
24428 KB |
Output is correct |
29 |
Correct |
650 ms |
24464 KB |
Output is correct |
30 |
Correct |
672 ms |
24556 KB |
Output is correct |
31 |
Correct |
780 ms |
24428 KB |
Output is correct |
32 |
Correct |
852 ms |
24552 KB |
Output is correct |