树状数组Q

树状数组

定义$lowbit(i)=2^x$，其中$x$为满足$2^x\&i=2^x$的最小的自然数，即$i$二进制表示的最低位。
定义$\oplus$为满足结合律的某种运算，这里暂时将$\oplus$看作加法。
定义$$bit[x]=a_{x-lowbit(x)+1}\oplus ...\oplus a_{x-1}\oplus a_x=\sum _{i=x-lowbit(x)+1}^x{a}_i$$
现在我们要求$su{m}_r={\sum }_{i=1}^r{a}_i$，我们有$$\begin{gathered} su{m}_r=\sum _{i=1}^r{a}_i=bit[r]+a_{r-lowbit(r)}+...+a_2+a_1 \\ =bit[r]+su{m}_{r-lowbit(r)} \end{gathered}$$
特别的有$su{m}_0=0$。
于是有了树状数组的递归计算：

int lowbit(int x){return x&-x;}
int query(int x)
{
	int ans=0;
	while(x)
	{
		ans+=bit[x];
		x-=lowbit(x);
	}
	return ans;
}

这里$x\&-x$就是$lowbit(x)$，可以用组成原理的知识推导。
树状数组还需要解决的问题是添加操作：
如果将$a_x$加上$v$，那么数组该如何变化？
对于整数$i$，$bit[i]$维护的是区间$[i-lowbit(i)+1,i]$的和，那么对于所有满足$i-lowbit(i)+1\le x\le i$的$i$要更新$bit[i]=bit[i]+v$，称满足这样的条件的$i$为需更新的数。
其次，这样的$i$是有无限个的，我们只需要取数组的上限$n$，取所有$i\le n$的$i$。
首先，最小的满足这样的$i$是$x$本身。
其次，若$y$满足$x\in [y-lowbit(y)+1,y]$，我们证明$z=y+lowbit(y)$是大于$y$最小的需更新的数。
证：
设$0<t<lowbit(y)$，则$lowbit(y+t)\le t$（观察二进制易证），从而$y+t-lowbit(y+t)+1\ge y+t-t+1=y+1>y$。
故对于任意$y<i<y+lowbit(y)=z$的$i$，都不是需更新的数。
下面再证$z$是需更新的数，观察二进制易发现$lowbit(z)\ge lowbit(y)\ast 2$，则$z-lowbit(z)\le (y+lowbit(y))-2\ast lowbit(y)=y-lowbit(y)$，由$z=y+lowbit(y)>y$，故$x\in [y-lowbit(y),y]\in [z-lowbit(z),z]$。
从而有了树状数组的添加过程：

int lowbit(int x){return x&-x;}
void add(int x,int v)
{
	while(x<=n)
	{
		bit[x]+=v;
		x+=lowbit(x);
	}
}