#动态规划

从 O(n²) 到 O(n log n)：最长递增子序列的两种推导

用状态转移视角推导 LIS，并解释贪心 + 二分为何能得到长度最优解。