RT，替被禁言的 @tzc_wk

题解区普遍认为带修莫队的复杂度是 $n^{5/3}$ 的，但是假设块长为 $T$，$l$ 指针移动的距离最大为 $mT$，$r$ 指针移动的距离最大为 $mT+\dfrac{n^2}{T}$，$t$ 指针移动的距离最大为 $\dfrac{n^2m}{T^2}$，三者一加，用均值不等式可得 $mT+mT+\dfrac{n^2}{T}+\dfrac{n^2m}{T^2}=\dfrac{2}{3}mT+\dfrac{2}{3}mT+\dfrac{2}{3}mT+\dfrac{n^2}{T}+\dfrac{n^2m}{T^2}\geq5\sqrt[5]{\dfrac{2}{3}mT\times\dfrac{2}{3}mT\times\dfrac{2}{3}mT\times\dfrac{n^2}{T}\times\dfrac{n^2m}{T^2}}=5\sqrt[5]{\dfrac{8}{27}}(nm)^{4/5}$

如果将 $n,m$ 视作同阶则复杂度为 $n^{8/5}$。

所以究竟哪个是对的？虽然只差一个 $n^{1/15}$，可视作常数。