导弹防御系统

这道题目还是看yxc的题解

这种划分序列的题目都可以像这种（也就是cats transport这道题目的思想）考虑序列去思考

这也启发我们，还可以用贪心去剪枝，又多了一条剪枝的方法（其实就是排除等效冗余，这也告诉我们排除等效冗余可以从贪心的角度想）

然后$up$和$down$数组单调可以用数学归纳法证明

代码也学着一点，中间写的那个注释“注意由上述证明的贪心原理，只要找到第一个可以放的序列，就可以结束循环了”就是说当前找到了这个序列而且还不行那么肯定就不行了