[CEOI2004]锯木厂选址 [斜率优化]

本文介绍了一道关于斜率优化动态规划的入门题目,详细解析了如何通过构造DP方程并利用斜率优化技巧来高效求解。文中通过实例讲解了如何维护一个上凸壳来更新最优解。

这个题就是个简单的斜率优化DP的入门题

我们先写出朴素的DP方程式:

dp[i]=totsumdis[j]sum[j]dis[i](sum[i]sum[j])(j<i)dp[i]=totsum−dis[j]∗sum[j]−dis[i]∗(sum[i]−sum[j])(j<i)

其中dp[i]dp[i]表示当前第二个工厂修到第ii棵树的位置时的最小花费,totsum表示所有树一开始全部运送的山脚下的花费,dis[i]dis[i]表示距离的后缀和(因为我们是从上运到下面),sum[i]sum[i]表示树的重量的前缀和。那么在i,ji,j处修了工厂后花费就变成了总花费totsumtotsum减去从jj厂运到山脚的额外花费dis[j]sum[j],再减去从ii厂运到山脚下的额外花费dis[i](sum[i]sum[j])

形象的说,就是你先把jj前面的木材运到j厂,然后减去这些木材运到山脚的花费,再把i,ji,j之间的木材运到ii厂,再减去它们到山脚的花费。

然后我们将DP方程式变形,令j,k(j<k)这两种决策转移到ii的时候,k决策更优秀,那么就可以得到totsumdis[j]sum[j]dis[i](sum[i]sum[j])>totsumdis[k]sum[k]dis[i](sum[i]sum[k])totsum−dis[j]∗sum[j]−dis[i]∗(sum[i]−sum[j])>totsum−dis[k]∗sum[k]−dis[i]∗(sum[i]−sum[k])

整理后可以得出:dis[j]sum[j]dis[k]sum[k]sum[j]sum[k]>dis[i]dis[j]∗sum[j]−dis[k]∗sum[k]sum[j]−sum[k]>dis[i]

然后因为斜率dis[i]dis[i]是随着ii的增加而变小的,所以我们根据斜率维护一个上凸壳,因为是单调的,所以用一个队列就可以了。

丑陋代码新鲜出炉~~~

代码中的sum就是totsum,s[i]就是sum[i],d[i]就是dis[i].


