Submission #825617

# Submission time Handle Problem Language Result Execution time Memory
825617 2023-08-15T06:26:19 Z Koyote Sterilizing Spray (JOI15_sterilizing) C++14
100 / 100
374 ms 48004 KB
#include <bits/stdc++.h>
using namespace std;

template <class S, S (*op)(S, S), S (*e)(),
          class F, S (*mapping)(F, S), F (*composition)(F, F), F (*id)()>
struct lazy_segtree {
  public:
    lazy_segtree() : lazy_segtree(0) {}
    lazy_segtree(int n) : lazy_segtree(std::vector<S>(n, e())) {}
    lazy_segtree(const std::vector<S>& v) : _n(int(v.size())) {
        log = lazy_segtree<S, op, e, F, mapping, composition, id>::ceil_pow2(_n);
        size = 1 << log;
        d = std::vector<S>(2 * size, e());
        lz = std::vector<F>(size, id());
        for (int i = 0; i < _n; i++) d[size + i] = v[i];
        for (int i = size - 1; i >= 1; i--) update(i);
    }

    void set(int p, S x) {
        assert(0 <= p && p < _n);
        p += size;
        for (int i = log; i >= 1; i--) push(p >> i);
        d[p] = x;
        for (int i = 1; i <= log; i++) update(p >> i);
    }

    S get(int p) {
        assert(0 <= p && p < _n);
        p += size;
        for (int i = log; i >= 1; i--) push(p >> i);
        return d[p];
    }

    S prod(int l, int r) {
        assert(0 <= l && l <= r && r <= _n);
        if (l == r) return e();

        l += size, r += size;
        for (int i = log; i >= 1; i--) {
            if (((l >> i) << i) != l) push(l >> i);
            if (((r >> i) << i) != r) push(r >> i);
        }

        S sml = e(), smr = e();
        while (l < r) {
            if (l & 1) sml = op(sml, d[l++]);
            if (r & 1) smr = op(d[--r], smr);
            l >>= 1, r >>= 1;
        }

        return op(sml, smr);
    }

    S all_prod() { return d[1]; }

    void apply(int p, F f) {
        assert(0 <= p && p < _n);
        p += size;
        for (int i = log; i >= 1; i--) push(p >> i);
        d[p] = mapping(f, d[p]);
        for (int i = 1; i <= log; i++) update(p >> i);
    }
    void apply(int l, int r, F f) {
        assert(0 <= l && l <= r && r <= _n);
        if (l == r) return;

        l += size, r += size;
        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);
        }
    }

  private:
    static int ceil_pow2(int n) {
        int x = 0;
        while ((1U << x) < (unsigned int)(n)) x++;
        return x;
    }
    int _n, size, log;
    std::vector<S> d;
    std::vector<F> lz;

    void update(int k) { d[k] = op(d[2 * k], d[2 * k + 1]); }
    void all_apply(int k, F f) {
        d[k] = mapping(f, d[k]);
        if (k < size) lz[k] = composition(f, lz[k]);
    }
    void push(int k) {
        all_apply(2 * k, lz[k]);
        all_apply(2 * k + 1, lz[k]);
        lz[k] = id();
    }
};

using S1 = int64_t;
struct F1 {};
S1 op1(S1 x, S1 y) { return x + y; }
S1 e1() { return 0LL; }
S1 mapping1(F1 f, S1 x) { (void)f; return x; }
F1 composition1(F1 f, F1 g) { (void)g; return f; }
F1 id1() { return F1{}; }

const int BASE_LENGTH = 33;
typedef array<int, BASE_LENGTH> int_baseK;
int K;

int64_t to_ll(const int_baseK &x) {
    int64_t res = 0;
    for (int i = BASE_LENGTH - 1; i >= 0; i--)
        res = res * K + x[i];
    return res;
}

int_baseK to_baseK(int64_t x) {
    int i = 0;
    int_baseK res{};
    while (x) res[i++] = x % K, x /= K;
    return res;
}

