結果

問題 No.2643 Many Range Sums Problems
ユーザー SSRSSSRS
提出日時 2024-02-19 23:15:04
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 120 ms / 8,000 ms
コード長 2,472 bytes
コンパイル時間 2,412 ms
コンパイル使用メモリ 219,024 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-09-29 02:56:33
合計ジャッジ時間 4,289 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,820 KB
testcase_01 AC 2 ms
6,820 KB
testcase_02 AC 2 ms
6,816 KB
testcase_03 AC 13 ms
6,816 KB
testcase_04 AC 12 ms
6,816 KB
testcase_05 AC 11 ms
6,820 KB
testcase_06 AC 14 ms
6,820 KB
testcase_07 AC 13 ms
6,816 KB
testcase_08 AC 12 ms
6,820 KB
testcase_09 AC 12 ms
6,816 KB
testcase_10 AC 10 ms
6,816 KB
testcase_11 AC 9 ms
6,820 KB
testcase_12 AC 82 ms
6,816 KB
testcase_13 AC 31 ms
6,816 KB
testcase_14 AC 13 ms
6,820 KB
testcase_15 AC 13 ms
6,820 KB
testcase_16 AC 12 ms
6,816 KB
testcase_17 AC 12 ms
6,816 KB
testcase_18 AC 26 ms
6,816 KB
testcase_19 AC 6 ms
6,820 KB
testcase_20 AC 7 ms
6,816 KB
testcase_21 AC 4 ms
6,820 KB
testcase_22 AC 11 ms
6,820 KB
testcase_23 AC 18 ms
6,820 KB
testcase_24 AC 29 ms
6,816 KB
testcase_25 AC 27 ms
6,820 KB
testcase_26 AC 6 ms
6,816 KB
testcase_27 AC 6 ms
6,816 KB
testcase_28 AC 1 ms
6,820 KB
testcase_29 AC 2 ms
6,820 KB
testcase_30 AC 12 ms
6,816 KB
testcase_31 AC 13 ms
6,820 KB
testcase_32 AC 116 ms
6,816 KB
testcase_33 AC 120 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
const int LOG = 13;
const long long INF = 1000000000000000000;
int main(){
  int N, K;
  cin >> N >> K;
  vector<int> R(N);
  vector<long long> X(N);
  for (int i = 0; i < N; i++){
    cin >> R[i] >> X[i];
  }
  vector<vector<pair<long long, int>>> E(N + 1);
  for (int i = 0; i < N; i++){
    E[i].push_back(make_pair(X[i], R[i]));
    E[R[i]].push_back(make_pair(-X[i], i));
  }
  vector<int> d(N + 1, 0);
  vector<long long> s(N + 1, 0);
  for (int i = N - 1; i >= 0; i--){
    d[i] = d[R[i]] + 1;
    s[i] = s[R[i]] + X[i];
  }
  vector<vector<int>> pp(LOG, vector<int>(N + 1, -1));
  vector<vector<long long>> sum(LOG, vector<long long>(N + 1, 0));
  for (int i = 0; i < N; i++){
    pp[0][i] = R[i];
    sum[0][i] = X[i];
  }
  for (int i = 0; i < LOG - 1; i++){
    for (int j = 0; j <= N; j++){
      if (pp[i][j] != -1){
        pp[i + 1][j] = pp[i][pp[i][j]];
        sum[i + 1][j] = sum[i][j] + sum[i][pp[i][j]];
      }
    }
  }
  auto lca = [&](int u, int v){
    if (d[u] > d[v]){
      swap(u, v);
    }
    for (int i = LOG - 1; i >= 0; i--){
      if (((d[v] - d[u]) >> i & 1) == 1){
        v = pp[i][v];
      }
    }
    if (u == v){
      return u;
    }
    for (int i = LOG - 1; i >= 0; i--){
      if (pp[i][u] != pp[i][v]){
        u = pp[i][u];
        v = pp[i][v];
      }
    }
    return R[u];
  };
  vector<bool> ok(N, true);
  vector<long long> mn(N, -INF), mx(N, INF);
  for (int i = 0; i < N; i++){
    int w = lca(i, i + 1);
    if (s[i] - s[i + 1] < 0 || s[i] - s[i + 1] > K){
      vector<bool> is_on_path(N, false);
      int u = i, v = i + 1;
      while (u != v){
        if (d[u] > d[v]){
          is_on_path[u] = true;
          u = R[u];
        } else {
          is_on_path[v] = true;
          v = R[v];
        }
      }
      for (int j = 0; j < N; j++){
        if (!is_on_path[j]){
          ok[j] = false;
        }
      }
    }
    int u = i, v = i + 1;
    while (u != v){
      if (d[u] > d[v]){
        mn[u] = max(mn[u], -s[i] + s[i + 1]);
        mx[u] = min(mx[u], -s[i] + s[i + 1] + K);
        u = R[u];
      } else {
        mn[v] = max(mn[v], s[i] - s[i + 1] - K);
        mx[v] = min(mx[v], s[i] - s[i + 1]);
        v = R[v];
      }
    }
  }
  for (int i = 0; i < N; i++){
    if (mn[i] > mx[i]){
      ok[i] = false;
    }
  }
  for (int i = 0; i < N; i++){
    if (ok[i]){
      cout << "Yes" << endl;
    } else {
      cout << "No" << endl;
    }
  }
}
0