#line 1 "segment_tree_beats.test.cpp" #define PROBLEM "https://judge.yosupo.jp/problem/range_chmin_chmax_add_range_sum" #line 2 "/Users/kodamankod/Desktop/CppProcon/Library/proconlib/utility/int_alias.cpp" #include #include using i32 = std::int32_t; using u32 = std::uint32_t; using i64 = std::int64_t; using u64 = std::uint64_t; using i128 = __int128_t; using u128 = __uint128_t; using isize = std::ptrdiff_t; using usize = std::size_t; #line 3 "/Users/kodamankod/Desktop/CppProcon/Library/proconlib/utility/rep.cpp" #include class rep { struct Iter { usize itr; constexpr Iter(const usize pos) noexcept: itr(pos) { } constexpr void operator ++ () noexcept { ++itr; } constexpr bool operator != (const Iter& other) const noexcept { return itr != other.itr; } constexpr usize operator * () const noexcept { return itr; } }; const Iter first, last; public: explicit constexpr rep(const usize first, const usize last) noexcept: first(first), last(std::max(first, last)) { } constexpr Iter begin() const noexcept { return first; } constexpr Iter end() const noexcept { return last; } }; #line 4 "/Users/kodamankod/Desktop/CppProcon/Library/proconlib/utility/revrep.cpp" class revrep { struct Iter { usize itr; constexpr Iter(const usize pos) noexcept: itr(pos) { } constexpr void operator ++ () noexcept { --itr; } constexpr bool operator != (const Iter& other) const noexcept { return itr != other.itr; } constexpr usize operator * () const noexcept { return itr; } }; const Iter first, last; public: explicit constexpr revrep(const usize first, const usize last) noexcept: first(last - 1), last(std::min(first, last) - 1) { } constexpr Iter begin() const noexcept { return first; } constexpr Iter end() const noexcept { return last; } }; #line 3 "/Users/kodamankod/Desktop/CppProcon/Library/proconlib/bit/ceil_log2.cpp" constexpr u64 ceil_log2(const u64 x) { u64 e = 0; while (((u64) 1 << e) < x) ++e; return e; } #line 3 "/Users/kodamankod/Desktop/CppProcon/Library/proconlib/bit/bit_rzeros.cpp" constexpr u64 bit_rzeros(const u64 x) { return x == 0 ? 64 : __builtin_ctzll(x); } #line 7 "/Users/kodamankod/Desktop/CppProcon/Library/proconlib/container/segment_tree_beats.cpp" #include #include #include template (*mapping) (Monoid, Effector)> class SegmentTreeBeats { using M = Monoid; using E = Effector; usize internal_size, logn, seg_size; std::vector data; std::vector lazy; void fetch(const usize k) { data[k] = data[2 * k] + data[2 * k + 1]; } void apply(const usize k, const E& e) { if (k >= seg_size) { data[k] = mapping(data[k], e).value(); return; } lazy[k] = lazy[k] * e; const auto result = mapping(data[k], e); if (result.has_value()) { data[k] = result.value(); } else { flush(k); fetch(k); } } void flush(const usize k) { apply(2 * k, lazy[k]); apply(2 * k + 1, lazy[k]); lazy[k] = E::one(); } void push(const usize k) { for (const usize d: revrep(bit_rzeros(k) + 1, logn + 1)) flush(k >> d); } void pull(usize k) { for (k >>= bit_rzeros(k); k > 1;) fetch(k >>= 1); } public: explicit SegmentTreeBeats(const usize size = 0, const M& value = M::zero()): SegmentTreeBeats(std::vector(size, value)) { } explicit SegmentTreeBeats(const std::vector& vec): internal_size(vec.size()) { logn = ceil_log2(internal_size); seg_size = 1 << logn; data = std::vector(2 * seg_size, M::zero()); lazy = std::vector(seg_size, E::one()); for (const usize i: rep(0, internal_size)) data[seg_size + i] = vec[i]; for (const usize i: revrep(1, seg_size)) fetch(i); } usize size() const { return internal_size; } void assign(usize i, const M& value) { assert(i < internal_size); i += seg_size; for (const usize d: revrep(1, logn + 1)) flush(i >> d); data[i] = value; for (const usize d: rep(1, logn + 1)) fetch(i >> d); } void operate(usize l, usize r, const E& e) { assert(l <= r and r <= internal_size); l += seg_size; r += seg_size; push(l); push(r); for (usize l0 = l, r0 = r; l0 < r0; l0 >>= 1, r0 >>= 1) { if (l0 & 1) apply(l0++, e); if (r0 & 1) apply(--r0, e); } pull(l); pull(r); } M fold() const { return data[1]; } M fold(usize l, usize r) { assert(l <= r and r <= internal_size); l += seg_size; r += seg_size; push(l); push(r); M ret_l = M::zero(), ret_r = M::zero(); while (l < r) { if (l & 1) ret_l = ret_l + data[l++]; if (r & 1) ret_r = data[--r] + ret_r; l >>= 1; r >>= 1; } return ret_l + ret_r; } template usize max_right(usize l, const F& f) { assert(l <= internal_size); assert(f(M::zero())); if (l == internal_size) return internal_size; l += seg_size; for (const usize d: revrep(1, logn + 1)) flush(l >> d); M sum = M::zero(); do { while (!(l & 1)) l >>= 1; if (!f(sum + data[l])) { while (l < seg_size) { flush(l); l = 2 * l; if (f(sum + data[l])) sum = sum + data[l++]; } return l - seg_size; } sum = sum + data[l++]; } while ((l & -l) != l); return internal_size; } template usize min_left(usize r, const F& f) { assert(r <= internal_size); assert(f(M::zero())); if (r == 0) return 0; r += seg_size; for (const usize d: revrep(1, logn + 1)) flush((r - 1) >> d); M sum = M::zero(); do { r -= 1; while (r > 1 and (r & 1)) r >>= 1; if (!f(data[r] + sum)) { while (r < seg_size) { flush(r); r = 2 * r + 1; if (f(data[r] + sum)) sum = data[r--] + sum; } return r + 1 - seg_size; } sum = data[r] + sum; } while ((r & -r) != r); return 0; } }; #line 5 "segment_tree_beats.test.cpp" #include #include #line 9 "segment_tree_beats.test.cpp" constexpr u32 MAX = 1000000000; struct Monoid { static constexpr Monoid zero() { return Monoid { 0, 1, 0, 0 }; } static constexpr Monoid all_same(const u32 x, const usize l) { return Monoid { x, x, (u64) x * l, l }; }; u32 max, lcm; u64 sum; usize len; constexpr Monoid operator + (const Monoid& other) const { return Monoid { std::max(max, other.max), std::min(std::lcm(lcm, other.lcm), MAX + 1), sum + other.sum, len + other.len, }; } }; struct Effector { static constexpr Effector one() { return Effector { 0, 0 }; } u32 assign, gcd; constexpr Effector operator * (const Effector& other) const { if (other.assign) { return other; } if (assign) { return Effector { std::gcd(assign, other.gcd), 0 }; } else { return Effector { 0, std::gcd(gcd, other.gcd) }; } } }; std::optional mapping(Monoid m, Effector e) { if (m.len == 0) return m; if (e.assign) return Monoid::all_same(e.assign, m.len); if (e.gcd % m.lcm == 0) return m; if (m.len == 1) return Monoid::all_same(std::gcd(m.max, e.gcd), 1); return std::nullopt; } int main() { usize N, Q; std::cin >> N >> Q; std::vector build; build.reserve(N); for (const auto i: rep(0, N)) { u32 x; std::cin >> x; build.push_back(Monoid::all_same(x, 1)); } SegmentTreeBeats seg(build); while (Q--) { usize t, l, r; std::cin >> t >> l >> r; l -= 1; if (t <= 2) { u32 x; std::cin >> x; seg.operate(l, r, (t == 1 ? Effector { x, 0 } : Effector { 0, x })); } else { const auto m = seg.fold(l, r); std::cout << (t == 3 ? m.max : m.sum) << '\n'; } } return 0; }