Submission #234300

# Submission time Handle Problem Language Result Execution time Memory
234300 2020-05-23T23:22:06 Z xiaowuc1 Long Mansion (JOI17_long_mansion) C++14
100 / 100
1423 ms 48764 KB
#include <algorithm>
#include <bitset>
#include <cassert>
#include <chrono>
#include <cstring>
#include <iomanip>
#include <iostream>
#include <map>
#include <queue>
#include <random>
#include <set>
#include <stack>
#include <vector>

using namespace std;

// BEGIN NO SAD
#define rep(i, a, b) for(int i = a; i < (b); ++i)
#define trav(a, x) for(auto& a : x)
#define all(x) x.begin(), x.end()
#define sz(x) (int)(x).size()
typedef vector<int> vi;
// END NO SAD

typedef long long ll;
typedef pair<int, int> pii;
typedef vector<vector<ll>> matrix;

typedef pair<ll, ll> pll;

const int KOOSAGA_SZ = 1 << 19;
pii koosagatree[2 * KOOSAGA_SZ];
int connect[KOOSAGA_SZ];
vector<int> keystorooms[KOOSAGA_SZ];
bool hasinrange(int key, int lhs, int rhs) {
  auto it = lower_bound(all(keystorooms[key]), lhs);
  return it != keystorooms[key].end() && *it <= rhs;
}
int n;
pii merge(pii a, pii b) {
  return pii(min(a.first,b.first), max(a.second,b.second));
}
void upd(int idx, pii v) {
  idx += KOOSAGA_SZ;
  koosagatree[idx] = merge(koosagatree[idx], v);
  while(idx > 1) {
    idx /= 2;
    koosagatree[idx] = merge(koosagatree[2*idx], koosagatree[2*idx+1]);
  }
}
pii qry(int lhs, int rhs) {
  pii ret = {1e9, 0};
  lhs += KOOSAGA_SZ;
  rhs += KOOSAGA_SZ;
  while(lhs <= rhs) {
    if(lhs == rhs) return merge(ret, koosagatree[lhs]);
    if(lhs%2) ret = merge(ret, koosagatree[lhs++]);
    if(rhs%2==0) ret = merge(ret, koosagatree[rhs--]);
    lhs /= 2;
    rhs /= 2;
  }
  return ret;
}

void realprop() {
  for(int i = 1; i <= n; i++) {
    while(true) {
      pii val = qry(koosagatree[i+KOOSAGA_SZ].first, koosagatree[i+KOOSAGA_SZ].second);
      bool dirty = val != koosagatree[i + KOOSAGA_SZ];
      if(val.first > 1) {
        int need = connect[val.first-1];
        if(hasinrange(need, val.first, val.second)) {
          dirty = true;
          val.first--;
        }
      }
      if(val.second < n) {
        int need = connect[val.second];
        if(hasinrange(need, val.first, val.second)) {
          dirty = true;
          val.second++;
        }
      }
      if(!dirty) break;
      upd(i, val);
    }
  }
}
void prop() {
  for(int qq = 0; qq < 20; qq++) realprop();
}
void init() {
  for(int i = 0; i < KOOSAGA_SZ; i++) koosagatree[i+KOOSAGA_SZ] = {i, i};
  for(int i = KOOSAGA_SZ-1; i > 0; i--) {
    koosagatree[i] = merge(koosagatree[2*i], koosagatree[2*i+1]);
  }
}

void solve() {
  cin >> n;
  for(int i = 1; i < n; i++) cin >> connect[i];
  for(int i = 1; i <= n; i++) {
    int k;
    cin >> k;
    while(k--) {
      int key;
      cin >> key;
      keystorooms[key].push_back(i);
    }
  }
  init();
  prop();
  int q;
  cin >> q;
  while(q--) {
    int x, y;
    cin >> x >> y;
    pii ret = koosagatree[x + KOOSAGA_SZ];
    if(ret.first <= y && y <= ret.second) cout << "YES\n";
    else cout << "NO\n";
  }
}

// are there edge cases (N=1?)
// are array sizes proper (scaled by proper constant, for example 2* for koosaga tree)
// integer overflow?
// DS reset properly between test cases

