[线性DP] 洛谷P1020 导弹拦截 （模型：LIS最长上升子序列）