rt，我总觉得应该是 $O(n \log^2 n)$ 的（set一个log线段树一个log），但它实际跑的复杂度又比双log快很多，所以求证明复杂度