Submission #750151

# Submission time Handle Problem Language Result Execution time Memory
750151 2023-05-29T07:14:28 Z GrindMachine Long Mansion (JOI17_long_mansion) C++17
100 / 100
822 ms 146196 KB
// Om Namah Shivaya
 
#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) 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(x) 42
#endif
 
/*
 
refs:
https://codeforces.com/blog/entry/51010
 
*/
 
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; cin >> n;
    vector<int> c(n+5);
    rep1(i,n-1) cin >> c[i];
    
    vector<int> a[n+5];
    rep1(i,n){
        int k; cin >> k;
        rep1(j,k){
            ll x; cin >> x;
            a[i].pb(x);
        }
    }    
 
    // find left_pos and right_pos
    vector<int> left_pos(n+5), right_pos(n+5);
    vector<int> pos(n+5);
 
    rep1(i,n){
        trav(x,a[i]){
            pos[x] = i;
        }
 
        left_pos[i] = pos[c[i]];
    }
 
    fill(all(pos),n+1);
 
    rev(i,n,1){
        trav(x,a[i]){
            pos[x] = i;
        }
 
        right_pos[i] = pos[c[i-1]];
    }
    
    // find max unextendable range for every l
    vector<int> left_here[n+5];
    rep1(i,n) left_here[left_pos[i]].pb(i);

    vector<int> mxbad(n+5);
    set<int> st;

    rep1(l,n){
        trav(i,left_here[l-1]){
            st.insert(i);
        }

        // l <= r <= rx, r is max possible
        int rx = right_pos[l]-1;
        auto it = st.upper_bound(rx);
        if(it != st.begin()){
            it--;
            int r = *it;
            if(r >= l){
                mxbad[l] = r;
            }
        }
    }

    // for every i, find the closest to left l with mxbad[l] >= i
    vector<int> mxbad_here[n+5];
    rep1(i,n) mxbad_here[mxbad[i]].pb(i);
    st.clear();

    vector<int> closestl(n+5);

    rev(i,n,1){
        trav(l,mxbad_here[i]){
            st.insert(l);
        }

        // find max l <= i in set
        auto it = st.upper_bound(i);
        assert(it != st.begin());

        it--;
        int l = *it;
        closestl[i] = l;
    }

    // for every i, find smallest r s.t r >= i and range [closestl[i],r] is bad
    vector<int> closestl_here[n+5];
    rep1(i,n) closestl_here[closestl[i]].pb(i);

    vector<pii> range(n+5);
    st.clear();

    rep1(l,n){
        trav(i,left_here[l-1]){
            st.insert(i);
        }

        trav(i,closestl_here[l]){
            // find smallest r >= i
            auto it = st.lower_bound(i);
            assert(it != st.end());

            int r = *it;
            range[i] = {l,r};
        }
    }

    int q; cin >> q;
 
    while(q--){
        // can go from x to y if y is in the reachable range of x
        int x,y; cin >> x >> y;
        auto [l,r] = range[x];
        if(l <= y and y <= r){
            yes;
        }
        else{
            no;
        }
    }

    /*

    vector<pii> ranges;
    
    rep1(l,n){
        // find all r s.t [l,r] is unextendable
        for(int r = l; r < right_pos[l]; ++r){
            if(left_pos[r] < l){
                ranges.pb({l,r});
            }
        }
    }
    
    vector<pii> range(n+5,{-inf1,inf1});
 
    for(auto [l,r] : ranges){
        for(int i = l; i <= r; ++i){
            if(l > range[i].ff){
                range[i] = {l,r};
            }
        }        
    }
 
    int q; cin >> q;
 
    while(q--){
        int x,y; cin >> x >> y;
        auto [l,r] = range[x];
        if(l <= y and y <= r){
            yes;
        }
        else{
            no;
        }
    }

    */
}
 
