rt，本题需要用到 $\mathcal O(n\log n)$ 的 LIS，应当至少为绿。