1. 累積和のテク

2. 逆元が存在しないモノイドでの累積

メモ

3. 多次元累積和

$D$ 次元配列 $a$ に対して、累積和 $P$ を

$$ P(r)=\sum_{x\in\prod_{i\in[D]}[0,r_i)}a(x) $$

と定義する。

$S\subseteq[D]$ に対して、$u^{(S)}$ を

$$ u_i^{(S)}= \begin{cases} l_i & (i\in S)\\ r_i & (i\notin S) \end{cases} $$

と定義する。

このとき、直方体領域 $\displaystyle\prod_{i\in[D]}[l_i,r_i)$ での $a$ の和は

$$ \sum_{x\in\prod_{i\in[D]}[l_i,r_i)}a(x)

\sum_{S\subseteq[D]} (-1)^{|S|}P(u^{(S)}) $$

で求められる。