Submission #991649

# Submission time Handle Problem Language Result Execution time Memory
991649 2024-06-02T17:49:55 Z GrindMachine Snake Escaping (JOI18_snake_escaping) C++17
100 / 100
930 ms 34848 KB
#pragma GCC optimize("O3,unroll-loops")
#pragma GCC target("avx2")

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
 
using namespace std;
using namespace __gnu_pbds;
 
template<typename T> using Tree = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
typedef long long int ll;
typedef long double ld;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
 
#define fastio ios_base::sync_with_stdio(false); cin.tie(NULL)
#define pb push_back
#define endl '\n'
#define sz(a) (int)a.size()
#define setbits(x) __builtin_popcountll(x)
#define ff first
#define ss second
#define conts continue
#define ceil2(x,y) ((x+y-1)/(y))
#define all(a) a.begin(), a.end()
#define rall(a) a.rbegin(), a.rend()
#define yes cout << "Yes" << endl
#define no cout << "No" << endl
 
#define rep(i,n) for(int i = 0; i < n; ++i)
#define rep1(i,n) for(int i = 1; i <= n; ++i)
#define rev(i,s,e) for(int i = s; i >= e; --i)
#define trav(i,a) for(auto &i : a)
 
template<typename T>
void amin(T &a, T b) {
    a = min(a,b);
}
 
template<typename T>
void amax(T &a, T b) {
    a = max(a,b);
}
 
#ifdef LOCAL
#include "debug.h"
#else
#define debug(...) 42
#endif
 
/*
 
 
 
*/
 
const int MOD = 1e9 + 7;
const int N = 1e5 + 5;
const int inf1 = int(1e9) + 5;
const ll inf2 = ll(1e18) + 5;

void solve(int test_case)
{
    int n,q; cin >> n >> q;
    string s; cin >> s;
    int B = max(n/2,1);
    amin(B,7);

    vector<int> pow3(n+5);
    pow3[0] = 1;
    rep1(i,n) pow3[i] = pow3[i-1]*3;
 
    vector<pii> queries(q);
    rep(id,q){
        string t; cin >> t;
        int first_t = 0, last_t = 0;
        rep(i,sz(t)){
            ll x = 0;
            if(t[i] == '0') x = 0;
            if(t[i] == '1') x = 1;
            if(t[i] == '?') x = 2;
            if(i < B) first_t = first_t*3+x;
            else last_t = last_t*3+x;
        }
 
        queries[id] = {first_t,last_t};
    }
    
    vector<int> maskf(1<<(n-B));
    rep(i,1<<(n-B)){
        int mask = 0;
        rep(bit,n-B){
            int b = 0;
            if(i&(1<<bit)) b = 1;
            mask += pow3[bit]*b;
        }

        maskf[i] = mask;
    }

    vector<int> lsqf(pow3[n-B],inf1);
    rep(i,pow3[n-B]){
        if(i%3 == 2) lsqf[i] = 0;
        else lsqf[i] = lsqf[i/3]+1;
    }
    
    int ok[1<<B][pow3[B]];
    memset(ok,0,sizeof ok);
    ok[0][0] = (1<<29)-1;

    rep(mask1,1<<B){
        rep(mask2,pow3[B]){
            if(mask1 == 0 and mask2 == 0) conts;
            int b1 = mask1&1;
            int b2 = mask2%3;
            if(b2 == 2 or b1 == b2){
                ok[mask1][mask2] = ok[mask1>>1][mask2/3];
            }
            else{
                ok[mask1][mask2] = 0;
            }
        }
    }

    vector<int> ans(q);
    vector<int> dp(pow3[n-B]);

    rep(mask1,1<<B){
        fill(all(dp),0);
 
        rep(i,1<<n){
            int firstB = i>>(n-B);
            int lastB = i^(firstB<<(n-B));
            if(firstB != mask1) conts;
            dp[maskf[lastB]] += s[i]-'0';
        }

        rep(mask2,pow3[n-B]){
            int lsq = lsqf[mask2];
            if(lsq >= inf1) conts;
            rep(x,2){
                int mask3 = mask2-pow3[lsq]*2+pow3[lsq]*x;
                dp[mask2] += dp[mask3];
            }
        }

        rep(id,q){
            ans[id] += ok[mask1][queries[id].ff]&dp[queries[id].ss];
        }
    }
 
    rep(i,q) cout << ans[i] << endl;
}
 
int main()
{
    fastio;
 
    int t = 1;
    // cin >> t;
 
    rep1(i, t) {
        solve(i);
    }
 
    return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 360 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 1 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 0 ms 348 KB Output is correct
9 Correct 0 ms 348 KB Output is correct
10 Correct 0 ms 348 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 360 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 1 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 0 ms 348 KB Output is correct
9 Correct 0 ms 348 KB Output is correct
10 Correct 0 ms 348 KB Output is correct
11 Correct 170 ms 16212 KB Output is correct
12 Correct 130 ms 15696 KB Output is correct
13 Correct 146 ms 14928 KB Output is correct
14 Correct 148 ms 15180 KB Output is correct
15 Correct 145 ms 16208 KB Output is correct
16 Correct 170 ms 15184 KB Output is correct
17 Correct 163 ms 15184 KB Output is correct
18 Correct 124 ms 17232 KB Output is correct
19 Correct 145 ms 14164 KB Output is correct
20 Correct 162 ms 15696 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 360 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 1 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 0 ms 348 KB Output is correct
9 Correct 0 ms 348 KB Output is correct
10 Correct 0 ms 348 KB Output is correct
11 Correct 170 ms 16212 KB Output is correct
12 Correct 130 ms 15696 KB Output is correct
13 Correct 146 ms 14928 KB Output is correct
14 Correct 148 ms 15180 KB Output is correct
15 Correct 145 ms 16208 KB Output is correct
16 Correct 170 ms 15184 KB Output is correct
17 Correct 163 ms 15184 KB Output is correct
18 Correct 124 ms 17232 KB Output is correct
19 Correct 145 ms 14164 KB Output is correct
20 Correct 162 ms 15696 KB Output is correct
21 Correct 203 ms 16232 KB Output is correct
22 Correct 157 ms 16468 KB Output is correct
23 Correct 189 ms 15444 KB Output is correct
24 Correct 187 ms 15184 KB Output is correct
25 Correct 181 ms 17272 KB Output is correct
26 Correct 199 ms 15720 KB Output is correct
27 Correct 195 ms 15696 KB Output is correct
28 Correct 158 ms 18256 KB Output is correct
29 Correct 190 ms 14164 KB Output is correct
30 Correct 216 ms 16468 KB Output is correct
31 Correct 193 ms 16208 KB Output is correct
32 Correct 193 ms 16212 KB Output is correct
33 Correct 191 ms 15188 KB Output is correct
34 Correct 188 ms 15188 KB Output is correct
35 Correct 190 ms 15696 KB Output is correct
36 Correct 145 ms 14200 KB Output is correct
37 Correct 162 ms 16212 KB Output is correct
38 Correct 214 ms 14416 KB Output is correct
39 Correct 190 ms 15448 KB Output is correct
40 Correct 191 ms 15204 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 360 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 1 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 0 ms 348 KB Output is correct
9 Correct 0 ms 348 KB Output is correct
10 Correct 0 ms 348 KB Output is correct
11 Correct 425 ms 15860 KB Output is correct
12 Correct 421 ms 15860 KB Output is correct
13 Correct 445 ms 15616 KB Output is correct
14 Correct 448 ms 15688 KB Output is correct
15 Correct 441 ms 15920 KB Output is correct
16 Correct 443 ms 15860 KB Output is correct
17 Correct 463 ms 15860 KB Output is correct
18 Correct 430 ms 15856 KB Output is correct
19 Correct 435 ms 15616 KB Output is correct
20 Correct 456 ms 15856 KB Output is correct
21 Correct 443 ms 15680 KB Output is correct
22 Correct 446 ms 15680 KB Output is correct
23 Correct 438 ms 15668 KB Output is correct
24 Correct 434 ms 15676 KB Output is correct
25 Correct 443 ms 15860 KB Output is correct
26 Correct 419 ms 15612 KB Output is correct
27 Correct 430 ms 15916 KB Output is correct
28 Correct 425 ms 15616 KB Output is correct
29 Correct 458 ms 15616 KB Output is correct
30 Correct 430 ms 15856 KB Output is correct
31 Correct 431 ms 15672 KB Output is correct
32 Correct 466 ms 15664 KB Output is correct
33 Correct 444 ms 15672 KB Output is correct
34 Correct 430 ms 15676 KB Output is correct
35 Correct 435 ms 15856 KB Output is correct
36 Correct 452 ms 15692 KB Output is correct
37 Correct 453 ms 15860 KB Output is correct
38 Correct 438 ms 15860 KB Output is correct
39 Correct 449 ms 15860 KB Output is correct
40 Correct 442 ms 15860 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 360 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 1 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 0 ms 348 KB Output is correct
9 Correct 0 ms 348 KB Output is correct
10 Correct 0 ms 348 KB Output is correct
11 Correct 170 ms 16212 KB Output is correct
12 Correct 130 ms 15696 KB Output is correct
13 Correct 146 ms 14928 KB Output is correct
14 Correct 148 ms 15180 KB Output is correct
15 Correct 145 ms 16208 KB Output is correct
16 Correct 170 ms 15184 KB Output is correct
17 Correct 163 ms 15184 KB Output is correct
18 Correct 124 ms 17232 KB Output is correct
19 Correct 145 ms 14164 KB Output is correct
20 Correct 162 ms 15696 KB Output is correct
21 Correct 203 ms 16232 KB Output is correct
22 Correct 157 ms 16468 KB Output is correct
23 Correct 189 ms 15444 KB Output is correct
24 Correct 187 ms 15184 KB Output is correct
25 Correct 181 ms 17272 KB Output is correct
26 Correct 199 ms 15720 KB Output is correct
27 Correct 195 ms 15696 KB Output is correct
28 Correct 158 ms 18256 KB Output is correct
29 Correct 190 ms 14164 KB Output is correct
30 Correct 216 ms 16468 KB Output is correct
31 Correct 193 ms 16208 KB Output is correct
32 Correct 193 ms 16212 KB Output is correct
33 Correct 191 ms 15188 KB Output is correct
34 Correct 188 ms 15188 KB Output is correct
35 Correct 190 ms 15696 KB Output is correct
36 Correct 145 ms 14200 KB Output is correct
37 Correct 162 ms 16212 KB Output is correct
38 Correct 214 ms 14416 KB Output is correct
39 Correct 190 ms 15448 KB Output is correct
40 Correct 191 ms 15204 KB Output is correct
41 Correct 425 ms 15860 KB Output is correct
42 Correct 421 ms 15860 KB Output is correct
43 Correct 445 ms 15616 KB Output is correct
44 Correct 448 ms 15688 KB Output is correct
45 Correct 441 ms 15920 KB Output is correct
46 Correct 443 ms 15860 KB Output is correct
47 Correct 463 ms 15860 KB Output is correct
48 Correct 430 ms 15856 KB Output is correct
49 Correct 435 ms 15616 KB Output is correct
50 Correct 456 ms 15856 KB Output is correct
51 Correct 443 ms 15680 KB Output is correct
52 Correct 446 ms 15680 KB Output is correct
53 Correct 438 ms 15668 KB Output is correct
54 Correct 434 ms 15676 KB Output is correct
55 Correct 443 ms 15860 KB Output is correct
56 Correct 419 ms 15612 KB Output is correct
57 Correct 430 ms 15916 KB Output is correct
58 Correct 425 ms 15616 KB Output is correct
59 Correct 458 ms 15616 KB Output is correct
60 Correct 430 ms 15856 KB Output is correct
61 Correct 431 ms 15672 KB Output is correct
62 Correct 466 ms 15664 KB Output is correct
63 Correct 444 ms 15672 KB Output is correct
64 Correct 430 ms 15676 KB Output is correct
65 Correct 435 ms 15856 KB Output is correct
66 Correct 452 ms 15692 KB Output is correct
67 Correct 453 ms 15860 KB Output is correct
68 Correct 438 ms 15860 KB Output is correct
69 Correct 449 ms 15860 KB Output is correct
70 Correct 442 ms 15860 KB Output is correct
71 Correct 768 ms 31728 KB Output is correct
72 Correct 709 ms 32036 KB Output is correct
73 Correct 831 ms 30516 KB Output is correct
74 Correct 810 ms 30708 KB Output is correct
75 Correct 815 ms 33024 KB Output is correct
76 Correct 854 ms 31016 KB Output is correct
77 Correct 859 ms 31016 KB Output is correct
78 Correct 678 ms 34848 KB Output is correct
79 Correct 756 ms 28912 KB Output is correct
80 Correct 761 ms 31988 KB Output is correct
81 Correct 817 ms 31736 KB Output is correct
82 Correct 847 ms 30692 KB Output is correct
83 Correct 815 ms 29940 KB Output is correct
84 Correct 832 ms 30932 KB Output is correct
85 Correct 834 ms 30960 KB Output is correct
86 Correct 699 ms 28916 KB Output is correct
87 Correct 693 ms 31696 KB Output is correct
88 Correct 776 ms 28912 KB Output is correct
89 Correct 882 ms 30456 KB Output is correct
90 Correct 860 ms 30692 KB Output is correct
91 Correct 808 ms 29936 KB Output is correct
92 Correct 930 ms 31204 KB Output is correct
93 Correct 850 ms 31012 KB Output is correct
94 Correct 677 ms 28916 KB Output is correct
95 Correct 859 ms 30964 KB Output is correct
96 Correct 847 ms 30964 KB Output is correct
97 Correct 862 ms 30964 KB Output is correct
98 Correct 856 ms 30968 KB Output is correct
99 Correct 856 ms 30944 KB Output is correct
100 Correct 899 ms 30964 KB Output is correct