https://www.luogu.com.cn/article/xq797tdo

在保留算法的前提下把空间砍了个 $\log$，目前是最优解。