이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
// Never let them see you bleed...
#include<bits/stdc++.h>
#define F first
#define S second
#define PB push_back
#define sz(s) int((s).size())
#define bit(n,k) (((n)>>(k))&1)
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
const int maxn = 1e4 + 10, mod = 1e9 + 7, inf = 1e9 + 10;
bitset<maxn> bs[maxn], zr, tmp, dp;
vector<int> to1[maxn], to2[maxn];
int toInt(string s){
stringstream ss;
ss << s;
int x;
ss >> x;
return x;
}
void inp(int i){
string s;
cin >> s;
int id = toInt(s.substr(1))-1;
if(s[0] == 'c')
bs[i] = bs[i] | bs[id], to1[i].PB(id);
else
bs[i][id] = 1, to2[i].PB(id);
}
int main(){
ios_base::sync_with_stdio(false); cin.tie(0); cout.tie();
int n, m;
cin >> n >> m;
string s;
cin >> s;
for(int i = 0; i < m; i++){
inp(i), inp(i);
}
for(int i = 0; i < m; i++){
if(s[i] == '0')
zr|= bs[i];
}
for(int i = 0; i < m; i++){
tmp = zr & bs[i];
if(tmp == bs[i])
s[i] = '0';
bs[i] = bs[i] ^ tmp;
}
for(int i = 0; i < m; i++){
if(s[i] == '?'){
tmp = zr | bs[i];
dp = 0;
bool bad = 0;
for(int j = 0; j < m; j++){
for(int x : to1[j])
dp[j]= dp[j] || dp[x];
for(int x : to2[j])
dp[j]= dp[j] || !tmp[x];
bad|= (s[j] == '1' && dp[j] == 0);
}
if(bad)
s[i] = '1';
}
}
return cout << s << endl, 0;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |