結果

問題 No.3094 Stapler
ユーザー nonon
提出日時 2025-04-06 16:33:34
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 285 ms / 2,000 ms
コード長 6,128 bytes
コンパイル時間 3,683 ms
コンパイル使用メモリ 282,848 KB
実行使用メモリ 31,412 KB
最終ジャッジ日時 2025-06-20 02:31:20
合計ジャッジ時間 13,684 ms
ジャッジサーバーID
(参考情報)
judge5 / judge1
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 72
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;

template<typename ActMonoid>
struct lazy_segtree {
    using S = typename ActMonoid::S;
    using F = typename ActMonoid::F;
    lazy_segtree() : lazy_segtree(0) {}
    lazy_segtree(int _n) : lazy_segtree(vector<S>(_n, ActMonoid::e())) {}
    lazy_segtree(const vector<S> &v) { init(v); }
    void set(const vector<S> &v) { init(v); }
    void set(int p, const S &x) {
        assert(0 <= p && p < n);
        p += sz;
        inner_push(p);
        d[p] = x;
        inner_update(p);
    }
    void apply(int p, const F &f) {
        assert(0 <= p && p < n);
        p += sz;
        inner_push(p);
        d[p] = ActMonoid::mapping(f, d[p]);
        inner_update(p);
    }
    void apply(int l, int r, const F &f) {
        assert(0 <= l && l <=r && r <= n);
        l += sz;
        r += sz;
        for (int i = log; i >= 1; i--) {
            if (((l >> i) << i) != l) push(l >> i);
            if (((r >> i) << i) != r) push((r - 1) >> i);
        }
        int l2 = l, r2 = r;
        while (l < r) {
            if (l & 1) all_apply(l++, f);
            if (r & 1) all_apply(--r, f);
            l >>= 1;
            r >>= 1;
        }
        l = l2, r = r2;
        for (int i = 1; i <= log; i++) {
            if (((l >> i) << i) != l) update(l >> i);
            if (((r >> i) << i) != r) update((r - 1) >> i);
        }
    }
    S get(int p) {
        assert(0 <= p && p < n);
        p += sz;
        inner_push(p);
        return d[p];
    }
    S prod(int l, int r) {
        assert(0 <= l && l <=r && r <= n);
        l += sz;
        r += sz;
        for (int i = log; i >= 1; i--) {
            if (((l >> i) << i) != l) push(l >> i);
            if (((r >> i) << i) != r) push((r - 1) >> i);
        }
        S pl = ActMonoid::e(), pr = ActMonoid::e();
        while (l < r) {
            if (l & 1) pl = ActMonoid::op(pl, d[l++]);
            if (r & 1) pr = ActMonoid::op(d[--r], pr);
            l >>= 1;
            r >>= 1;
        }
        return ActMonoid::op(pl, pr);
    }
    S all_prod() const { return d[1]; }
    template<typename C>
    int max_right(int l, const C &check, int r = -1) {
        if (r == -1) r = n;
        assert(0 <= l && l <= r && r <= n);
        assert(check(ActMonoid::e()));
        if (l == r) return l;
        l += sz;
        inner_push(l);
        S p = ActMonoid::e();
        do {
            while (!(l & 1)) l >>= 1;
            S np = ActMonoid::op(p, d[l]);
            if (!check(np)) {
                while (l < sz) {
                    l <<= 1;
                    np = ActMonoid::op(p, d[l]);
                    if (check(np)) {
                        p = np;
                        l++;
                    }
                }
                return min(r, l - sz);
            }
            p = np;
            l++;
        } while ((l & -l) != l);
        return r;
    }
    template<typename C>
    int max_right(const C &check) {
        return max_right(0, check);
    }
    template<typename C>
    int min_left(int r, const C &check, int l = -1) {
        if (l == -1) l = 0;
        assert(0 <= l && l <= r && r <= n);
        assert(check(ActMonoid::e()));
        if (l == r) return l;
        r += sz;
        inner_push(r - 1);
        S p = ActMonoid::e();
        do {
            r--;
            while (r > 1 && r & 1) r >>= 1;
            S np = ActMonoid::op(d[r], p);
            if (!check(np)) {
                while (r < sz) {
                    push(r);
                    (r <<= 1)++;
                    np = ActMonoid::op(d[r], p);
                    if (check(np)) {
                        p = np;
                        r--;
                    }
                }
                return max(l, r + 1 - sz);
            }
            p = np;
        } while ((r & -r) != r);
        return l;
    }
    template<typename C>
    int min_left(const C &check) {
        return min_left(n, check);
    }
private:
    int n, log, sz;
    vector<S> d;
    vector<F> lz;
    void init(const vector<S> &v) {
        n = v.size();
        log = 1;
        while ((1 << log) < n) log++;
        sz = 1 << log;
        d = vector<S>(2 * sz, ActMonoid::e());
        lz = vector<F>(sz, ActMonoid::id());
        for (int i = 0; i < n; i++) d[i + sz] = v[i];
        for (int i = sz - 1; i >= 1; i--) update(i);
    }
    void update(int p) {
        d[p] = ActMonoid::op(d[2 * p], d[2 * p + 1]);
    }
    void all_apply(int p, const F &f) {
        d[p] = ActMonoid::mapping(f, d[p]);
        if (p < sz) lz[p] = ActMonoid::comp(f, lz[p]);
    }
    void push(int p) {
        all_apply(2 * p, lz[p]);
        all_apply(2 * p + 1, lz[p]);
        lz[p] = ActMonoid::id();
    }
    void inner_update(int p) {
        for (int i = 1; i <= log; i++) update(p >> i);
    }
    void inner_push(int p) {
        for (int i = log; i >= 1; i--) push(p >> i);
    }
};

struct M {
    using S = pair<int, int>;
    static S op(S a, S b) {
        if (a.first == b.first) {
            return {a.first, a.second + b.second};
        }
        return min(a, b);
    }
    static S e() {
        return {1 << 30, 0};
    }
    using F = int;
    static F comp(F f, F g) {
        return f + g;
    }
    static F id() {
        return 0;
    }
    static S mapping(F f, S x) {
        x.first += f;
        return x;
    }
};

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int N, Q;
    cin >> N >> Q;
    lazy_segtree<M> seg(N - 1);
    for (int i = 0; i < N - 1; i++) {
        seg.set(i, {0, 1});
    }
    vector<int> L(Q), R(Q);
    for (int i = 0; i < Q; i++) {
        int t;
        cin >> t;
        if (t == 1) {
            cin >> L[i] >> R[i];
            L[i]--, R[i]--;
            seg.apply(L[i], R[i], 1);
        } else if (t == 2) {
            int q;
            cin >> q;
            q--;
            seg.apply(L[q], R[q], -1);
        } else {
            auto [v, c] = seg.all_prod();
            if (v != 0) {
                cout << 1 << '\n';
            } else {
                cout << 1 + c << '\n';
            }
        }
    }
}
0