#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
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...); }
// dp
template<class T> bool ckmin(T&a, T&b) { bool bl = a > b; a = min(a,b); return bl;}
template<class T> bool ckmax(T&a, T&b) { bool bl = a < b; a = max(a,b); return bl;}
void program();
int main() {
ios_base::sync_with_stdio(false);
cin.tie(NULL);
cout.tie(NULL);
program();
}
//===================//
// begin program //
//===================//
const int N = (1<<20);
const int SQ = 7;
int n, l, q;
int a[N];
int nxt1[N], nxt2[N];
int tot[N], ans[N];
string s;
int query0[N], query1[N];
int f[N], m;
int lst[N];
int stringToInt(string s) {
int res = 0;
RE(i,20-SQ) {
res *= 3;
if(s[i] == '0') res += 0;
else if(s[i] == '1') res += 1;
else if(s[i] == '?') res += 2;
}
return res;
}
string intToString(int x) {
string res;
RE(_,20-SQ) {
if((x%3) == 0) res += '0';
if((x%3) == 1) res += '1';
if((x%3) == 2) res += '?';
x /= 3;
}
reverse(all(res));
return res;
}
void program() {
// pre calculations
int ways3 = 1;
m = (1<<(20-SQ));
RE(_,20-SQ) ways3 *= 3;
int x=0, y=m;
RE(i,ways3) {
string t = intToString(i);
int a = 0;
bool hasQ = false;
RE(j,20-SQ) if(t[j] == '?') hasQ = true;
if(hasQ) a = y++;
else a = x++;
f[i] = a;
nxt1[a] = -1, nxt2[a] = -1;
RE(j,20-SQ) if(t[j] == '?') {
t[j] = '0';
nxt1[a] = f[stringToInt(t)];
t[j] = '1';
nxt2[a] = f[stringToInt(t)];
break;
}
if(!hasQ) {
nxt1[a] = 0;
RE(j,20-SQ) if(t[19-SQ-j] == '1') nxt1[a] |= (1<<j);
}
}
// input
IN(l,q,s); n=(1<<l);
RE(i,n) a[i] = s[i]-'0';
string u; u.assign(20-l,'0');
RE(i,q) {
string t; IN(t);
t = u + t;
RE(j,SQ) if(t[SQ-1-j] == '0') query0[i] |= (1<<j);
RE(j,SQ) if(t[SQ-1-j] == '1') query1[i] |= (1<<j);
lst[i] = f[stringToInt(t.substr(SQ,20-SQ))];
}
RE(i,(1<<SQ)) {
int bm = (i<<(20-SQ));
RE(j,m) tot[j] = a[bm|nxt1[j]];
REP(j,m,ways3) tot[j] = tot[nxt1[j]] + tot[nxt2[j]];
int ri = ~i;
RE(j,q) ans[j] += int(((query0[j]&i) == 0 && (query1[j]&ri) == 0)) * tot[lst[j]];
}
RE(i,q) OUTL(ans[i]);
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Runtime error |
381 ms |
42436 KB |
Execution killed with signal 11 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Runtime error |
381 ms |
42436 KB |
Execution killed with signal 11 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Runtime error |
381 ms |
42436 KB |
Execution killed with signal 11 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Runtime error |
381 ms |
42436 KB |
Execution killed with signal 11 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Runtime error |
381 ms |
42436 KB |
Execution killed with signal 11 |
2 |
Halted |
0 ms |
0 KB |
- |