結果

問題 No.1234 典型RMQ
ユーザー daddydaddy
提出日時 2022-12-08 21:51:54
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 339 ms / 2,000 ms
コード長 4,417 bytes
コンパイル時間 1,867 ms
コンパイル使用メモリ 171,960 KB
実行使用メモリ 7,424 KB
最終ジャッジ日時 2024-04-22 18:31:46
合計ジャッジ時間 11,260 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 323 ms
7,296 KB
testcase_07 AC 256 ms
5,376 KB
testcase_08 AC 329 ms
7,296 KB
testcase_09 AC 300 ms
5,504 KB
testcase_10 AC 323 ms
7,296 KB
testcase_11 AC 311 ms
7,424 KB
testcase_12 AC 291 ms
5,376 KB
testcase_13 AC 256 ms
5,376 KB
testcase_14 AC 291 ms
5,376 KB
testcase_15 AC 282 ms
5,376 KB
testcase_16 AC 321 ms
7,296 KB
testcase_17 AC 287 ms
5,504 KB
testcase_18 AC 243 ms
5,376 KB
testcase_19 AC 339 ms
7,296 KB
testcase_20 AC 244 ms
7,424 KB
testcase_21 AC 315 ms
7,296 KB
testcase_22 AC 259 ms
7,424 KB
testcase_23 AC 261 ms
7,296 KB
testcase_24 AC 258 ms
7,296 KB
testcase_25 AC 261 ms
7,296 KB
testcase_26 AC 260 ms
7,296 KB
testcase_27 AC 2 ms
5,376 KB
testcase_28 AC 2 ms
5,376 KB
testcase_29 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC optimization ("O3")

#include <bits/stdc++.h>

using namespace std;

using ll = long long;
using vec = vector<ll>;
using mat = vector<vec>;
using pll = pair<ll,ll>;

#define INF (1LL<<61)
#define MOD 1000000007LL 
// #define MOD 998244353LL
#define EPS (1e-10)

#define PR(x) cout << (x) << endl
#define PS(x) cout << (x) << " "
#define REP(i,m,n) for(ll (i)=(m),(i_len)=(n);(i)<(i_len);++(i))
#define FORE(i,v) for(auto (i):v)
#define ALL(x) (x).begin(), (x).end()
#define SZ(x) ((ll)(x).size())
#define REV(x) reverse(ALL((x)))
#define ASC(x) sort(ALL((x)))
#define DESC(x) {ASC((x)); REV((x));}
#define BIT(s,i) (((s)>>(i))&1)
#define pb push_back
#define fi first
#define se second

template<class T> inline int chmin(T& a, T b) {if(a>b) {a=b; return 1;} return 0;}
template<class T> inline int chmax(T& a, T b) {if(a<b) {a=b; return 1;} return 0;}
class mint {
public:
    ll x;
    mint(ll x=0) : x((x%MOD+MOD)%MOD) {}
    mint operator-() const {return mint(-x);}
    mint& operator+=(const mint& a) {if((x+=a.x)>=MOD) x-=MOD; return *this;}
    mint& operator-=(const mint& a) {if((x+=MOD-a.x)>=MOD) x-=MOD; return *this;}
    mint& operator*=(const mint& a) {(x*=a.x)%=MOD; return *this;}
    mint operator+(const mint& a) const {mint b(*this); return b+=a;}
    mint operator-(const mint& a) const {mint b(*this); return b-=a;}
    mint operator*(const mint& a) const {mint b(*this); return b*=a;}
    mint pow(ll t) const {if(!t) return 1; mint a=pow(t>>1); return (t&1?*this*a:a)*a;}
    mint inv() const {return pow(MOD-2);}
    mint& operator/=(const mint& a) {return *this*=a.inv();}
    mint operator/(const mint& a) const {mint b(*this); return b/=a;}
};
istream &operator>>(istream& is, mint& a) {ll t; is>>t; a=t; return is;}
ostream &operator<<(ostream& os, const mint& a) {return os<<a.x;}

template <typename X, typename M> struct LazySegmentTree {    
    
    using FX = function<X(X, X)>;
    using FA = function<X(X, M)>;
    using FM = function<M(M, M)>;
 
    int n;
    // (1) f[m](x1*x2) = f[m](x1)*f[m](x2)
    // (2) f[m2](f[m1](x)) = (f[m2]@f[m1])(x)
    FX fx; // x1*x2
    FA fa; // f[m](x)
    FM fm; // f[m2]@f[m1]
    const X ex; // e
    const M em; // id
    vector<X> dat;
    vector<M> lazy;
    
    LazySegmentTree(int n_, FX fx_, FA fa_, FM fm_, X ex_, M em_)
        : n(), fx(fx_), fa(fa_), fm(fm_), ex(ex_), em(em_) {
        int x = 1;
        while(n_ > x) x *= 2;
        n = x;
        dat = vector<X>(n*2, ex);
        lazy = vector<M>(n*2, em);
    }

    void set(int i, X x) {
        dat[i+n-1] = x;
    }
    
    void build() {
        for (int k=n-2; k>=0; k--) dat[k] = fx(dat[k*2+1], dat[k*2+2]);
    }

    void eval(int k) {
        if(lazy[k] == em) return;
        if(k < n-1) {
            lazy[k*2+1] = fm(lazy[k*2+1], lazy[k]);
            lazy[k*2+2] = fm(lazy[k*2+2], lazy[k]);
        }
        dat[k] = fa(dat[k], lazy[k]);
        lazy[k] = em;
    }
    
    void update_sub(int a, int b, M m, int k, int l, int r) {
        eval(k);
        if(a <= l && r <= b) {
            lazy[k] = fm(lazy[k], m);
            eval(k);
        }
        else if(a < r && l < b) {
            update_sub(a, b, m, k*2+1, l, (l+r)/2);
            update_sub(a, b, m, k*2+2, (l+r)/2, r);
            dat[k] = fx(dat[k*2+1], dat[k*2+2]);
        }
    }

    void update(int a, int b, M m) {
        update_sub(a, b, m, 0, 0, n);
    }

    X output_sub(int a, int b, int k, int l, int r) {
        eval(k);
        if(r <= a || b <= l) return ex;
        else if(a <= l && r <= b) return dat[k];
        else {
            X vl = output_sub(a, b, k*2+1, l, (l+r)/2);
            X vr = output_sub(a, b, k*2+2, (l+r)/2, r);
            return fx(vl, vr);
        }
    }

    X output(int a, int b) {
        return output_sub(a, b, 0, 0, n);
    }

};

int main()
{
    ll N;
    cin >> N;
    
    ll ex = INF;
    ll em = 0;
    auto fx = [](ll l, ll r) -> ll {return min(l, r);};
    auto fa = [](ll s, ll f) -> ll {return s+f;};
    auto fm = [](ll f, ll g) -> ll {return f+g;};
    LazySegmentTree<ll,ll> lst(N+1, fx, fa, fm, ex, em);

    REP(i,1,N+1) {
        ll a;
        cin >> a;
        lst.set(i, a);
    }
    lst.build();

    ll Q;
    cin >> Q;
    while(Q--) {
        ll k, l, r, c;
        cin >> k >> l >> r >> c;
        if(k == 1) lst.update(l, r+1, c);
        else PR(lst.output(l,r+1));
    }

    return 0;
}

/*



*/
0