int main()
{
    fastio;
 
    int t = 1;
    // cin >> t;
 
    rep1(i, t) {
        solve(i);
    }
 
    return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 3 ms 852 KB Output is correct
2 Correct 4 ms 1108 KB Output is correct
3 Correct 5 ms 1620 KB Output is correct
4 Correct 3 ms 852 KB Output is correct
5 Correct 3 ms 852 KB Output is correct
6 Correct 3 ms 792 KB Output is correct
7 Correct 3 ms 904 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 3 ms 852 KB Output is correct
2 Correct 4 ms 1108 KB Output is correct
3 Correct 5 ms 1620 KB Output is correct
4 Correct 3 ms 852 KB Output is correct
5 Correct 3 ms 852 KB Output is correct
6 Correct 3 ms 792 KB Output is correct
7 Correct 3 ms 904 KB Output is correct
8 Correct 92 ms 6724 KB Output is correct
9 Correct 94 ms 6604 KB Output is correct
10 Correct 99 ms 7208 KB Output is correct
11 Correct 99 ms 8008 KB Output is correct
12 Correct 89 ms 6096 KB Output is correct
13 Correct 95 ms 6856 KB Output is correct
14 Correct 92 ms 6832 KB Output is correct
15 Correct 92 ms 6788 KB Output is correct
16 Correct 93 ms 6636 KB Output is correct
17 Correct 91 ms 6988 KB Output is correct
18 Correct 95 ms 6892 KB Output is correct
19 Correct 101 ms 6836 KB Output is correct
20 Correct 106 ms 6880 KB Output is correct
21 Correct 109 ms 6660 KB Output is correct
22 Correct 99 ms 6772 KB Output is correct
23 Correct 100 ms 6604 KB Output is correct
24 Correct 95 ms 6632 KB Output is correct
25 Correct 94 ms 6592 KB Output is correct
26 Correct 93 ms 6632 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 236 ms 35900 KB Output is correct
2 Correct 233 ms 35400 KB Output is correct
3 Correct 221 ms 34752 KB Output is correct
4 Correct 223 ms 35752 KB Output is correct
5 Correct 226 ms 35656 KB Output is correct
6 Correct 182 ms 32976 KB Output is correct
7 Correct 180 ms 32572 KB Output is correct
8 Correct 177 ms 32632 KB Output is correct
9 Correct 180 ms 32592 KB Output is correct
10 Correct 174 ms 32708 KB Output is correct
11 Correct 180 ms 32688 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 3 ms 852 KB Output is correct
2 Correct 4 ms 1108 KB Output is correct
3 Correct 5 ms 1620 KB Output is correct
4 Correct 3 ms 852 KB Output is correct
5 Correct 3 ms 852 KB Output is correct
6 Correct 3 ms 792 KB Output is correct
7 Correct 3 ms 904 KB Output is correct
8 Correct 92 ms 6724 KB Output is correct
9 Correct 94 ms 6604 KB Output is correct
10 Correct 99 ms 7208 KB Output is correct
11 Correct 99 ms 8008 KB Output is correct
12 Correct 89 ms 6096 KB Output is correct
13 Correct 95 ms 6856 KB Output is correct
14 Correct 92 ms 6832 KB Output is correct
15 Correct 92 ms 6788 KB Output is correct
16 Correct 93 ms 6636 KB Output is correct
17 Correct 91 ms 6988 KB Output is correct
18 Correct 95 ms 6892 KB Output is correct
19 Correct 101 ms 6836 KB Output is correct
20 Correct 106 ms 6880 KB Output is correct
21 Correct 109 ms 6660 KB Output is correct
22 Correct 99 ms 6772 KB Output is correct
23 Correct 100 ms 6604 KB Output is correct
24 Correct 95 ms 6632 KB Output is correct
25 Correct 94 ms 6592 KB Output is correct
26 Correct 93 ms 6632 KB Output is correct
27 Correct 236 ms 35900 KB Output is correct
28 Correct 233 ms 35400 KB Output is correct
29 Correct 221 ms 34752 KB Output is correct
30 Correct 223 ms 35752 KB Output is correct
31 Correct 226 ms 35656 KB Output is correct
32 Correct 182 ms 32976 KB Output is correct
33 Correct 180 ms 32572 KB Output is correct
34 Correct 177 ms 32632 KB Output is correct
35 Correct 180 ms 32592 KB Output is correct
36 Correct 174 ms 32708 KB Output is correct
37 Correct 180 ms 32688 KB Output is correct
38 Correct 762 ms 119828 KB Output is correct
39 Correct 822 ms 146196 KB Output is correct
40 Correct 552 ms 92396 KB Output is correct
41 Correct 556 ms 136012 KB Output is correct
42 Correct 211 ms 33848 KB Output is correct
43 Correct 193 ms 33940 KB Output is correct
44 Correct 299 ms 60880 KB Output is correct
45 Correct 291 ms 61056 KB Output is correct
46 Correct 291 ms 61240 KB Output is correct
47 Correct 184 ms 33988 KB Output is correct
48 Correct 182 ms 33796 KB Output is correct
49 Correct 287 ms 60992 KB Output is correct
50 Correct 283 ms 61116 KB Output is correct
51 Correct 299 ms 61500 KB Output is correct
52 Correct 336 ms 62024 KB Output is correct
53 Correct 459 ms 89156 KB Output is correct
54 Correct 605 ms 116604 KB Output is correct
55 Correct 486 ms 89344 KB Output is correct