蒟蒻知道对于一个序列 q ,肯定可以在 ∑i=1nmin{0,xi−k}\sum_{i=1}^n \min\{0,x_i-k\}∑i=1nmin{0,xi−k} 次操作(其中 xix_ixi 为 ∑j=1i[qj>qi]\sum_{j=1}^i [q_j>q_i]∑j=1i[qj>qi] ) 。
而后面该如何处理。