• 题解【bzoj1010 [HNOI2008]玩具装箱TOY】


    斜率优化动态规划可以用来解决这道题。同时这也是一道经典的斜率优化基础题。

    分析:明显是动态规划。令(dp[i])为前(i)个装箱的最小花费。
    转移方程如下:

    [dp[i]=minlimits_{0 leq j < i} { dp[j]+( sum limits_{k = j + 1}^{i}{C_k} + i - j - 1 - L) ^ 2} ]

    (sum[i])表示前(i)个容器的长度之和(即(C)的前缀和),方程简化为:

    [dp[i]=minlimits_{0 leq j < i} { dp[j]+( sum[i]-sum[j] + i - j - 1 - L) ^ 2} ]

    又令(f[i])(sum[i]+i),继续简化方程为:

    [dp[i]=minlimits_{0 leq j < i} { dp[j]+( f[i]-f[j] - 1 - L) ^ 2} ]

    暴力dp是(O(n^2)),考虑优化。如何优化,就是用前面所提到的斜率优化。这玩意到底是什么?我们先来继续对状态转移方程进行进一步的推导。

    对于每个(dp[i])可以知道都是由一个(j0)推过来的。这个(j0)对于当前的(i)是最优的决策。假设现在有两个决策(j_1,j_2 (1 leq j_1 < j_2 < i)),且决策(j_2)优于(j_1),则有:

    [dp[j_1]+( f[i]-f[j_1] - 1 - L) ^ 2 geq dp[j_2]+( f[i]-f[j_2] - 1 - L) ^ 2 ]

    拆开可得:

    [dp[j_1]+f[i]^2-2f[i](f[j_1]+1+L)+(f[j_1]+L+1)^2 geq dp[j_2]+f[i]^2-2f[i](f[j_2]+1+L)+(f[j_2]+L+1)^2 ]

    化简可得:

    [2f[i](f[j_2] + 1 + L)-2f[i](f[j_1] + 1 + L) geq dp[j_2]+(f[j_2]+1+L)^2 - (dp[j_1]+(f[j_1]+1+L)^2) ]

    即:

    [2f[i] geq frac{dp[j_2]+(f[j_2]+1+L)^2 - (dp[j_1]+(f[j_1]+1+L)^2)}{f[j_2]-f[j_1]} ]

    (g[i] = (f[i]+L+1)^2),可得:

    [2f[i] geq frac{dp[j_2]+g[j_2] - (dp[j_1]+g[j_1])}{f[j_2]-f[j_1]} ]

    也就是说,若(j1,j2)满足上面这个式子,那么(j2)一定比(j1)优。

    为什么叫斜率优化?因为上面这个式子可以把看作(dp[i]+g[i])看做纵坐标,(f[i])看做横坐标,上面的等式右侧就相当于(frac{Delta y}{Delta x}=k)也就是一个一次函数的斜率。当这个斜率(k leq 2f[i])(j_2)优于(j_1)

    假如我们有三个决策(j_1,j_2,j_3)(如下图)

    容易证明:(j_2)不可能是最优的。
    这样一来,每两个决策间的斜率便是单调上升的

    所以有两种做法:

    • 对于(dp[i]),有了斜率单调上升这个条件,就可以去二分最优的决策点(也就是斜率小于(2f[i])的)。复杂度(O(n log n))
    • 又因为(f[i])是单调递增的,可以用单调队列来维护。具体实现就是,把决策放进一个单调队列里,如果队首和当前的(i)间的斜率 (<f[i]),就把队首删掉(即h++)。对于队尾,就每次把加入(i)后不满足斜率单调上升的队尾全部删掉(即t--),最后把(i)放进单调队列就好了。

    注意事项:
    long long.
    还有 $g[0]=(L + 1) ^ 2 $而不是(0)!!!!(因为这个我调了很久)

    给一下单调队列做法的代码:

    #include <iostream>
    #include <cstdlib>
    #include <cstdio>
    #include <algorithm>
    
    using namespace std;
    
    #define int long long
    const int MAXN = 50050;
    int N, L, dp[MAXN], sum[MAXN], f[MAXN], g[MAXN], h, t, Q[MAXN];
    
    inline double xie(int j1, int j2)
    {
    	return (double) (dp[j2] + g[j2] - dp[j1] - g[j1]) / (f[j2] - f[j1]);
    }
    #undef int
    int main()
    {
        scanf("%d%d", &N, &L);
        for(int i = 1; i <= N; i++)
        {
        	scanf("%d", &sum[i]);
        	sum[i] += sum[i - 1];
        	f[i] = sum[i] + i;
        	g[i] = (f[i] + L + 1) * (f[i] + L + 1);
    	}
    	g[0] = (L + 1) * (L + 1); //important!!!
    	for(int i = 1; i <= N; i++)
    	{
    		while(h < t && xie(Q[h], Q[h + 1]) <= 2 * f[i]) h++;
    		dp[i] = dp[Q[h]] + (f[i] - f[Q[h]] - L - 1) * (f[i] - f[Q[h]] - L - 1); //更新dp值
    		while(h < t && xie(Q[t], i) < xie(Q[t - 1], Q[t])) t--;
    		Q[++t] = i;
    		
    	}
    	printf("%lld
    ", dp[N]);
     	return 1;//防抄
    }
    
    
  • 相关阅读:
    Embedding技术在商业搜索与推荐场景的实践
    Elasticsearch 性能调优:段合并(Segment merge)
    elasticsearch关于index性能优化
    nginx优化图片防盗链
    NextCloud搭建
    nginx优化限制连接请求limit_req
    Android 去除标题栏和状态栏的方法
    Struts2 集合属性接收问题探讨
    解决JAVA调用mysqldump备份数据库时文件为空的问题
    Hibernate自定义字段查询 注意事项
  • 原文地址:https://www.cnblogs.com/acfunction/p/10051308.html
Copyright © 2020-2023  润新知