$\DeclareMathOperator{\lowbit}{lowbit}$
对于正向树状数组，$a_i$ 表示 区间 $(i - \lowbit(i), i]$ 中的信息，对于反向树状数组 $a_i$ 表示区间 $[i, i+\lowbit(i))$ 中的信息。
正向树状数组支持查询区间 $[1,i]$ 中的信息，反向树状数组支持查询区间 $[i, n]$ 中的信息，其中 $n$ 表示数组长度。
正向树状数组查询时是不断地 $i \gets i - \lowbit(i)$，更新时是不断地 $ i \gets i + \lowbit(i)$；
反向树状数组正好反过来，查询时是不断地 $ i \gets i + \lowbit(i) $，更新时是不断地 $ i \gets i - \lowbit(i) $ 。