結果

問題 No.1234 典型RMQ
ユーザー friedrice
提出日時 2025-03-31 09:30:56
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 327 ms / 2,000 ms
コード長 5,428 bytes
コンパイル時間 6,743 ms
コンパイル使用メモリ 333,468 KB
実行使用メモリ 7,324 KB
最終ジャッジ日時 2025-03-31 09:31:12
合計ジャッジ時間 16,406 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll = long long;
using ull = unsigned long long;
using mint = atcoder::modint998244353;
using maxt = atcoder::modint1000000007;
//ここからグラフ探索系
using Graph = vector<vector<int>>;
struct edge {
  int to;
  ll cost;
};
edge make_edge(int a, ll b) {
  edge ans;
  ans.to = a, ans.cost = b;
  return ans;
}
using Cost_Graph = vector<vector<edge>>;
using D_heap = priority_queue<pair<ll, int>, vector<pair<ll, int>>, greater<pair<ll, int>>>;
//グラフ探索系終わり
vector<ll> Era(int N) {
  vector<ll> ans(0, 0);
  vector<bool> isprime(N + 1, true);
  isprime[1] = false;
  for(int i = 1; i <= N; i++) {
    if(isprime[i]) {
      ans.push_back(i);
      for(int j = 2 * i; j <= N; j += i) {
        isprime[j] = false;
      }
    }
  }
  return ans;
}
ll POW(ll a, ll N) {
  if(N == 0) {
    return 1;
  }
  ll tmp = POW(a, N / 2), ans = tmp * tmp;
  if(N % 2 == 1) {
    ans *= a;
  }
  return ans;
}
ll GCD(ll a, ll b) {
  if(b == 0) {
    return a;
  }
  ll r = a % b;
  return GCD(b, r);
}
ll LCM(ll a, ll b) {
  return (a * b) / GCD(a, b);
}
vector<ll> zaatu(vector<ll> a) {
  vector<ll> b(0, 0);
  b = a;
  sort(b.begin(), b.end());
  b.erase(unique(b.begin(), b.end()), b.end());
  int s = b.size();
  for(ll &o : a) {
    int l = 0, r = s, c = 0;
    while(r - l > 1) {
      c = (l + r) / 2;
      if(b.at(c) <= o) {
        l = c;
      }
      else {
        r = c;
      }
    }
    o = r;
  }
  return a;
}
struct FenwickTree {
  int N;
  vector<ll> a;
  
  FenwickTree(int n) {
    N = n;
    a.assign(N + 1, 0);
  }
  
  void add(int i, ll x) {
    for(int j = i; j <= N; j += (j & -j)) {
      a[j] += x;
    }
  }
  
  ll sum(int i, int j) {
    return sum_sub(j) - sum_sub(i - 1);
  }
  
  ll sum_sub(int i) {
    if(i == 0) {
      return 0;
    }
    ll s = 0;
    for(int j = i; j > 0; j -= (j & -j)) {
      s += a[j];
    }
    return s;
  }
};
ll tento(vector<ll> a) {
  int s = a.size();
  FenwickTree tmp(s);
  ll ans = 0;
  for(int i = 0; i < s; i++) {
    ans += i - tmp.sum_sub(a.at(i));
    tmp.add(a.at(i), 1);
  }
  return ans;
}
ll solve_qe(ll a, ll b, ll c) {
  ll l = 0, r = (ll)1e9 + 1, mid = 0;
  while(r - l > 1) {
    mid = (l + r) / 2;
    if(a * POW(mid, 2) + b * mid + c <= 0) {
      l = mid;
    }
    else {
      r = mid;
    }
  }
  if(a * POW(l, 2) + b * l + c == 0) {
    return l;
  }
  return -1;
}
struct LazySegmentTree {
  using S = ll;//使用時に使う型を変える
  using F = int;//使用時に使う型を変える
  vector<S> data;
  vector<F> lazy;
  int N = 1;
  S e = (S)1e18;//使用時に変える
  S op(S a, S b) {
    return min(a, b);//使用時に変える
  }
  F id = (F)0;//使用時に変える
  S mapping(F f, S x) {
    return x + (S)f;//使用時に変える
  }
  F composition(F f, F g) {
    return f + g;//使用時に変える
  }

  LazySegmentTree(int n) {
    while(N < n) {
      N *= 2;
    }
    data.assign(2 * N, e), lazy.assign(2 * N, 0);//lazyは使う型によって変える
  }

  void eval(int k, int l, int r) {
    if(lazy[k] != 0) {//使う型によって変える
      data[k] = mapping(lazy[k], data[k]);
      if(r - l > 1) {
        lazy[2 * k] = composition(lazy[2 * k], lazy[k]), lazy[2 * k + 1] = composition(lazy[2 * k + 1], lazy[k]);//写像合成の仕方によって伝播量を変える
      }
      lazy[k] = 0;//使う型によって変える
    }
  }

  void update(int a, S x, int k,/* = 1 */ int l,/* = 1 */ int r/* = N + 1 */) {
    eval(k, l, r);
    if(a + N - 1 == k) {
      data[a + N - 1] = x;
      return;
    }
    if(r <= a || a < l) {
      return;
    }
    update(a, x, 2 * k, l, (l + r) / 2), update(a, x, 2 * k + 1, (l + r) / 2, r), data[k] = op(data[2 * k], data[2 * k + 1]);
  }

  void update_seg(int a, int b, F f, int k,/* = 1 */ int l,/* = 1 */ int r/* = N + 1 */) {
    eval(k, l, r);
    if(b <= l || r <= a) {
      return;
    }
    if(a <= l && r <= b) {
      lazy[k] = composition(lazy[k], f), eval(k, l, r);
    }
    else {
      update_seg(a, b, f, 2 * k, l, (l + r) / 2), update_seg(a, b, f, 2 * k + 1, (l + r) / 2, r), data[k] = op(data[2 * k], data[2 * k + 1]);
    }
  }

  S data_get(int a, int k,/* = 1 */ int l,/* = 1 */ int r/* = N + 1 */) {
    eval(k, l, r);
    if((r <= a || a < l) || r - l == 1) {
      return 0;
    }
    data_get(a, 2 * k, l, (l + r) / 2), data_get(a, 2 * k + 1, (l + r) / 2, r);
    return (k == 1 ? data[a + N - 1] : 0);
  }

  S query(int a, int b, int k,/* = 1 */ int l,/* = 1 */ int r/* = N + 1 */) {
    eval(k, l, r);
    if(b <= l || r <= a) {
      return e;
    }
    if(a <= l && r <= b) {
      return data[k];
    }
    S vl = query(a, b, 2 * k, l, (l + r) / 2), vr = query(a, b, 2 * k + 1, (l + r) / 2, r);
    return op(vl, vr);
  }
};
//メモ
//__builtin_popcount
//next_permutation
//srand((unsigned)time(NULL))
//cout << fixed << setprecision(Digit);
//A～Z=65～90,a～z=97～122,0～9=48～57
//メモ終わり
//library end

int main() {
  int N;
  cin >> N;
  LazySegmentTree A(N);
  for(int i = 1; i <= N; i++) {
    ll a;
    cin >> a, A.update(i, a, 1, 1, A.N + 1);
  }
  int Q;
  cin >> Q;
  for(int i = 0; i < Q; i++) {
    int k, l, r, c;
    cin >> k >> l >> r >> c, r++;
    if(k - 1) {
      cout << A.query(l, r, 1, 1, A.N + 1) << endl;
    }
    else {
      A.update_seg(l, r, c, 1, 1, A.N + 1);
    }
  }
}
0