四边形不等式之石子归并

虽然四边形不等式不是这类问题的最优解法。但是感觉以后也用不到那种用途非常窄的算法。所以学一下四边形不等式算了。四边形不等式。形象来说就是解决一种区间dp的问题。然后满足几个性质

dp(i,j) = min(dp(i,k)+dp(k+1,j)) + w(i,j);(i < j, i<=k<j)

dp(i,j) = MAX;(i>j)

dp(i,j) = 0;(i=j)

上式在动态规划的状态转移方程中是很常见的，对于上式中的w(i,j)
如果符合w(i`,j) <= w(i,j`) i<i`<j<j`        那么我们称函数w满足关于区间包含的单调性
 如果符合w(i,j)+w(i`,j`) <= w(i`,j)+w(i,j`)    那么我们称函数w满足四边形不等式

直观描述：w满足一个包含关系的大加小》=两个交叉，并且w大的一定大与等于子集，那么dp也满足这样的关系，如果dp满足这样的关系，那么最优决策点递增

所以决策s（i,j）的时候，只需要做s(i-1,j)~s（i，j+1）但是这个形式似乎长得不是很好递推。

所以也可以换成 s[i][j-1]<=s[i][j]<=s[i+1][j]

void f()
{
for(int i=1; i<=n; i++) dp[i][i]=0,s[i][i]=i;
for(int r=1; r<n; r++)
{
for(int i=1; i<n; i++)
{
int j=i+r;
if(j>n) break;
dp[i][j]=INF;
for(int k=s[i][j-1]; k<=s[i+1][j]; k++)
{
if(dp[i][j]>dp[i][k]+dp[k+1][j])
{
dp[i][j]=dp[i][k]+dp[k+1][j];
s[i][j]=k;
}
      }
dp[i][j]+=sum[j]-sum[i-1];
}