int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL); cout.tie(NULL);
  solve();
}
# Verdict Execution time Memory Grader output
1 Correct 22 ms 20864 KB Output is correct
2 Correct 25 ms 20992 KB Output is correct
3 Correct 28 ms 21112 KB Output is correct
4 Correct 21 ms 21120 KB Output is correct
5 Correct 21 ms 20992 KB Output is correct
6 Correct 25 ms 20992 KB Output is correct
7 Correct 19 ms 20992 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 22 ms 20864 KB Output is correct
2 Correct 25 ms 20992 KB Output is correct
3 Correct 28 ms 21112 KB Output is correct
4 Correct 21 ms 21120 KB Output is correct
5 Correct 21 ms 20992 KB Output is correct
6 Correct 25 ms 20992 KB Output is correct
7 Correct 19 ms 20992 KB Output is correct
8 Correct 134 ms 26872 KB Output is correct
9 Correct 130 ms 26744 KB Output is correct
10 Correct 131 ms 27128 KB Output is correct
11 Correct 140 ms 27384 KB Output is correct
12 Correct 110 ms 26464 KB Output is correct
13 Correct 126 ms 27000 KB Output is correct
14 Correct 121 ms 27128 KB Output is correct
15 Correct 117 ms 27000 KB Output is correct
16 Correct 114 ms 26872 KB Output is correct
17 Correct 122 ms 27016 KB Output is correct
18 Correct 145 ms 27128 KB Output is correct
19 Correct 114 ms 27000 KB Output is correct
20 Correct 116 ms 27000 KB Output is correct
21 Correct 122 ms 26876 KB Output is correct
22 Correct 126 ms 26872 KB Output is correct
23 Correct 122 ms 26876 KB Output is correct
24 Correct 124 ms 26872 KB Output is correct
25 Correct 125 ms 26744 KB Output is correct
26 Correct 124 ms 27000 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 493 ms 25336 KB Output is correct
2 Correct 481 ms 32248 KB Output is correct
3 Correct 454 ms 32228 KB Output is correct
4 Correct 492 ms 32504 KB Output is correct
5 Correct 495 ms 32508 KB Output is correct
6 Correct 449 ms 30712 KB Output is correct
7 Correct 340 ms 30584 KB Output is correct
8 Correct 331 ms 30584 KB Output is correct
9 Correct 325 ms 30584 KB Output is correct
10 Correct 346 ms 30456 KB Output is correct
11 Correct 334 ms 30536 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 22 ms 20864 KB Output is correct
2 Correct 25 ms 20992 KB Output is correct
3 Correct 28 ms 21112 KB Output is correct
4 Correct 21 ms 21120 KB Output is correct
5 Correct 21 ms 20992 KB Output is correct
6 Correct 25 ms 20992 KB Output is correct
7 Correct 19 ms 20992 KB Output is correct
8 Correct 134 ms 26872 KB Output is correct
9 Correct 130 ms 26744 KB Output is correct
10 Correct 131 ms 27128 KB Output is correct
11 Correct 140 ms 27384 KB Output is correct
12 Correct 110 ms 26464 KB Output is correct
13 Correct 126 ms 27000 KB Output is correct
14 Correct 121 ms 27128 KB Output is correct
15 Correct 117 ms 27000 KB Output is correct
16 Correct 114 ms 26872 KB Output is correct
17 Correct 122 ms 27016 KB Output is correct
18 Correct 145 ms 27128 KB Output is correct
19 Correct 114 ms 27000 KB Output is correct
20 Correct 116 ms 27000 KB Output is correct
21 Correct 122 ms 26876 KB Output is correct
22 Correct 126 ms 26872 KB Output is correct
23 Correct 122 ms 26876 KB Output is correct
24 Correct 124 ms 26872 KB Output is correct
25 Correct 125 ms 26744 KB Output is correct
26 Correct 124 ms 27000 KB Output is correct
27 Correct 493 ms 25336 KB Output is correct
28 Correct 481 ms 32248 KB Output is correct
29 Correct 454 ms 32228 KB Output is correct
30 Correct 492 ms 32504 KB Output is correct
31 Correct 495 ms 32508 KB Output is correct
32 Correct 449 ms 30712 KB Output is correct
33 Correct 340 ms 30584 KB Output is correct
34 Correct 331 ms 30584 KB Output is correct
35 Correct 325 ms 30584 KB Output is correct
36 Correct 346 ms 30456 KB Output is correct
37 Correct 334 ms 30536 KB Output is correct
38 Correct 839 ms 38704 KB Output is correct
39 Correct 1050 ms 38904 KB Output is correct
40 Correct 711 ms 37368 KB Output is correct
41 Correct 1423 ms 36320 KB Output is correct
42 Correct 359 ms 32120 KB Output is correct
43 Correct 343 ms 32376 KB Output is correct
44 Correct 543 ms 37036 KB Output is correct
45 Correct 556 ms 37244 KB Output is correct
46 Correct 551 ms 37624 KB Output is correct
47 Correct 363 ms 32248 KB Output is correct
48 Correct 360 ms 31736 KB Output is correct
49 Correct 587 ms 36600 KB Output is correct
50 Correct 636 ms 36984 KB Output is correct
51 Correct 601 ms 38136 KB Output is correct
52 Correct 331 ms 38392 KB Output is correct
53 Correct 444 ms 43352 KB Output is correct
54 Correct 484 ms 48764 KB Output is correct
55 Correct 439 ms 43640 KB Output is correct