This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub SSRS-cp/cp_library
#include "data_structure/sequence/segment_tree_beats.hpp"
#pragma once /** * @brief Segment Tree Beats */ template <typename T, typename F> struct segment_tree_beats{ int N; vector<T> ST; vector<F> lazy; function<T(T, T)> op; function<T(F, T)> mp; function<F(F, F)> comp; T E; F id; segment_tree_beats(vector<T> &A, function<T(T, T)> op, function<T(F, T)> mp, function<F(F, F)> comp, T E, F id): op(op), mp(mp), comp(comp), E(E), id(id){ int n = A.size(); N = 1; while (N < n){ N *= 2; } ST = vector<T>(N * 2 - 1, E); for (int i = 0; i < n; i++){ ST[N - 1 + i] = A[i]; } for (int i = N - 2; i >= 0; i--){ update(i); } lazy = vector<F>(N * 2 - 1, id); } void update(int i){ ST[i] = op(ST[i * 2 + 1], ST[i * 2 + 2]); } void push(int i){ ST[i] = mp(lazy[i], ST[i]); if (i < N - 1){ lazy[i * 2 + 1] = comp(lazy[i], lazy[i * 2 + 1]); lazy[i * 2 + 2] = comp(lazy[i], lazy[i * 2 + 2]); if (ST[i].fail){ push(i * 2 + 1); push(i * 2 + 2); update(i); } } lazy[i] = id; } void range_apply(int L, int R, F f, int i, int l, int r){ push(i); if (r <= L || R <= l){ return; } else if (L <= l && r <= R){ lazy[i] = f; push(i); } else { int m = (l + r) / 2; range_apply(L, R, f, i * 2 + 1, l, m); range_apply(L, R, f, i * 2 + 2, m, r); update(i); } } void range_apply(int L, int R, F f){ range_apply(L, R, f, 0, 0, N); } T range_fold(int L, int R, int i, int l, int r){ push(i); if (r <= L || R <= l){ return E; } else if (L <= l && r <= R){ return ST[i]; } else { int m = (l + r) / 2; return op(range_fold(L, R, i * 2 + 1, l, m), range_fold(L, R, i * 2 + 2, m, r)); } } T range_fold(int L, int R){ return range_fold(L, R, 0, 0, N); } };
#line 2 "data_structure/sequence/segment_tree_beats.hpp" /** * @brief Segment Tree Beats */ template <typename T, typename F> struct segment_tree_beats{ int N; vector<T> ST; vector<F> lazy; function<T(T, T)> op; function<T(F, T)> mp; function<F(F, F)> comp; T E; F id; segment_tree_beats(vector<T> &A, function<T(T, T)> op, function<T(F, T)> mp, function<F(F, F)> comp, T E, F id): op(op), mp(mp), comp(comp), E(E), id(id){ int n = A.size(); N = 1; while (N < n){ N *= 2; } ST = vector<T>(N * 2 - 1, E); for (int i = 0; i < n; i++){ ST[N - 1 + i] = A[i]; } for (int i = N - 2; i >= 0; i--){ update(i); } lazy = vector<F>(N * 2 - 1, id); } void update(int i){ ST[i] = op(ST[i * 2 + 1], ST[i * 2 + 2]); } void push(int i){ ST[i] = mp(lazy[i], ST[i]); if (i < N - 1){ lazy[i * 2 + 1] = comp(lazy[i], lazy[i * 2 + 1]); lazy[i * 2 + 2] = comp(lazy[i], lazy[i * 2 + 2]); if (ST[i].fail){ push(i * 2 + 1); push(i * 2 + 2); update(i); } } lazy[i] = id; } void range_apply(int L, int R, F f, int i, int l, int r){ push(i); if (r <= L || R <= l){ return; } else if (L <= l && r <= R){ lazy[i] = f; push(i); } else { int m = (l + r) / 2; range_apply(L, R, f, i * 2 + 1, l, m); range_apply(L, R, f, i * 2 + 2, m, r); update(i); } } void range_apply(int L, int R, F f){ range_apply(L, R, f, 0, 0, N); } T range_fold(int L, int R, int i, int l, int r){ push(i); if (r <= L || R <= l){ return E; } else if (L <= l && r <= R){ return ST[i]; } else { int m = (l + r) / 2; return op(range_fold(L, R, i * 2 + 1, l, m), range_fold(L, R, i * 2 + 2, m, r)); } } T range_fold(int L, int R){ return range_fold(L, R, 0, 0, N); } };