Submission #399869

# Submission time Handle Problem Language Result Execution time Memory
399869 2021-05-06T18:43:16 Z MarcoMeijer Snake Escaping (JOI18_snake_escaping) C++14
5 / 100
405 ms 65540 KB
#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 = 8;

int n, l, q;
int a[N];
int nxt1[N], nxt2[N];
int tot[N], ans[N];
string s;
int f[N], m;
int lst[N];

int stringToInt(string s) {
    int res = 0;
    RE(i,s.size()) {
        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, int len) {
    string res;
    RE(_,len) {
        if((x%3) == 0) res += '0';
        if((x%3) == 1) res += '1';
        if((x%3) == 2) res += '?';
        x /= 3;
    }
    reverse(all(res));
    return res;
}

vi appliedBM[N];
vi interestingQuery[N];

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,20-SQ);
        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);
        }
    }

    // pre calc query
    int ways33 = 1;
    RE(_,SQ) ways33 *= 3;
    RE(i,ways33) {
        string t = intToString(i,SQ);
        int bm0=0, bm1=0;
        RE(j,SQ) if(t[SQ-1-j] == '0') bm0 |= (1<<j);
        RE(j,SQ) if(t[SQ-1-j] == '1') bm1 |= (1<<j);
        RE(bm,(1<<SQ)) if((bm0&bm) == 0 && (bm1&(~bm)) == 0) appliedBM[i].pb(bm);
    }

    // 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;
        int x = stringToInt(t.substr(0,SQ));
        FOR(j,appliedBM[x]) interestingQuery[j].pb(i);
        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;
        FOR(j,interestingQuery[i]) ans[j] += tot[lst[j]];
    }

    RE(i,q) OUTL(ans[i]);
}

Compilation message

snake_escaping.cpp: In function 'void program()':
snake_escaping.cpp:154:13: warning: unused variable 'ri' [-Wunused-variable]
  154 |         int ri = ~i;
      |             ^~
# Verdict Execution time Memory Grader output
1 Correct 296 ms 58280 KB Output is correct
2 Correct 289 ms 58288 KB Output is correct
3 Correct 292 ms 58436 KB Output is correct
4 Correct 294 ms 58208 KB Output is correct
5 Correct 299 ms 58320 KB Output is correct
6 Correct 294 ms 58308 KB Output is correct
7 Correct 291 ms 58308 KB Output is correct
8 Correct 291 ms 58408 KB Output is correct
9 Correct 289 ms 58308 KB Output is correct
10 Correct 289 ms 58308 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 296 ms 58280 KB Output is correct
2 Correct 289 ms 58288 KB Output is correct
3 Correct 292 ms 58436 KB Output is correct
4 Correct 294 ms 58208 KB Output is correct
5 Correct 299 ms 58320 KB Output is correct
6 Correct 294 ms 58308 KB Output is correct
7 Correct 291 ms 58308 KB Output is correct
8 Correct 291 ms 58408 KB Output is correct
9 Correct 289 ms 58308 KB Output is correct
10 Correct 289 ms 58308 KB Output is correct
11 Runtime error 405 ms 65540 KB Execution killed with signal 9
12 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 296 ms 58280 KB Output is correct
2 Correct 289 ms 58288 KB Output is correct
3 Correct 292 ms 58436 KB Output is correct
4 Correct 294 ms 58208 KB Output is correct
5 Correct 299 ms 58320 KB Output is correct
6 Correct 294 ms 58308 KB Output is correct
7 Correct 291 ms 58308 KB Output is correct
8 Correct 291 ms 58408 KB Output is correct
9 Correct 289 ms 58308 KB Output is correct
10 Correct 289 ms 58308 KB Output is correct
11 Runtime error 405 ms 65540 KB Execution killed with signal 9
12 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 296 ms 58280 KB Output is correct
2 Correct 289 ms 58288 KB Output is correct
3 Correct 292 ms 58436 KB Output is correct
4 Correct 294 ms 58208 KB Output is correct
5 Correct 299 ms 58320 KB Output is correct
6 Correct 294 ms 58308 KB Output is correct
7 Correct 291 ms 58308 KB Output is correct
8 Correct 291 ms 58408 KB Output is correct
9 Correct 289 ms 58308 KB Output is correct
10 Correct 289 ms 58308 KB Output is correct
11 Runtime error 180 ms 65540 KB Execution killed with signal 9
12 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 296 ms 58280 KB Output is correct
2 Correct 289 ms 58288 KB Output is correct
3 Correct 292 ms 58436 KB Output is correct
4 Correct 294 ms 58208 KB Output is correct
5 Correct 299 ms 58320 KB Output is correct
6 Correct 294 ms 58308 KB Output is correct
7 Correct 291 ms 58308 KB Output is correct
8 Correct 291 ms 58408 KB Output is correct
9 Correct 289 ms 58308 KB Output is correct
10 Correct 289 ms 58308 KB Output is correct
11 Runtime error 405 ms 65540 KB Execution killed with signal 9
12 Halted 0 ms 0 KB -