前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >四边形不等式优化DP

四边形不等式优化DP

作者头像
attack
发布2018-04-11 10:43:24
1.4K0
发布2018-04-11 10:43:24
举报
文章被收录于专栏:数据结构与算法

记录一下,以免忘了

对于一个形如 dp[i][j]=min(dp[i][k]+dp[k][j]+w[i][j]) 的转移方程(注意取最大值时不一定满足四边形不等式)

定理1

若对于a \leq b\leq c \leq d且w_{b,c}\leq w_{a,d} 那么我们称\(w\)关于区间包含关系单调

定理2

若对于a \leq b\leq c \leq d且w_{a,c}+w_{b,d}\leq w_{b,c}+w_{a,d} 则称w满足四边形不等式

性质1

若w满足四边形不等式,当且仅当w_{i,j}+w_{i+1,j+1}\leq w_{i+1,j}+w_{i,j+1} (没啥卵用)

性质2

若w满足四边形不等式,且关于区间包含关系单调 则dp也满足四边形不等式

性质3

s_{i,j}dp_{i,j}的决策点,若dp满足四边形不等式 那么s_{i,j-1}\leq s_{i,j} \leq s_{i+1,j}

证明

放一个不错的博客

例题

石子归并加强版 其实这题并不是极限数据,再强一点的可以去百度SDOI2008石子归并,据说要用平衡树维护某G姓算法

代码语言:javascript
复制
#include<cstdio>
#include<cstring>
const int MAXN=1e5+10,INF=1e8+10;
using namespace std;
inline char nc()
{
    static char buf[MAXN],*p1=buf,*p2=buf;
    return p1==p2&&(p2=(p1=buf)+fread(buf,1,MAXN,stdin)),p1==p2?EOF:*p1++;
}
inline int read()
{
    char c=nc();int x=0,f=1;
    while(c<'0'||c>'9'){if(c=='-')f=-1;c=nc();}
    while(c>='0'&&c<='9'){x=x*10+c-'0';c=nc();}
    return x*f;
}
int dp[3001][3001],sum[MAXN],s[3001][3001];
int main()
{
    #ifdef WIN32
    freopen("a.in","r",stdin);
    #else
    #endif
    int N=read();
    for(int i=1;i<=N;i++) sum[i]=read(),sum[i]+=sum[i-1],s[i][i]=i;
    for(int i=N;i>=1;i--) 
    {
        for(int j=i+1;j<=N;j++)
        {
            int mn=INF,mnpos=0;
            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] < mn)
                {
                    mn=dp[i][k]+dp[k+1][j]+sum[j]-sum[i-1];
                    mnpos=k;
                }
            }
            dp[i][j]=mn;
            s[i][j]=mnpos;
        }
    } 
    printf("%d",dp[1][N]);
    return 0;
}
本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2018-02-20 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 定理1
  • 定理2
  • 性质1
  • 性质2
  • 性质3
  • 证明
  • 例题
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档