RT，题解中说到：

但是题目给出的 $a_i$ 并不满足 $a_{i-1}-a_{i-2}\le a_i-a_{i-1}$，所以为什么这道题维护的不受操作 1 影响的集合一定是一个凸包？（而且以 $(i,a_i)$ 为坐标再怎么也只会是一个凸壳吧（？）