using S2 = int_baseK;
struct F2 { int c; };
S2 op2(S2 x, S2 y) {
    S2 res{};
    for (int i = 0; i < BASE_LENGTH; i++) res[i] = x[i] + y[i];
    return res;
}
S2 e2() { return int_baseK{}; }
S2 mapping2(F2 f, S2 x) { 
    S2 res{};
    for (int i = 0; i + f.c < BASE_LENGTH; i++) res[i] = x[i + f.c];
    return res;
}
F2 composition2(F2 f, F2 g) { return F2{f.c + g.c}; }
F2 id2() { return F2{0}; }

int main() {
    cin.tie(nullptr)->sync_with_stdio(false);
    int n, q; cin >> n >> q >> K;
    if (K == 1) {
        vector<S1> c(n); for (auto &i : c) cin >> i;
        lazy_segtree<S1, op1, e1, F1, mapping1, composition1, id1> segtree(c);
        while (q--) {
            int s, t, u; cin >> s >> t >> u; --t;
            if (s == 1) segtree.set(t, u);
            if (s == 3) cout << segtree.prod(t, u) << '\n';
        }
        return 0;
    }
    vector<S2> c(n);
    for (auto &it : c) {
        int64_t x; cin >> x;
        it = to_baseK(x);
    }
    lazy_segtree<S2, op2, e2, F2, mapping2, composition2, id2> segtree(c);
    while (q--) {
        int s, t, u; cin >> s >> t >> u; --t;
        if (s == 1) segtree.set(t, to_baseK(u));
        if (s == 2) segtree.apply(t, u, F2{1});
        if (s == 3) cout << to_ll(segtree.prod(t, u)) << '\n';
    }
}
# Verdict Execution time Memory Grader output
1 Correct 4 ms 340 KB Output is correct
2 Correct 1 ms 340 KB Output is correct
3 Correct 1 ms 980 KB Output is correct
4 Correct 6 ms 980 KB Output is correct
5 Correct 7 ms 1748 KB Output is correct
6 Correct 7 ms 1808 KB Output is correct
7 Correct 8 ms 1748 KB Output is correct
8 Correct 8 ms 1800 KB Output is correct
9 Correct 8 ms 1748 KB Output is correct
10 Correct 7 ms 1804 KB Output is correct
11 Correct 7 ms 1748 KB Output is correct
12 Correct 7 ms 1748 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 28 ms 2144 KB Output is correct
2 Correct 24 ms 1920 KB Output is correct
3 Correct 22 ms 3236 KB Output is correct
4 Correct 28 ms 3452 KB Output is correct
5 Correct 32 ms 3660 KB Output is correct
6 Correct 34 ms 3540 KB Output is correct
7 Correct 32 ms 3544 KB Output is correct
8 Correct 33 ms 3544 KB Output is correct
9 Correct 30 ms 3564 KB Output is correct
10 Correct 31 ms 3784 KB Output is correct
11 Correct 30 ms 3664 KB Output is correct
12 Correct 31 ms 3556 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 83 ms 3320 KB Output is correct
2 Correct 56 ms 23280 KB Output is correct
3 Correct 81 ms 23312 KB Output is correct
4 Correct 242 ms 12252 KB Output is correct
5 Correct 330 ms 47672 KB Output is correct
6 Correct 365 ms 47664 KB Output is correct
7 Correct 28 ms 3328 KB Output is correct
8 Correct 325 ms 47652 KB Output is correct
9 Correct 326 ms 47692 KB Output is correct
10 Correct 323 ms 47672 KB Output is correct
11 Correct 319 ms 47608 KB Output is correct
12 Correct 316 ms 47772 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 210 ms 24280 KB Output is correct
2 Correct 238 ms 24368 KB Output is correct
3 Correct 148 ms 23372 KB Output is correct
4 Correct 239 ms 13344 KB Output is correct
5 Correct 348 ms 47820 KB Output is correct
6 Correct 334 ms 47860 KB Output is correct
7 Correct 347 ms 47860 KB Output is correct
8 Correct 355 ms 47920 KB Output is correct
9 Correct 374 ms 48004 KB Output is correct
10 Correct 340 ms 47868 KB Output is correct
11 Correct 332 ms 47876 KB Output is correct
12 Correct 351 ms 47848 KB Output is correct