用法
如果有状态方程$f[i][j]=min(f[i][k]+f[k+1][j])+w[i][j]$或者将min换成max
且w满足区间包含的单调性和四边形不等式
区间包含的单调性:
如果对于$\forall i_1<i_2$且$j_1>j_2$(即$[i_2,j_2]\subset [i_1,j_1]$),都有$$
四边形不等式:
如果有状态方程$f[i][j]=min(f[i][k]+f[k+1][j])+w[i][j]$或者将min换成max
且w满足区间包含的单调性和四边形不等式
区间包含的单调性:
如果对于$\forall i_1<i_2$且$j_1>j_2$(即$[i_2,j_2]\subset [i_1,j_1]$),都有$$
四边形不等式: