結果

問題 No.876 Range Compress Query
ユーザー 👑 NachiaNachia
提出日時 2020-09-27 14:18:04
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 299 ms / 2,000 ms
コード長 3,132 bytes
コンパイル時間 1,958 ms
コンパイル使用メモリ 173,912 KB
実行使用メモリ 15,948 KB
最終ジャッジ日時 2024-06-30 12:01:45
合計ジャッジ時間 5,991 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 3 ms
5,248 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 3 ms
5,376 KB
testcase_04 AC 3 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 3 ms
5,376 KB
testcase_07 AC 4 ms
5,376 KB
testcase_08 AC 3 ms
5,376 KB
testcase_09 AC 3 ms
5,376 KB
testcase_10 AC 3 ms
5,376 KB
testcase_11 AC 289 ms
15,104 KB
testcase_12 AC 229 ms
14,464 KB
testcase_13 AC 236 ms
14,940 KB
testcase_14 AC 282 ms
14,944 KB
testcase_15 AC 205 ms
15,488 KB
testcase_16 AC 280 ms
15,840 KB
testcase_17 AC 284 ms
15,948 KB
testcase_18 AC 299 ms
15,740 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
using LL = long long;
using ULL = unsigned long long;
#define rep(i,n) for(int i=0; i<(n); i++)

template<
    class S,
    S(*op)(S a, S b),
    S(*e)(),
    class F,
    S(*mapping)(F a, S b),
    F(*composition)(F a, F b),
    F(*id)()
>
struct lazy_segtree {
private:
    struct Node { S v; F r; };
    int N;
    vector<Node> V;

    void spread(int i) {
        V[i].v = mapping(V[i].r, V[i].v);
        if (i < N) {
            V[i * 2].r = composition(V[i].r, V[i * 2].r);
            V[i * 2 + 1].r = composition(V[i].r, V[i * 2 + 1].r);
        }
        V[i].r = id();
    }
public:

    lazy_segtree(int n) {
        N = 1; while (N < n) N *= 2;
        V.assign(N * 2, { e(),id() });
    }
    lazy_segtree(vector<S> A) {
        N = 1; while (N < A.size()) N *= 2;
        V.assign(N * 2, { e(),id() });
        rep(i, A.size()) V[N + i].v = A[i];
        for (int i = N - 1; i >= 1; i--)
            V[i].v = op(V[i * 2].v, V[i * 2 + 1].v);
    }

    void set(int p, S v) {
        p += N;
        for (int d = N; d >= 1; d /= 2) spread(p / d);
        V[p].v = v;
        int z = 1;
        while (p != 1) {
            p /= 2; z *= 2;
            spread(p * 2); spread(p * 2 + 1);
            V[p].v = op(V[p * 2].v, V[p * 2 + 1].v);
        }
    }
    S get(int p) {
        p += N;
        for (int d = N; d >= 1; d /= 2) spread(p / d);
        return V[p].v;
    }

    void apply(int l, int r, F v, int a = 0, int b = 0, int i = -1) {
        if (i == -1) { a = 0; b = N; i = 1; }
        if (r <= a || b <= l) { spread(i); return; }
        else if (l <= a && b <= r) { V[i].r = composition(v, V[i].r); spread(i); return; }
        spread(i);
        apply(l, r, v, a, (a + b) / 2, i * 2);
        apply(l, r, v, (a + b) / 2, b, i * 2 + 1);
        V[i].v = op(V[i * 2].v, V[i * 2 + 1].v);
    }

    S prod(int l, int r, int a = 0, int b = 0, int i = -1) {
        if (i == -1) { a = 0; b = N; i = 1; }
        if (r <= a || b <= l) return e();
        spread(i);
        if (l <= a && b <= r) return V[i].v;
        S q1 = prod(l, r, a, (a + b) / 2, i * 2);
        S q2 = prod(l, r, (a + b) / 2, b, i * 2 + 1);
        q1 = op(q1, q2);
        return q1;
    }
};

const int INF = 1000000000;
struct S { LL l, r, x; };
S op(S a, S b) {
    if (a.l == -1) return b;
    if (b.r == -1) return a;
    if (a.r != b.l) return { a.l,b.r,a.x + b.x + 1 }; return { a.l,b.r,a.x + b.x };
}
S e() { return { -1,-1,0 }; }
struct F { LL x; };
S mapping(F a, S b) { b.l += a.x; b.r += a.x; return b; }
F composition(F a, F b) { b.x += a.x; return b; }
F id() { return { 0 }; }

using RQ = lazy_segtree<S, op, e, F, mapping, composition, id>;


int main() {
    int N, Q; cin >> N >> Q;
    vector<S> A(N); rep(i, N) { int a; cin >> a; A[i] = { a,a,0 }; }
    RQ G(A);

    while (Q--) {
        int c; cin >> c;
        if (c == 1) {
            int l, r, x; cin >> l >> r >> x; l--;
            G.apply(l, r, { x });
        }
        if (c == 2) {
            int l, r; cin >> l >> r; l--;
            cout << (G.prod(l, r).x + 1) << endl;
        }
    }

    return 0;
}
0