时间复杂度为 $O(nlogn)$ 的 LIS 是怎么一回事(听说不是用 dp 做的

只会 $O(n^2)$ 的 传统 dp 做法