这道题的加强版数据范围需要用到 $O(n\log n)$ 求解 LIS，同时贪心算法的正确性证明需要使用到 Dilworth 定理，故建议升绿。