简化一下就是这样一个 DP 式子:
f(i,j)=mink<j{f(i−1,k)+w(k+1,j)}f(i,j)=\min_{k<j} \{f(i-1,k)+w(k+1,j)\}f(i,j)=mink<j{f(i−1,k)+w(k+1,j)}
其中 w(i,j)w(i,j)w(i,j) 满足四边形不等式和区间包含单调性。看了好久都没明白决策点 pi−1,j≤pi,jp_{i-1,j}\leq p_{i,j}pi−1,j≤pi,j 怎么证明。求大佬解释