四边形不等式是一种比较常见的优化动态规划的方法:
证明:http://baike.baidu.com/view/1985058.htm?fr=aladdin
解决这类问题的大概步骤是:
状态转移方程 dp[i][j]=min{dp[i][k-1]+dp[k][j]}+w[i][j] (i<=k<=j)
要用平行四边形优化则要证明w[i][j],dp[i][j]是否满足四边形不等式
w[a,c]+w[b,d]<=w[b,c]+w[a,d](a<b<c<d) 就称其满足凸四边形不等式<