【线段树维护单调栈】【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是单调增的,所以可以在每个线段树结点维护单调栈来替代 fminx ,复杂度可以优化到O(nlogn)