必要なところだけ作る遅延セグ木

概要

操作

• constructor(Idx minf, Idx inf): 全要素単位元で初期化、[minf, inf)を扱える
• set(Idx p, T x): p番目の要素をxにする
• get(Idx p): p番目の要素を返す
• apply(Idx l, Idx r, F lz): [l, r)にlzを作用
• prod(Idx l, Idx r): [l, r)の要素のモノイド積を返す
• all_prod(): [minf, inf)の要素のモノイド積を返す
• max_right(Idx l, f): f([l, r)の要素のモノイド積)がtrueである最大のr
• min_left(Idx r, f): f([l, r)の要素のモノイド積)がtrueである最小のl

実装

使用例1

使用例2

使用例3