lyht 的题解：未经证明给出 $O(n\log n)$ 的时间复杂度（附了oiwiki链接但是oiwiki说的是平衡树优化后的复杂度），实际上其代码复杂度为 $O(n\max a_i)$。hack 数据参见前一个帖子。

此外，该题解提交时间为23年末，离现在较近，不存在远古题解审核标准不一致问题。