Jellyfish and Mex

看官方题解即可

说明一下其对引理的证明

首先是不会删除比当前MEX大的数，假设前面已经是最优的删除方法了，对于当前删掉的数$x$，如果$x>$MEX，那么对于接下来的操作序列，我们直接将$x$放在这个操作序列的最后一个，答案显然不变

然后是要删数就一定删完，假设前面已经是最优的删除方法了，对于当前删掉的数$x$，如果删除$x$的中间插入了一些数（如下图），那么由前面的证明可以知道，在当前到最后一个$x$被删除之前，这些时间的MEX都是没有变化的，于是我们可以将所有删除$x$的操作延后直到挨到了一起

然后给出一个错误的贪心思路：每次删除比当前MEX小，而且出现次数最少的数（如果出现次数相同就优先删除数值更小的数）

反例：0 0 1 1 2 2 ... x-1 x-1 x，其中$x$非常大，显然最优策略是连续删除两个$0$

看到了$n$的规模是$5000$，一般都是平方DP嘛，贪心实在不能证明就想一下DP是不是能做啊