注意到，对应原序列上 \(a_i\) 的选取过程，实际上是要求我们决策，并且从上个选取的地方进行转移的一个等效。
那么问题变成了能否删除掉 \([l,r]\) 区间的所有数。
首先一个必要条件即 \(2\mid len\) 并且，区间无严格众数，否则的话，即使我们每一步都能匹配成功，也只能匹配掉 \(\lfloor{\dfrac{n}{2}}\rfloor\) 对，这显然是会有剩余的。
考虑不会充分，猜必要即充要。
归纳证一下，考虑 \(n\) 的时候是可以的，考虑 \(n+2\) 的时候，我们选取出现次数最大的数与其相邻的删去，变成了 \(n\) 的情况，归纳下去即可。