DP动态规划入门(数字三角形、破损的楼梯、安全序列)

一、动态规划(DP)简介

动态规划(Dynamic Programming,简称DP)是运筹学的一个分支,它是一种通过将复杂问题分解成多个重叠的子问题,并通过子问题的解来构建整个问题的解的算法。在动态规划中,有几个核心概念需要理解:

  1. 状态:状态通常表示为形如dp[i][j] = val的取值,其中i和j是用于描述和确定状态所需的变量(下标),而val则是该状态对应的值。
  2. 状态转移:状态转移描述了不同状态之间如何相互转化。这通常可以表示为一个数学表达式,而转移的方向则决定了算法是迭代还是递归地进行。
  3. 最终状态:最终状态即题目所要求解的状态,也是我们通过动态规划算法最终要得到的答案。

动态规划的关键在于找到子问题之间的重叠关系,并存储这些子问题的解以避免重复计算。通过这种方式,动态规划能够在多项式时间内解决一些看似复杂的问题,如背包问题、最短路径问题等。在实际应用中,动态规划被广泛用于优化和控制问题,以及计算机视觉、生物信息学等领域。

二、动态规划的解题步骤

步骤一:确定状态

首先,需要明确问题的状态表示。在动态规划问题中,状态通常定义为"到第i个为止,xx为j(xx为k)的方案数/最小代价/最大价值"等。这里,"i"、"j"和可能的"k"是状态的参数,它们根据具体问题而定。状态的确切定义取决于问题的性质和所需优化的目标(如最小代价、最大价值或方案数)。

步骤二:确定状态转移方程

状态转移方程是动态规划的核心,确定状态转移方程,即从已知状态得到新状态的方法,并确保按照这个方向一定可以正确地得到最终状态。根据状态转移的方向来决定使用迭代法还是递归法(记忆化)。状态转移方程的确立通常基于问题的特定条件和约束。

步骤三:确定最终状态并输出

最终状态通常是问题的解所对应的状态。在确定了状态转移方程后,我们需要按照这个方程迭代或递归地计算出所有可能的状态,直到达到最终状态。最终状态可能是通过迭代法逐步累积得到,也可能是通过递归法(结合记忆化以避免重复计算)逐步回溯得到。一旦到达最终状态,我们就可以根据问题的要求输出相应的解,如最小代价、最大价值或特定条件下的方案数。

综上所述,这三个步骤------确定状态、确定状态转移方程和确定最终状态并输出------构成了动态规划求解问题的一般框架。在实际应用中,根据具体问题的不同,这些步骤的具体实现方式也会有所不同。

三、线性DP例题

(一)数字三角形(最大路径)

上图给出了一个数字三角形。从三角形的顶部到底部有很多条不同的路径对于每条路径,把路径上面的数加起来可以得到一个和,你的任务就是找到最大的和(路径上的每一步只可沿左斜线向下或右斜线向下走)。

输入描述

输入的第一行包含一个整数 N(1 ≤ N < 100),表示三角形的行数。

下面的 N 行给出数字三角形。数字三角形上的数都是 0 至 99 之间的整数。

输出描述

输出一个整数,表示答案。

输入样例

5 7 3 8 8 1 0 2 7 4 4 4 5 2 6 5

输出样例

30

思路:

  • 从最后一层向上,取最大值累加。
  • 确定状态:设状态dp[ i ][ j ] = a[ i ][ j ] + max(dp[ i + 1 ][ j ], dp[ i + 1 ][ j + 1 ]);
  • 状态转移方程为dp[i][j]=max(dp[i+1]lj],dp[i +1][j + 1]) ;
  • 因为这里需要用下面的状态更新上面的,所以我们应该从下往上进行状态转移。最后输出dp[1][1]
#include<bits/stdc++.h>
using namespace std;
using ll = long long;
const int N = 105;
ll a[N][N], dp[N][N];

int main()
{
	int n; cin >> n;
	for (int i = 1; i <= n; ++i)
		for (int j = 1; j <= i; j++)
			cin >> a[i][j];
	for (int i = n; i >= 1; i--)
		for (int j = 1; j <= i; j++)
			dp[i][j] = a[i][j] + max(dp[i + 1][j], dp[i + 1][j + 1]);
	cout << dp[1][1] << '\n';
	return 0;
}

(二)破损的楼梯(方案数)

问题描述:

小蓝来到了一座楼梯前,楼梯共有N级台阶。从第0级台阶出发,小蓝每次可以迈上1级或2级台阶。但是,楼梯上的第a1级、第a2级、第a3级,以此类推,共M级台阶的台阶面已经坏了,不能踩。

小蓝想要到达楼梯的顶端,即第N级台阶,且不能踩到坏台阶。请问他有多少种到达顶端的方案数?由于方案数可能很大,请输出结果对取模的值。

样例输入

6 1 3

样例输出

4

思路:

  • 确定状态:状态dp[ i ]表示走到第 i 级台阶的方案数。

  • 确定状态转移方程:在正常的楼梯上,我们可以从第i - 1级台阶或第i - 2级台阶走到第 i 级台阶,因此状态转移方程为dp[ i ] = dp[ i-1 ]+dp[ i - 2 ]。

  • 然而,如果第 i 级台阶是破损的,则不能走到该台阶,此时我们需要将dp[ i ]设为0。

  • 最后我们输出dp[ n ],表示走到第 n 级台阶的方案数

    #include<bits/stdc++.h>
    using namespace std;
    const int p = 1e9 + 7;
    int n, m;
    int main()
    {
    cin >> n >> m;
    vector<int>dp(n + 1, 1);int temp = 0;
    for (int i = 1; i <= m; i++)
    {
    cin >> temp;
    dp[temp] = 0;
    }
    for (int i = 2; i <= n; i++)
    {
    if (!dp[i])continue;
    dp[i] = (dp[i - 1] + dp[i - 2]) % p;
    }
    cout << dp[n] << '\n';

      return 0;
    

    }