#include<cstdio>
#include<cstring>
#include<algorithm>
#define db double
using namespace std;
const int M=3e4+1;
int n;
int q[M],fi,la,ans=2e9+1;
int sum,s[M],d[M],w[M];
db calc(int j,int k){return 1.0*(d[j]*s[j]-d[k]*s[k])/(s[j]-s[k]);}
int count(int i,int j){return sum-d[j]*s[j]-d[i]*(s[i]-s[j]);}
int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;i++){scanf("%d%d",&w[i],&d[i]);}
    for(int i=n;i>=1;i--) d[i]+=d[i+1];
    for(int i=1;i<=n;i++) s[i]=s[i-1]+w[i],sum+=d[i]*w[i];
    for(int i=1;i<=n;i++){
        while(fi<la&&calc(q[fi],q[fi+1])>d[i]) ++fi;
        ans=min(ans,count(i,q[fi]));
        while(fi<la&&calc(q[la-1],q[la])<calc(q[la],i)) --la;
        q[++la]=i;
    }
    printf("%d\n",ans);
    return 0;
}
<think>我们之前已经详细讲解过斜率优化DP,但用户再次要求详细讲解,因此需要重新组织内容,并且按照要求最后输出相关问题。 注意:用户明确要求使用中文回答,并在最后输出3-5个相关问题,且第一行必须是“§§相关问题§§”,禁止换行分散。 我们将按照以下结构进行讲解: 1. 斜率优化DP的定义和适用场景 2. 核心思想与原理(几何意义、斜率公式推导) 3. 实现步骤(包括状态转移方程转换、斜率计算、单调队列维护) 4. 代码示例(以序列分割最小化平方和为例) 5. 注意事项 最后,提出3-5个相关问题。 注意:由于用户重复提问,我们可以适当调整内容,但必须详细讲解。 开始回答: </think>### 斜率优化DP详细讲解 斜率优化DP是一种用于优化动态规划状态转移的高效技巧,特别适用于状态转移方程形式为 \(\text{dp}[i] = \min_{j<i} \{\text{dp}[j] + f(i,j)\}\) 且 \(f(i,j)\) 具有凸性特征的问题。其核心是将数值比较转化为几何斜率比较,通过维护决策点的凸包(通常用单调队列),将复杂度从 \(O(n^2)\) 降至 \(O(n)\)。 #### 一、核心原理 1. **问题特征** 需满足决策单调性:设 \(f(i,j) = a(i) \cdot b(j) + c(i) + d(j)\),其中 \(b(j)\) 单调递增,且 \(\text{dp}[j] + d(j)\) 和 \(b(j)\) 构成凸函数关系(如二次函数)。 2. **斜率转化** 将状态转移方程重写为直线截距形式: \[ \text{dp}[i] - c(i) = \min_{j} \{ (\text{dp}[j] + d(j)) - a(i) \cdot b(j) \} \] 其中 \(y_j = \text{dp}[j] + d(j)\) 为纵坐标,\(x_j = b(j)\) 为横坐标,目标是最小化直线 \(y = a(i) \cdot x + k\) 的截距 \(k\)。 3. **凸包维护** - 决策点 \((x_j, y_j)\) 需构成下凸包(斜率单调递增)。 - 最优决策点位于凸包切线斜率等于 \(a(i)\) 的位置。 #### 二、实现步骤(以序列分割最小化平方和为例) **问题模型**: 设前缀和数组 \(s\),状态转移方程: \[ \text{dp}[i] = \min_{j<i} \{ \text{dp}[j] + (s_i - s_j)^2 \} \] **步骤分解**: 1. **方程变形**: \[ \text{dp}[i] = \min_{j} \{ \text{dp}[j] + s_j^2 - 2s_i s_j \} + s_i^2 \] 此时 \(y_j = \text{dp}[j] + s_j^2\),\(x_j = s_j\),目标斜率 \(k_i = 2s_i\). 2. **斜率计算**: 决策点 \(j\) 和 \(k\) 的斜率: \[ \text{slope}(j,k) = \frac{y_j - y_k}{x_j - x_k} \quad (x_j \neq x_k) \] 3. **单调队列操作**: - **查询最优 \(j\)**: 移除队头斜率 \(\leq k_i\) 的点(因 \(s_i\) 递增,\(k_i\) 递增)。 - **维护凸包**: 插入新点 \(i\) 前,移除队尾破坏凸性的点(若 \(\text{slope}(j,k) \geq \text{slope}(k,i)\) 则删 \(k\))。 #### 三、代码实现 ```python from collections import deque def slope_optimization_dp(n, s): # s[0..n]为前缀和,s[0]=0 dp = [0] * (n + 1) q = deque() q.append(0) # 初始决策点j=0 def y(j): return dp[j] + s[j] * s[j] # 纵坐标y_j def slope(j, k): # 计算斜率 if s[j] == s[k]: return float('-inf') if y(j) < y(k) else float('inf') return (y(j) - y(k)) / (s[j] - s[k]) for i in range(1, n + 1): # 队头维护:移除斜率<=2*s[i]的点 while len(q) >= 2 and slope(q[0], q[1]) <= 2 * s[i]: q.popleft() j = q[0] dp[i] = dp[j] + (s[i] - s[j]) ** 2 # 状态转移 # 队尾维护:移除破坏下凸性的点 while len(q) >= 2 and slope(q[-2], q[-1]) >= slope(q[-1], i): q.pop() q.append(i) return dp[n] # 示例:s = [0, 1, 3, 6] 对应序列[1,2,3] ``` #### 四、关键点与注意事项 1. **适用条件**: - \(b(j)\) 需单调(否则需平衡树维护凸包)。 - \(a(i)\) 需单调(否则需二分查找最优决策点)。 2. **边界处理**: - \(x_j = x_k\) 时需特殊处理斜率(返回无穷大)。 - 初始加入虚拟点 \(j=0\)。 3. **典型应用**: - 任务调度(HDU 3507) - 序列分割(APIO 2010) - 仓库建设(CEOI 2004) #### 五、与四边形优化的区别 - **斜率优化**:针对 \(f(i,j)\) 关于 \(j\) 凸,依赖单变量斜率比较。 - **四边形优化**:针对 \(f(i,j)\) 关于区间单调,依赖二维决策单调性。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

VictoryCzt

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值