#include<iostream>
#include<stack>
#include<map>
#include<vector>
#include<string>
#include<unordered_map>
#include <queue>
#include<cstring>
#include<limits.h>
#include <cassert>
#include<cmath>
#include<set>
#include<algorithm>
#include <iomanip>
#include<numeric> //gcd(a,b)
#include<bitset>
#include <cstdlib>
#include <cstdint>
using namespace std;
#define ll long long
#define f first
//#define endl "\n"
#define s second
#define pii pair<int,int>
#define ppii pair<int,pii>
#define vi vector<int>
#define pb push_back
#define all(x) x.begin(),x.end()
#define rall(x) x.rbegin(),x.rend()
#define F(n) for(int i=0;i<n;i++)
#define lb lower_bound
#define ub upper_bound
#define fastio ios::sync_with_stdio(false);cin.tie(NULL);
#pragma GCC optimize ("03,unroll-loops")
using namespace std;
#define int long long
#define double long double
const int mod=998244353,mxn=3e5+5,lg=60,inf=1e18,minf=-1e18,Mxn=1e6+50000;
int dp1[Mxn+10],dp0[Mxn+10],cost[Mxn+10],rdp0[mxn+10];
int32_t main(){
fastio
int n,q;cin>>n>>q;
string a;cin>>a;
for(int i=0;i<(1LL<<n);i++)cost[i]=dp1[i]=dp0[i]=(a[i]-'0');
for(int i=0;i<n;i++)for(int j=0;j<(1LL<<n);j++)if(j&(1LL<<i))dp1[j]+=dp1[j^(1LL<<i)];
for(int i=0;i<n;i++)for(int j=(1LL<<n)-1;j>=0;j--)if(!(j&(1LL<<i)))dp0[j]+=dp0[j+(1LL<<i)];
int root=sqrt(n);
root++;
auto change=[&](int x){
int k=0;
for(int i=0;i<n;i++)if(!(x&(1LL<<i)))k+=1LL<<i;
return k;
};
for(int i=0;i<(1LL<<n);i++)rdp0[change(i)]=dp0[i];
while(q--){
cin>>a;
reverse(all(a));
int x=0,y=0;
vector<int>o,z,c;
int bro=0,bro2=0;
for(int i=0;i<n;i++){
if(a[i]=='1')x+=(1LL<<i),o.pb(i),y+=(1LL<<i);
else if(a[i]=='?')c.pb(i),bro+=(1LL<<i),x+=(1LL<<i),bro2+=(1LL<<i);
else z.pb(i);
}
int m=0;
int ans=0,g;
if(c.size()<=root){//5 tl
m=c.size();
for(int i=0;i<(1LL<<m);i++){
for(int j=0;j<m;j++)if((i&(1LL<<j))==0)x-=(1LL<<c[j]);
ans+=cost[x];
for(int j=0;j<m;j++)if((i&(1LL<<j))==0)x+=(1LL<<c[j]);
}
}
else if(o.size()<z.size()){
m=o.size();
x-=bro;
g=x;
while(1){
if((m-__builtin_popcount(g))%2)ans-=dp1[g+bro];
else ans+=dp1[g+bro];
if(g==0)break;
g=(g-1)&x;
}
/*
for(int i=0;i<(1LL<<m)-1;i++){
int cnt=0;
for(int j=0;j<m;j++)if((i&(1LL<<j))==0)x-=(1LL<<o[j]),cnt++;
if(cnt%2)ans-=dp1[x];
else ans+=dp1[x];
for(int j=0;j<m;j++)if((i&(1LL<<j))==0)x+=(1LL<<o[j]);
}*/
}
else{
m=z.size();
y=change(y);
y-=bro2;
int g=y;
//cout<<bro2<<' '<<g<<"L\n";
while(1){
if((m-__builtin_popcount(g))%2)ans-=rdp0[g+bro2];
else ans+=rdp0[g+bro2];
if(g==0)break;
g=(g-1)&y;
}
/*
ans=dp0[y];
for(int i=1;i<(1LL<<m);i++){
int cnt=0;
for(int j=0;j<m;j++)if((i&(1LL<<j)))y+=(1LL<<z[j]),cnt++;
if(cnt%2)ans-=dp0[y];
else ans+=dp0[y];
for(int j=0;j<m;j++)if((i&(1LL<<j)))y-=(1LL<<z[j]);
}*/
}
//ans=abs(ans);
cout<<ans<<'\n';
//return 0;
//cout<<dp1[x]<<" "<<dp0[y]<<'\n';
}
}
/*
if cnt? <= sqrt(m) we can do (2^4)? bruteforce (maybe even 5)
else we can do sos dp and somehow remove the overcount
we can turn all ? into one and get sos of that bit
overcount when "1" bit that is originaly turned on switch to 0(for subset)
we can switch them off and subtract from the original answer so it cost 2^(cnt1){
we need to somehow do pie
starting from original answer-> if we turn off 1 bit
ans-(turn of x bit)-(turn of y bit)+(turn of x and y bit)
so if cnt%2==1 then we subtract
else we add back in
}
cnt1 can be at most 16,worst case is all 1 (2^16)
we can also do sos dp where 0 is now the "switchable" value
so if cnt0<cnt1 we take do from 0 dp else from 1
tc-> worst case q*(2^m)*m
pre com time is m*(2^m+1)
q*(x*(2^x)+(2^(m-x)/2))
*/
Compilation message
snake_escaping.cpp: In function 'int32_t main()':
snake_escaping.cpp:68:14: warning: comparison of integer expressions of different signedness: 'std::vector<long long int>::size_type' {aka 'long unsigned int'} and 'long long int' [-Wsign-compare]
68 | if(c.size()<=root){//5 tl
| ~~~~~~~~^~~~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
6488 KB |
Output is correct |
2 |
Correct |
2 ms |
6488 KB |
Output is correct |
3 |
Correct |
1 ms |
6492 KB |
Output is correct |
4 |
Correct |
1 ms |
6492 KB |
Output is correct |
5 |
Correct |
1 ms |
6492 KB |
Output is correct |
6 |
Correct |
2 ms |
6488 KB |
Output is correct |
7 |
Correct |
1 ms |
6488 KB |
Output is correct |
8 |
Correct |
2 ms |
6492 KB |
Output is correct |
9 |
Correct |
1 ms |
6492 KB |
Output is correct |
10 |
Correct |
1 ms |
6492 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
6488 KB |
Output is correct |
2 |
Correct |
2 ms |
6488 KB |
Output is correct |
3 |
Correct |
1 ms |
6492 KB |
Output is correct |
4 |
Correct |
1 ms |
6492 KB |
Output is correct |
5 |
Correct |
1 ms |
6492 KB |
Output is correct |
6 |
Correct |
2 ms |
6488 KB |
Output is correct |
7 |
Correct |
1 ms |
6488 KB |
Output is correct |
8 |
Correct |
2 ms |
6492 KB |
Output is correct |
9 |
Correct |
1 ms |
6492 KB |
Output is correct |
10 |
Correct |
1 ms |
6492 KB |
Output is correct |
11 |
Correct |
377 ms |
10496 KB |
Output is correct |
12 |
Correct |
397 ms |
10160 KB |
Output is correct |
13 |
Correct |
439 ms |
9664 KB |
Output is correct |
14 |
Correct |
457 ms |
9600 KB |
Output is correct |
15 |
Correct |
414 ms |
10580 KB |
Output is correct |
16 |
Correct |
487 ms |
9556 KB |
Output is correct |
17 |
Correct |
477 ms |
9772 KB |
Output is correct |
18 |
Correct |
267 ms |
11616 KB |
Output is correct |
19 |
Correct |
358 ms |
8532 KB |
Output is correct |
20 |
Correct |
437 ms |
10212 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
6488 KB |
Output is correct |
2 |
Correct |
2 ms |
6488 KB |
Output is correct |
3 |
Correct |
1 ms |
6492 KB |
Output is correct |
4 |
Correct |
1 ms |
6492 KB |
Output is correct |
5 |
Correct |
1 ms |
6492 KB |
Output is correct |
6 |
Correct |
2 ms |
6488 KB |
Output is correct |
7 |
Correct |
1 ms |
6488 KB |
Output is correct |
8 |
Correct |
2 ms |
6492 KB |
Output is correct |
9 |
Correct |
1 ms |
6492 KB |
Output is correct |
10 |
Correct |
1 ms |
6492 KB |
Output is correct |
11 |
Correct |
377 ms |
10496 KB |
Output is correct |
12 |
Correct |
397 ms |
10160 KB |
Output is correct |
13 |
Correct |
439 ms |
9664 KB |
Output is correct |
14 |
Correct |
457 ms |
9600 KB |
Output is correct |
15 |
Correct |
414 ms |
10580 KB |
Output is correct |
16 |
Correct |
487 ms |
9556 KB |
Output is correct |
17 |
Correct |
477 ms |
9772 KB |
Output is correct |
18 |
Correct |
267 ms |
11616 KB |
Output is correct |
19 |
Correct |
358 ms |
8532 KB |
Output is correct |
20 |
Correct |
437 ms |
10212 KB |
Output is correct |
21 |
Correct |
428 ms |
10688 KB |
Output is correct |
22 |
Correct |
441 ms |
10772 KB |
Output is correct |
23 |
Correct |
551 ms |
9740 KB |
Output is correct |
24 |
Correct |
614 ms |
9500 KB |
Output is correct |
25 |
Correct |
469 ms |
11480 KB |
Output is correct |
26 |
Correct |
624 ms |
10064 KB |
Output is correct |
27 |
Correct |
559 ms |
10036 KB |
Output is correct |
28 |
Correct |
283 ms |
12584 KB |
Output is correct |
29 |
Correct |
391 ms |
8452 KB |
Output is correct |
30 |
Correct |
464 ms |
10844 KB |
Output is correct |
31 |
Correct |
501 ms |
10584 KB |
Output is correct |
32 |
Correct |
588 ms |
10544 KB |
Output is correct |
33 |
Correct |
482 ms |
9444 KB |
Output is correct |
34 |
Correct |
625 ms |
9812 KB |
Output is correct |
35 |
Correct |
564 ms |
10084 KB |
Output is correct |
36 |
Correct |
263 ms |
8528 KB |
Output is correct |
37 |
Correct |
390 ms |
10604 KB |
Output is correct |
38 |
Correct |
396 ms |
8668 KB |
Output is correct |
39 |
Correct |
562 ms |
9812 KB |
Output is correct |
40 |
Correct |
609 ms |
9484 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
6488 KB |
Output is correct |
2 |
Correct |
2 ms |
6488 KB |
Output is correct |
3 |
Correct |
1 ms |
6492 KB |
Output is correct |
4 |
Correct |
1 ms |
6492 KB |
Output is correct |
5 |
Correct |
1 ms |
6492 KB |
Output is correct |
6 |
Correct |
2 ms |
6488 KB |
Output is correct |
7 |
Correct |
1 ms |
6488 KB |
Output is correct |
8 |
Correct |
2 ms |
6492 KB |
Output is correct |
9 |
Correct |
1 ms |
6492 KB |
Output is correct |
10 |
Correct |
1 ms |
6492 KB |
Output is correct |
11 |
Correct |
122 ms |
28680 KB |
Output is correct |
12 |
Incorrect |
110 ms |
28660 KB |
Output isn't correct |
13 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
6488 KB |
Output is correct |
2 |
Correct |
2 ms |
6488 KB |
Output is correct |
3 |
Correct |
1 ms |
6492 KB |
Output is correct |
4 |
Correct |
1 ms |
6492 KB |
Output is correct |
5 |
Correct |
1 ms |
6492 KB |
Output is correct |
6 |
Correct |
2 ms |
6488 KB |
Output is correct |
7 |
Correct |
1 ms |
6488 KB |
Output is correct |
8 |
Correct |
2 ms |
6492 KB |
Output is correct |
9 |
Correct |
1 ms |
6492 KB |
Output is correct |
10 |
Correct |
1 ms |
6492 KB |
Output is correct |
11 |
Correct |
377 ms |
10496 KB |
Output is correct |
12 |
Correct |
397 ms |
10160 KB |
Output is correct |
13 |
Correct |
439 ms |
9664 KB |
Output is correct |
14 |
Correct |
457 ms |
9600 KB |
Output is correct |
15 |
Correct |
414 ms |
10580 KB |
Output is correct |
16 |
Correct |
487 ms |
9556 KB |
Output is correct |
17 |
Correct |
477 ms |
9772 KB |
Output is correct |
18 |
Correct |
267 ms |
11616 KB |
Output is correct |
19 |
Correct |
358 ms |
8532 KB |
Output is correct |
20 |
Correct |
437 ms |
10212 KB |
Output is correct |
21 |
Correct |
428 ms |
10688 KB |
Output is correct |
22 |
Correct |
441 ms |
10772 KB |
Output is correct |
23 |
Correct |
551 ms |
9740 KB |
Output is correct |
24 |
Correct |
614 ms |
9500 KB |
Output is correct |
25 |
Correct |
469 ms |
11480 KB |
Output is correct |
26 |
Correct |
624 ms |
10064 KB |
Output is correct |
27 |
Correct |
559 ms |
10036 KB |
Output is correct |
28 |
Correct |
283 ms |
12584 KB |
Output is correct |
29 |
Correct |
391 ms |
8452 KB |
Output is correct |
30 |
Correct |
464 ms |
10844 KB |
Output is correct |
31 |
Correct |
501 ms |
10584 KB |
Output is correct |
32 |
Correct |
588 ms |
10544 KB |
Output is correct |
33 |
Correct |
482 ms |
9444 KB |
Output is correct |
34 |
Correct |
625 ms |
9812 KB |
Output is correct |
35 |
Correct |
564 ms |
10084 KB |
Output is correct |
36 |
Correct |
263 ms |
8528 KB |
Output is correct |
37 |
Correct |
390 ms |
10604 KB |
Output is correct |
38 |
Correct |
396 ms |
8668 KB |
Output is correct |
39 |
Correct |
562 ms |
9812 KB |
Output is correct |
40 |
Correct |
609 ms |
9484 KB |
Output is correct |
41 |
Correct |
122 ms |
28680 KB |
Output is correct |
42 |
Incorrect |
110 ms |
28660 KB |
Output isn't correct |
43 |
Halted |
0 ms |
0 KB |
- |