题解：

顺便学了一下笛卡尔树

首先显然这题给出的是一颗treap

那么有一个性质就是在它改变权值的时候，它的中序遍历不会随之改变

那么就变成序列上的问题了

令f[i][j][k]表示i-j这段区间最小值为k（当然首先得离散化）

转移就是枚举mid，然后枚举他们的最小值k1,k2

这样时间是n^3*n*n^2=n^6的

那显然这个太暴力了

我们在初始时处理处g[i][j][k]表示i-j这段区间最小值大于等于k的最小值

那么枚举完mid之后就可以o(1)了

这样是n^4的，常数挺小的吧

另外就是感觉离散化这里有点奇怪

题意应该是支持把权值变成实数的吧，不然这样其实是不对的