区间动态规划
贡献者: 有机物
区间动态规划和普通的动态规划的区别是状态的定义集中在了区间上。像树形 一般是由子结点从下往上递归的计算父结点,而区间 是由子区间逐步计算得来的。所以状态表示也会发生一定的改变,一般来说,状态表示定义为: 表示一段区间。而状态转移一般由两个小区间合并为一个大区间,这需要具体问题具体分析。
我们还是通过一道具体的例题来学习区间 ,石子合并。
状态表示:
- 集合: 表示从第 堆石子到第 堆石子合并为一堆的合并方式的集合。
- 属性:合并代价的最小值。
状态计算:
不难看出最后一个肯定是由相邻的两堆合并得到的,而这两堆又是由更小的相邻的两堆合并得到的,所以较大的一堆一定是由较小的相邻的两堆合并得到的。
这样的话,划分集合的依据可以定义为最后一次合并的位置来划分集合。所以可以枚举分界点,答案就是合并的两堆已计算好的代价加合并这两堆的代价,即整个区间的和。这样就将集合划分成了 个子集, 为区间的长度()。第一个子集左边 个石子,右边 个石子、第二个子集左边 个石子,右边 个石子,以此类推划分集合。
由此可得状态转移方程:。
时间复杂度: 具体的做法为:首先需要枚举区间长度,第二重循环枚举起点,限制条件是这个区间对应的右端点不能超过整个区间的长度,第三重循环枚举分界点。最后计算答案的时候还需要枚举合并的区间计算合并的代价。时间复杂度为:,这样做显然会超时,但计算一个区间的和可以利用前缀和算法,所以最后时间复杂度为:。
C++ 代码:
例题 :能量项链
做法还是区间 ,不过做之前需要一些特殊处理,题目的输入为环形,但环形不好做区间 ,所以需要将环形复制一遍转化为一条链,这样在枚举左端点的时候,每个长度为 的区间都对应着选择 个不同的区间。
每次合并的区间长度为 的区间,对应着有 个珠子,区间长度最小从 开始枚举,因为只有 个珠子才可以进行合并,因为最后还要用到第一个珠子的头标记,每个珠子有头结点和尾结点。然后枚举分界点 , 必须从 的位置开始,因为头尾才能合并。
状态表示:
- 集合: 表示从 到 的合并成一个珠子的集合。
- 属性:释放的总能量的最大值。
状态计算: 。倒数第二步合并的是 和 ,最后一步是将合并这两堆的代价加起来。
时间复杂度:
C++ 代码:
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。