[XJB研究] [分块] 关于分块时间复杂度的证明

如果你知道分块的时间复杂度是$O(\sqrt n)$，请忽略这篇博文。
如果你并不关心是怎么证明出来的，请忽略这篇博文。
如果你是神犇，请务必忽略这篇博文。
以下证明又是在数学课上瞎想，如果有误欢迎提出……
（数学老师我错了......）
1、规定符号
$n$：序列的长度；
$S$：将这个序列分成$S$块；
$C$：分成的每个块内有$C$个元素；
$x$：查询或修改时，需要操作的整块数；
$y$：查询或修改时，需要操作的零散区间中元素个数；
$L$：查询或修改时，操作序列的长度。
通过符号规定，可以看出一定有：$SC=n，x≤S，y<2C$。
2、目的
通过分块，统一维护块内元素，查询时可以快速取出整块内答案，再与零散区间合并，达到降低时间复杂度的目的。（这种元素需满足区间加法维护的性质）。
因此，需要最小化修改与查询次数。即最小化$x+y$的值。
3、证明
① 当最差情况下时，操作的区间为$[2,n-1]$，此时需要查询$S-2$个块和$2C-2$个元素，即$x=S-2,y=2C-2$。
$x+y=S-2+2C-2=S+2C-4$。忽略常数，得$x+y=S+C$。
因$SC=n$，则$C=\frac {n}{S}$。
代入，得
$x+y=S+\frac{n}{S}≥2*\sqrt {S*\frac{n}{S}}=2\sqrt n$
当且仅当$S=\frac{n}{S}$，即$S=\sqrt n$时，等号成立。
所以在最坏时，时间复杂度为$O(\sqrt n)$。常数不超过$3$。
② 在一般情况下时，可以得出$L=xC+y$。
移项，得$x=\frac{L-y}{C}$。
因$0<L≤n,0<y<2C$，则$0<L-y<n-2C$。
因$C>0$，则$\frac{L-y}{C}<\frac{n-2C}{C}=\frac{SC-2C}{C}=S-2<S$
故$x+y<S+2C$，忽略常数，$x+y<S+C$。
因$SC=n$，$S+C≥2\sqrt{SC}=2\sqrt n$。
当且仅当$S=C$，即$S=C=\sqrt n$时，等号成立。
此时$x+y<2\sqrt n$。
综上，分块的时间复杂度为$O(\sqrt n)$，常数不超过$3$。证毕。
分块中，$S$与$C$的取值可以任意，只是当$S=C=\sqrt n$时，时间复杂度最优。在有些JOI题目中（如[BZOJ4241] 历史研究）使用的$S$和$C$不是最优的，但是也可以A掉这种题。