集合 $S$ と演算 $\circ$ の組 $(S,\circ)$ がモノイド(Monoid)であるとき, $S$ の要素の列 $A$ に対し,
S
\circ
(S,\circ)
Monoid
A
A[l] \circ A[l+1] \circ \cdots \circ A[r]
A[i] \leftarrow x
をそれぞれ $O(\log N)$ で行う.($N = |A|$)
O(\log N)
N = |A|