题目链接:2216:[Poi2011]Lightning Conductor
我们先把题目中的p单独放在等式的一边,发现
然后……然后查题解发现这个式子是决策单调性的式子QAQ
证明膜PoPoQQQ大爷:Orz Po姐
人生第一道决策单调性get!!!
对于决策单调性,我们可以用一个队列维护一段元素,队列中的每一个元素都有一个决策区间,代表这个区间中的数都可以用他来进行转移
没进行到一次转移,我们将队头元素的区间左端点+1,若左端点>右端点就出队
然后考虑当前决策点,如果他比队尾优,那么我们就可能可以将它加入队列,比较方法就是用最后一个元素a[n]比较算出的p的大小。因为我们在队列中维护的元素会覆盖整个[1,n]的元素,所以一旦当前元素比队尾优我们一定用不到队尾的元素了
然后进一步比较,由Po姐的证明我们可以知道光用a[n]比较是不正确的,于是我们比较队尾的左端点时的答案<