test/aoj/dsl/rsq_ruq.test.cpp

• View this file on GitHub
• Last update: 2026-03-15 03:14:58+09:00
• Problem: https://onlinejudge.u-aizu.ac.jp/problems/DSL_2_I

Depends on

• 遅延評価セグメント木 (lib/segtree/lazy_segment_tree.hpp)
• lib/segtree/monoid.hpp

Code

// competitive-verifier: PROBLEM https://onlinejudge.u-aizu.ac.jp/problems/DSL_2_I
#include <iostream>
#include <limits>
#include <utility>
#include "segtree/lazy_segment_tree.hpp"

struct M1 {
    using T = std::pair<int, int>;
    using value_type = T;
    static constexpr T id() { return T(); }
    static constexpr T op(T lhs, T rhs) { return {lhs.first + rhs.first, lhs.second + rhs.second}; }
};

struct M2 {
    using T = int;
    using value_type = T;
    static constexpr T id() { return std::numeric_limits<int>::max(); }
    static constexpr T op(T lhs, T rhs) { return lhs == id() ? rhs : lhs; }
    template <class U>
    static constexpr U f(T lhs, U rhs) {
        return lhs == id() ? rhs : U{lhs * rhs.second, rhs.second};
    }
};

int main(void) {
    int n, q;
    std::cin >> n >> q;
    lazy_segment_tree<M1, M2> st(n, {0, 1});
    while (q--) {
        int com;
        std::cin >> com;
        if (com == 0) {
            int s, t, x;
            std::cin >> s >> t >> x;
            st.apply(s, t + 1, x);
        } else {
            int s, t;
            std::cin >> s >> t;
            std::cout << st.prod(s, t + 1).first << '\n';
        }
    }

    return 0;
}

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/resolver.py", line 291, in resolve
    bundled_code = language.bundle(path, basedir=basedir)
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus.py", line 242, in bundle
    bundler.update(path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 479, in update
    self._resolve(pathlib.Path(included), included_from=path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 286, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
competitive_verifier.oj.verify.languages.cplusplus_bundle.BundleErrorAt: segtree/lazy_segment_tree.hpp: line -1: no such header

Test cases

Env	Name	Status	Elapsed	Memory
g++	00_sample_00	AC	3 ms	4 MB
g++	01_small_00	AC	2 ms	4 MB
g++	01_small_01	AC	2 ms	3 MB
g++	02_corner_00	AC	2 ms	4 MB
g++	02_corner_01	AC	2 ms	3 MB
g++	03_rand_00	AC	2 ms	4 MB
g++	03_rand_01	AC	2 ms	4 MB
g++	03_rand_02	AC	2 ms	3 MB
g++	03_rand_03	AC	4 ms	3 MB
g++	03_rand_04	AC	5 ms	4 MB
g++	03_rand_05	AC	15 ms	4 MB
g++	03_rand_06	AC	16 ms	3 MB
g++	03_rand_07	AC	15 ms	4 MB
g++	04_large_00	AC	19 ms	4 MB
g++	04_large_01	AC	19 ms	4 MB
g++	04_large_02	AC	19 ms	4 MB
g++	04_large_03	AC	18 ms	4 MB
g++	05_maximum_00	AC	153 ms	7 MB
g++	05_maximum_01	AC	152 ms	7 MB
g++	05_maximum_02	AC	156 ms	7 MB
g++	05_maximum_03	AC	142 ms	7 MB
g++	06_all_00	AC	11 ms	3 MB
g++	06_all_01	AC	14 ms	4 MB
g++	07_critical_00	AC	133 ms	7 MB
g++	07_critical_01	AC	182 ms	7 MB
g++	07_critical_02	AC	65 ms	7 MB
g++	07_critical_03	AC	145 ms	7 MB
g++	08_extreme_00	AC	67 ms	7 MB

Back to top page