(三)安全序列(方案数)

问题描述

小蓝是工厂里的安全工程师,他负责在工厂里安全地放置危险品油桶。工厂的空位排列成一条直线,共有n个空位。小蓝需要按照特定的规则在这些空位上放置油桶:每两个油桶之间至少需要k个空位隔开。现在,小蓝想知道有多少种不同的放置方案可以满足这些条件。由于可能的方案数非常大,输出结果需要对10^9 + 7取模。

输入格式

输入包含两个正整数n和k,分别表示空位的数量和每两个油桶之间至少需要的空位数。

输出格式

输出一个整数,表示满足条件的放置方案数对10^9 + 7取模的结果。

样例输入

4 1

样例输出

6

说明

在样例中,有4个空位,每两个油桶之间至少需要1个空位。可能的放置方案有6种,分别是:0000(不放任何油桶),1000,0100,0010,0001和1001(其中1表示放置油桶,0表示不放)。注意,这里的方案数已经对10^9 + 7取模。

评测数据规模

对于所有评测数据,1 ≤ n ≤ 10^9,1 ≤ k ≤ n-1。

思路:

首先,我们定义dp[i]为在前i个空位中放置油桶的方案数。然后,我们需要计算前缀和数组prefix。对于每个位置i,prefix[i]表示从位置0到位置i为止的所有放置方案数的总和。

ll dp[N], prefix[N];

循环遍历判断每个位置之前没有足够的空间放置另一个油桶 。

如果当前位置减去k再减1小于1,则dp[ i ]为1。

否则,dp[ i ]的值等于前缀和数组在( i - 1 - k )位置的值。

if (i - k - 1 < 1)dp[i] = 1;
else dp[i] = prefix[i - 1 - k];

设状态dp[ i ]表示以位置i结尾的方案总数,状态转移方程:

但是直接去求和肯定会超时,所以我们需要利用前缀和来优化时间复杂度(注意取模)。

prefix[i] = (prefix[i - 1] + dp[i]) % p;

计算到当前位置为止,包括所有符合条件的放置方案数的总和。

#include<bits/stdc++.h>
using namespace std;
using ll = long long;
const ll N = 1e6 + 9, p = 1e9 + 7;

ll dp[N], prefix[N];

int main()
{
	int n, k; cin >> n >> k;
	dp[0] = prefix[0] = 1;// 初始化dp和prefix数组的第0项为1,表示空序列的方案数为1
	for (int i = 1; i <= n; ++i)// 遍历1到n,计算每个位置的dp值和前缀和
	{
		if (i - k - 1 < 1)dp[i] = 1;
		// 如果当前位置减去k再减1小于1,则dp[i]为1
		// 说明在当前位置之前没有足够的空间放置另一个油桶,
		// 因此在这种情况下,只能选择不放置油桶,所以'dp[i]'被设为'1'。
		else dp[i] = prefix[i - 1 - k];
		// 否则,dp[i]的值等于前缀和数组在(i-1-k)位置的值
		// 这表示从位置'0'到位置'i-k-1'的所有放置方案数。
		// 这样做是因为每两个油桶之间需要至少'k'个空位,
		// 因此'dp[i]'实际上继承了在'i-k-1'位置及之前能放置油桶的所有方案。

		prefix[i] = (prefix[i - 1] + dp[i]) % p;
		// 计算到当前位置为止,包括所有符合条件的放置方案数的总和,并将结果模上'p'以防溢出。
	}
	cout << prefix[n] << '\n';

	return 0;
}

今天就先到这了!!!

看到这里了还不给博主扣个:

⛳️ 点赞☀️收藏 ⭐️ 关注!

你们的点赞就是博主更新最大的动力!

有问题可以评论或者私信呢秒回哦。

相关推荐
烦躁的大鼻嘎5 分钟前
模拟算法实例讲解:从理论到实践的编程之旅
数据结构·c++·算法·leetcode
C++忠实粉丝22 分钟前
计算机网络socket编程(4)_TCP socket API 详解
网络·数据结构·c++·网络协议·tcp/ip·计算机网络·算法
用户37791362947551 小时前
【循环神经网络】只会Python,也能让AI写出周杰伦风格的歌词
人工智能·算法
福大大架构师每日一题1 小时前
文心一言 VS 讯飞星火 VS chatgpt (396)-- 算法导论25.2 1题
算法·文心一言
EterNity_TiMe_1 小时前
【论文复现】(CLIP)文本也能和图像配对
python·学习·算法·性能优化·数据分析·clip
机器学习之心1 小时前
一区北方苍鹰算法优化+创新改进Transformer!NGO-Transformer-LSTM多变量回归预测
算法·lstm·transformer·北方苍鹰算法优化·多变量回归预测·ngo-transformer
yyt_cdeyyds1 小时前
FIFO和LRU算法实现操作系统中主存管理
算法
alphaTao2 小时前
LeetCode 每日一题 2024/11/18-2024/11/24
算法·leetcode
kitesxian2 小时前
Leetcode448. 找到所有数组中消失的数字(HOT100)+Leetcode139. 单词拆分(HOT100)
数据结构·算法·leetcode
VertexGeek3 小时前
Rust学习(八):异常处理和宏编程:
学习·算法·rust