双端队列

这里对做法补充一下

首先肯定有两个考虑对象嘛，考虑双端队列或者考虑数值，既然双端队列是不好考虑的（指正着想），那就考虑数值喽（反着想，最终的序列一定是确定的）

然后是一个证明，其实我自己的排序方法是一个数一个数看的，对于当前循环到的数，比如处于递减状态，我们考虑这个数所有的下标，把能接在后面的就接在后面

比如，上一个下标是$3$，然后处于递减状态，当前区间还剩下的数是$1,2,4,5$，那么我们就排成$2,1,4,5$

这里用决策包容性证明，贪心策略相当于是（以递减为例）当前区间剩下的数中小于上一个数的最大的数$x$接在上一个数$y$的后面

如果不这样，那么考虑这个$x$，肯定是要被放在某个双端队列的里面的，无论在这个双端队列里面是开头还是非开头，我们都将$x$拿出来，这个双端队列显然也合法，然后将$x$放在$y$的后面，显然也是合法的，而且双端队列的个数不会增加，证毕