『嗨威说』算法设计与分析 - 动态规划思想小结(HDU 4283 You Are the One)

2019-10-26

本文索引目录:

一、动态规划的基本思想

二、数字三角形、最大子段和(PTA)递归方程

三、一道区间动态规划题点拨升华动态规划思想

四、结对编程情况

 

 

一、动态规划的基本思想:

  1.1  基本概念:

  动态规划算法简单说,利用拆解问题思想,定义问题状态和状态之间的关系,使得问题能够以递推或者是分治的方式去解决。
  动态规划算法的基本思想与分治法很相似,将待求解的问题分解为若干个子问题,前一子问题的解,为后一子问题的求解所依赖。在求解任一子问题时,列出各种可能的局部解,通过决策保留那些有可能达到最优的局部解,丢弃其他局部解。依次解决各子问题,最后一个子问题就是初始问题的解。

 

  1.2  使用条件:

  (1)具有最优子结构

具有最优子结构也可能是适合用贪心的方法求解。

注意要确保我们考察了最优解中用到的所有子问题。

1、证明问题最优解的第一个组成部分是做出一个选择;

2、对于一个给定问题,在其可能的第一步选择中,你界定已经知道哪种选择才会得到最优解。你现在并不关心这种选择具体是如何得到的,只是假定已经知道了这种选择;

3、给定可获得的最优解的选择后,确定这次选择会产生哪些子问题,以及如何最好地刻画子问题空间;

4、证明作为构成原问题最优解的组成部分,每个子问题的解就是它本身的最优解。方法是反证法,考虑加入某个子问题的解不是其自身的最优解,那么就可以从原问题的解中用该子问题的最优解替换掉当前的非最优解,从而得到原问题的一个更优的解,从而与原问题最优解的假设矛盾。

要保持子问题空间尽量简单,只在必要时扩展。 最优子结构的不同体现在两个方面: 原问题的最优解中涉及多少个子问题; 确定最优解使用哪些子问题时,需要考察多少种选择。 子问题图中每个定点对应一个子问题,而需要考察的选择对应关联至子问题顶点的边。

   (2)子问题重叠

子问题空间要足够小,即问题的递归算法会反复地求解相同的子问题,而不是一直生成新的子问题。

 

  1.3  使用思想:

(1)首先是拆分问题,将问题划分成一步一步这样就可以通过递推或者递归来实现。
(2)其次定义问题状态和状态之间的关系,前面拆分的步骤之间的关系,用一种量化的形式表现出来,也即状态转移方程式。

  1.4  动态规划的问题种类:

(1)背包动态规划问题

(2)区间动态规划问题

(3)有向无环图的动态规划问题

(4)树形动态规划问题

(5)状态压缩动态规划问题

(6)数位动态规划问题

(7)插头动态规划问题

(8)计数动态规划问题

(9)实时动态规划问题

(10)动态规划优化问题等

 

 

二、数字三角形、最大子段和(PTA)递归方程:

  数字三角形:/* 动规转移方程: dp[i][j] = temp[i][j] + max(dp[i+1][j],dp[i+1][j+1]);*/

          dp[i][j]表示第i行第j个当前已走数字最大总和。

  最大子段和:/* 动规转移方程: dp[i] = max(dp[i-1]+num[i],num[i]);*/

          dp[i]表示以num[i]作为结尾元素时的最大字段和。

 

 

三、一道区间动态规划题点拨升华动态规划思想:

2.1  题目来源:

Vjudge:https://vjudge.net/contest/112701#problem/G

 

2.2  题目题干:

 You Are the One  

 

 

 2.3  题目大意:

  题目意思是:给定一个有序队伍,在进入舞台前,需要先进入一个狭小的黑屋子,最先进去的人最后出来,进入舞台的顺序会影响到每个人的愤怒值,每个人上台的时候的愤怒值为第k个人上场乘以自己的屌丝值,试问怎么安排人员进出狭小黑屋子能实现最小化愤怒值?

  这个问题简化来说,就是给定一个有序队列,进入一个栈中(也即题目的狭小黑屋子),然后通过不断地进栈出栈实现人员顺序调整,最后使得上台之后的所有人愤怒值总和最小。

 

