【线段树维护单调栈】【JZOJ 5402】 God Knows

Description

DP

左边->上边，右边->下边（题目反人类）
设f[i]表示上边最后一个匹配是(i,pi)，需要找到一个j < i，且j能转移i，且f[j]尽量小
直接暴力n^2就有60分了

100%DP优化

把决策画出来（在平面图上,x轴为i，y轴为pi），观察哪些 j 能转移到 i
首先pj>pi的 j 可以忽略了
对于剩下的，发现只有从左到右一个单调递减的栈里的 j 才能转移到 i
我们需要高效地求出：① p范围在[1,pi]中的点中，② i 点左边的单调栈中的 j 的 f[j] 的 min
①很麻烦，转化一下，以pi为x轴, i 为y轴建系。这样限制①就用线段树的区间查询就能解决，而且发现问题还是只需维护单调栈，问题只剩下了②
而②是个经典套路：


且此题由于有加入的点的i是单调增的，所以可以在每个线段树结点维护单调栈来替代$fmin_x$，复杂度可以优化到O(nlogn)