设块长为 $S$，修改复杂度为 $O(S+\log a_i)$，查询复杂度为 $O\left(\dfrac{n}{S}+(S+\log a_i)\log x\right)$，根号平衡可知 $S$ 应取 $\sqrt{\dfrac{n}{\log x}}$，然而最快的代码取 $S=\sqrt{n}$，亲测大约为 $S=\dfrac{\sqrt{n}}{2}$ 时最快。虽然我用 std::unordered_map 可能导致常数较大，但是显然数据根本没有卡满 $\log x$ 次