区间dp及平行四边形优化

dp[i][j]=dp[i][k]+dp[k+1][j]+cost[i][j]

这是区间dp最常见最普通的转移方程

平行四边形优化的证明步骤：

1、证明cost（）函数为凸

2、证明dp（）为凸

3、证明决策单调性，即s[i][j-1]<=s[i][j]<=s[i+1][j]（似乎只要满足四边形不等式的都满足决策单调性）

不同题型内的证法都不同，当然在有限时间内例如比赛是还是打表更方便一点，自习练习时可以适当证明一下增加算法的掌握程度。

如果花费函数满足区间包含单调性和四边形不等式，那么dp就满足四边形不等式；如果dp满足四边形不等式，那么s(i,j)决策函数就满足决策单调性

 for(int len=2;len<=n;len++)  
        for(int i=1;i<=n;i++)  
        {  
            int j=i+len-1;  
            if(j>n) continue;  
            for(int k=s[i][j-1];k<=s[i+1][j];k++)  
             {  
                if(dp[i][k]+dp[k+1][j]+sum[j]-sum[i-1]<dp[i][j])  
                {  
                    dp[i][j]=dp[i][k]+dp[k+1][j]+sum[j]-sum[i-1];  
                    s[i][j]=k;  
                }  
              }  
        }