浅谈区间动态规划

围绕几道题说起。。石子归并、涂色、括号序列

啥是区间动态规划呢，我觉得似乎是指在一段区间上的dp，通过枚举左右子区间来求出解。

那么问题来了，如何去枚举左右子区间呢？

一般来说都是循环一个变量len，表示区间长度，然后循环左区间从开始到结尾，一般来说是1～n。

对于区间dp的话，我大致理解就是先求出小区间（部分）最优解，然后一个又一个小区间合并成稍微大点的大区间，最后合成答案——即总区间。

所以代码就这玩意：

for(int len=1;len<=n;len++)
{
    for(int l=1,r;(r=l+len)<=n;l++)
    {
        //do something
        for(int k=l;k

所以就是这样咯，循环一个长度，然后枚举区间。

区间的话一定要注意是l<=k

好像。。。区间dp就这些内容了吧，哦对了还有平行四边形优化！

普通的区间dp的时间复杂度大约是O(n^3)，从三个嵌套的for就能看出来。

不过有一些区间dp可以优化成O(n^2)，要用一个叫做“四边形不等式”的东西进行优化。

大致思想就是保存枚举的k中最优子区间，每次可以将枚举k时的时间复杂度去掉，所以就只剩下了长度与左区间的枚举。

四边形不等式优化

下面就是三道入门题。。。

---

//石子归并
#include 
#include 
#include 
#include 
#include 
using namespace std;
char in[1000];
int dp[1000][1000],n,w[1000],sum[1000];
int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        scanf("%d",&w[i]);
        sum[i]=sum[i-1]+w[i];//由于合并的是一个区间，所以记录一下前缀和
    }
    for(int len=1;len<=n;len++)//循环长度
    {
        for(int l=1,r;(r=l+len)<=n;l++)
        {
            dp[l][r]=0x3fffffff;//初始化为INF
            for(int i=l;i

---

//bzoj1260涂色
#include 
#include 
#include 
#include 
#include 
using namespace std;
char in[1000];
int dp[1000][1000];
int main()
{
    scanf("%s",in+1);//方便下面dp
    int n=strlen(in+1);
    for(int i=1;i<=n;i++)for(int j=1;j<=n;j++)dp[i][j]=i==j?1:0x3fffffff;//对于一个点的涂色次数，只能是1次
    for(int len=1;len<=n;len++)//循环长度
    {
        for(int l=1,r;(r=l+len)<=n;l++)//生成左右区间
        {
            if(in[l]==in[r])//如果相等那么就可以如下这么转移咯
            {
                if(len==1)dp[l][r]=1;//如果区间长度为1，也就是说l,r是相邻的两个格子，所以只能一笔涂上
                else dp[l][r]=min(dp[l+1][r-1]+1,min(dp[l][r-1],dp[l+1][r]));
                /*
                    否则的话说明可以从区间l,r中进行转移。
                    判断dp[l][r]所包含的三个子区间
                    然后就是dp[l+1][r]跟dp[l][r-1]了。
                    先把最右端/最左端为起点一笔涂到另一头，应该是这意思吧？
                */
            }
            else//否则的话只能将区间l,r分割成两个小区间然后min咯
                for(int i=l;i

---

//tyvj P1193 括号序列
/*
    至于为什么这个dp是对的，小谈一下我的个人理解。
    由于区间长度len是从小到的枚举的，所以每一轮都是从很小的单位区间开始更新，似乎可以看作bfs（雾）？
    因为len是由小到大进行枚举，所以每一次min的时候都是从将已经判断好的子区间进行min。
    或许用滚雪球形容会好点？从一个小区间慢慢滚成了一个大区间？
    以上就是我对于初级区间dp的理解。。。
*/
#include 
#include 
#include 
#include 
using namespace std;
char in[1000];
int dp[1000][1000],n;
bool test(char a,char b)//判断a,b是否匹配
{
    if(a=='(')return b==')';
    if(a=='[')return b==']';
    if(a=='<')return b=='>';
    if(a=='{')return b=='}';
    return 0;
}
int main()
{
    /*
        dp[i][i]=1 若是单个括号的话只能是添加所对应的括号完成匹配，所以为1
        dp[l][r]:区间l,r的最小添加括号数量
        dp[l][r]=min{n,dp[l+1][r-1](match(s[l],s[r]),dp[l][k]+dp[k+1][r]|l<=k