CF773E Blog Post Rating（推导min的通项/线段树）

CF773E Blog Post Rating

现在有一个值F，每次如果序列加入一个数后重新排列，每次如果F小于期望值，就会+1，如果等于就不变，如果大于就-1，求解每一次加入后F的最大值。
这道题的确是非常的巧妙，尤其是对于答案的公式推导，显然如果只有一段可以看出是一个min的形式，但是当问题变为多段时就变得复杂，但是我们可以写出min形式的递推式，然后以此来得到通项式。

另外还有一个比较神仙的理解方法，本质上最后答案一定是从某个点开始的一条斜率为1的直线，然后我们只需要给所有这样的直线取min即可。