2.4  题目思路:

  首先介绍一下区间DP:

  定义:区间dp就是在区间上进行动态规划,求解一段区间上的最优解。主要是通过合并小区间的 最优解进而得出整个大区间上最优解的dp算法。

  核心思路:既然让我求解在一个区间上的最优解,那么我把这个区间分割成一个个小区间,求解每个小区间的最优解,再合并小区间得到大区间即可。所以在代码实现上,我可以枚举区间长度len为每次分割成的小区间长度(由短到长不断合并),内层枚举该长度下可以的起点,自然终点也就明了了。然后在这个起点终点之间枚举分割点,求解这段小区间在某个分割点下的最优解。

  基本模板:

for(int len = 1;len<=n;len++){//枚举长度
        for(int j = 1;j+len<=n+1;j++){//枚举起点,ends<=n
            int ends = j+len - 1;
            for(int i = j;i<ends;i++){//枚举分割点,更新小区间最优解
                dp[j][ends] = min(dp[j][ends],dp[j][i]+dp[i+1][ends]+something);
            }
        }
    }

 

  本题思路:

  题意给出n个人,每个人都有他们自己的屌丝值,第k个人出场的愤怒值为(k-1)*屌丝值,现在有一个栈,可以通过栈的入栈出栈操作来实现调整队伍的方法,可以很明显的了解到这能够使用区间DP,也即把一个大的区间去转化成两个小区间,思想有点类似于分治法,对于一个人,如果他是第k个出场的,那么一定是i到i+k-1中以一种方式出场,然后这个人出场,然后i+k到j以一种方式出场,这样就分成了三个区间,[i,i]、[i+1,i+k-1]、[i+k,j]这三个区间。

令 dp[i][j] 表示从 i 到 j 这些人以一种出场顺序的最小值。
那么对于刚刚划分出来的三个区间 我们可以得到 dp[i][j] = dp[i+1][i+k-1] + (k-1)*a[i] + (sum[j]-sum[i+k-1])*k + dp[i+k][j]
dp[i+1][i+k-1] :表示先出场这一批人的最小愤怒值
(k-1)*a[i] :表示 i 出场时的愤怒值
dp[i+k][j] :表示后面这一批人的最小愤怒值
(sum[j]-sum[i+k-1])*k :表示后面这一批人需要额外加上的愤怒值

 

2.5  题目AC代码:

#include<bits/stdc++.h>
using namespace std; int times; int dp[1005][1005]; int main() { ios::sync_with_stdio(false); cin>>times; for(int i = 1;i<=times;i++) { int temp; cin>>temp; int *mark = new int[temp+1]; int *ans = new int[temp+1]; ans[0] = 0; for(int i = 1;i<=temp;i++) { ans[i] = 0; cin>>mark[i]; ans[i] = ans[i-1] + mark[i]; } for(int i=1;i<1005;i++) { for(int j=i+1;j<1005;j++) dp[i][j]=999999999; } for(int d=2; d<=temp; d++) { for(int i=1, j=d; j<=temp; i++, j++) { for(int k=1; k<=j-i+1; k++) { dp[i][j] = min(dp[i][j], dp[i+1][i+k-1]+dp[i+k][j]+(ans[j]-ans[i+k-1])*k+mark[i]*(k-1)); } } } cout<<"Case #"<<i<<": "<<dp[1][temp]<<endl; } }

 

 

四、 结对编程情况:

 

 

  经过第一次实践合作之后,第二次的实践合作更加顺利流畅,能够让双方都能在相同思路上齐头并进,当和三木小哥哥想到一起完成了算法设计、完成代码书写、成功AC一题之后,一种喜悦感涌上心头,虽然第三题有一小点WA了,不过还是很合作默契的哈哈,感谢三木小哥哥一直包容我的错误哈哈哈哈。

  相信在下一次结对编程会愈发顺利,加油。

 

 

如有不合理的地方,请及时指正,我愿听取改正~

参考链接:https://oi-wiki.org/