当前位置: 首页 > news >正文

深入理解动态规划:从斐波那契数列到最优子结构

引言

动态规划(Dynamic Programming, DP)是算法设计中一种非常重要的思想,广泛应用于解决各类优化问题。许多看似复杂的问题,通过动态规划的视角分析,往往能找到高效的解决方案。本文将系统介绍动态规划的核心概念,通过经典案例展示其应用,并探讨如何识别和解决动态规划问题。

一、什么是动态规划?

动态规划是一种分治思想的延伸,主要用于解决具有重叠子问题和最优子结构性质的问题。与普通的分治算法不同,动态规划会保存已解决的子问题的答案,避免重复计算,从而显著提高效率。

动态规划通常用于两类问题:

  1. 优化问题:寻找问题的最优解(最大或最小值)
  2. 组合问题:计算满足特定条件的解的数量

2. 动态规划的核心思想

动态规划适用于具有以下两个关键性质的问题:

  1. 重叠子问题(Overlapping Subproblems) :问题可以分解为若干子问题,且子问题之间存在重复计算。
  2. 最优子结构(Optimal Substructure) :问题的最优解可以由子问题的最优解推导而来。

动态规划通常有两种实现方式:

  • 自顶向下(Top-Down) :递归 + 记忆化(Memoization)
  • 自底向上(Bottom-Up) :迭代 + DP 表

3. 从斐波那契数列理解动态规划

3.1 递归解法的问题

斐波那契数列定义:

  • F(0)=0F(0)=0
  • F(1)=1F(1)=1
  • F(n)=F(n−1)+F(n−2)F(n)=F(n−1)+F(n−2) (n≥2n≥2)

递归实现(C++)

int fib(int n) {if (n <= 1) return n;return fib(n - 1) + fib(n - 2);
}

问题:时间复杂度 O(2n),存在大量重复计算(如 fib(3) 被多次计算)。

3.2 记忆化递归(Top-Down DP)

使用数组或哈希表存储已计算的结果:

int fibMemo(int n, vector<int>& memo) {if (n <= 1) return n;if (memo[n] != -1) return memo[n];memo[n] = fibMemo(n - 1, memo) + fibMemo(n - 2, memo);return memo[n];
}int fib(int n) {vector<int> memo(n + 1, -1);return fibMemo(n, memo);
}

优化后时间复杂度:O(n),空间复杂度 O(n)。

3.3 自底向上 DP(Bottom-Up DP)

用迭代方式计算:

int fib(int n) {if (n <= 1) return n;vector<int> dp(n + 1);dp[0] = 0;dp[1] = 1;for (int i = 2; i <= n; i++) {dp[i] = dp[i - 1] + dp[i - 2];}return dp[n];
}

进一步优化空间(仅保留前两个状态):

int fib(int n) {if (n <= 1) return n;int a = 0, b = 1;for (int i = 2; i <= n; i++) {int c = a + b;a = b;b = c;}return b;
}

时间复杂度:O(n),空间复杂度:O(1)。


4. 最优子结构与状态转移方程

动态规划的关键在于:

  1. 定义状态(如 dp[i] 表示第 i 个问题的解)。
  2. 找到状态转移方程(递推关系)。
  3. 初始化边界条件(如 dp[0]dp[1])。

例题 1:爬楼梯(LeetCode 70)

题目链接

  • 问题:每次可以爬 1 或 2 阶台阶,求爬到第 n 阶的方法数。

  • 状态定义dp[i] 表示爬到第 i 阶的方法数。

  • 状态转移方程

    dp[i]=dp[i−1]+dp[i−2]dp[i]=dp[i−1]+dp[i−2]

  • C++ 实现

int climbStairs(int n) {if (n <= 2) return n;int a = 1, b = 2;for (int i = 3; i <= n; i++) {int c = a + b;a = b;b = c;}return b;
}

例题 2:最大子数组和(LeetCode 53)

题目链接

  • 问题:给定整数数组 nums,求连续子数组的最大和。

  • 状态定义dp[i] 表示以 nums[i] 结尾的最大子数组和。

  • 状态转移方程

    dp[i]=max⁡(dp[i−1]+nums[i],nums[i])dp[i]=max(dp[i−1]+nums[i],nums[i])

  • C++ 实现

int maxSubArray(vector<int>& nums) {int maxSum = nums[0], currSum = nums[0];for (int i = 1; i < nums.size(); i++) {currSum = max(currSum + nums[i], nums[i]);maxSum = max(maxSum, currSum);}return maxSum;
}

例题 3:最长递增子序列(LeetCode 300)

题目链接

  • 问题:求数组中最长的严格递增子序列长度。

  • 状态定义dp[i] 表示以 nums[i] 结尾的最长递增子序列长度。

  • 状态转移方程

    dp[i]=max⁡(dp[j]+1)其中0≤j<i且nums[j]<nums[i]dp[i]=max(dp[j]+1)其中0≤j<i且nums[j]<nums[i]

  • C++ 实现

int lengthOfLIS(vector<int>& nums) {int n = nums.size();vector<int> dp(n, 1);int maxLen = 1;for (int i = 1; i < n; i++) {for (int j = 0; j < i; j++) {if (nums[j] < nums[i]) {dp[i] = max(dp[i], dp[j] + 1);}}maxLen = max(maxLen, dp[i]);}return maxLen;
}

5. 动态规划的优化技巧

  1. 空间优化:如斐波那契数列问题,仅存储前两个状态。
  2. 状态压缩:如 0-1 背包问题,可将二维 DP 优化为一维。
  3. 贪心优化:如股票买卖问题,可结合贪心思想优化 DP。

6. 总结

动态规划的核心在于:

  • 定义状态dp[i] 表示什么?)
  • 找到状态转移方程(如何递推?)
  • 初始化边界条件dp[0]dp[1] 的值?)

通过斐波那契数列、爬楼梯、最大子数组和、最长递增子序列等经典问题,我们可以逐步掌握动态规划的解题思路。后续可进一步学习:

  • 背包问题(LeetCode 416, 494)
  • 股票买卖问题(LeetCode 121, 122, 123)
  • 字符串 DP(LeetCode 72, 1143)

希望本文能帮助你深入理解动态规划,并在算法竞赛和面试中灵活运用!🚀

http://www.dtcms.com/a/201206.html

相关文章:

  • ORPO:让大模型调优更简单高效的新范式
  • Ubuntu——配置静态IP
  • python next 函数
  • 大模型训练计算显存占用
  • 部署springBoot项目的脚本-linux
  • 【MYSQL】基本查询,表的增删查改
  • 树莓派系列教程第八弹:结合 ESP32-CAM 实现远程摄像头监控
  • Effective C++阅读笔记(item 1-4)
  • 【Vue】路由2——编程式路由导航、 两个新的生命周期钩子 以及 路由守卫、路由器的两种工作模式
  • 网络工程师案例分析
  • 【Android】一键创建Keystore + Keystore 参数说明 + 查询SHA256(JDK Keytool Keystore)
  • 从 “龟速” 到流畅,英国 - 中国 SD-WAN 专线让分公司直连总部系统
  • js逆向反调试的基本 bypass
  • 智慧招生:实时数字人在院校招生中的应用
  • 深度学习实战107-基于Qwen3+GraphRAG+Agent的智能文档管理系统:精准问答与决策支持
  • 【OSS】如何使用OSS提供的图片压缩服务
  • 大二周周练翻译
  • 动态规划-LCR 089.打家劫舍-力扣(LeetCode)
  • 多类别异常检测新SOTA-MVMCAD
  • 如何通过生成式人工智能认证(GAI认证)提升自己的技能水平?
  • 中小实验室质检LIMS 系统选型 从成本管控到竞争力升级的黄金法则
  • Mybatis操作数据库(2)
  • [学习]POSIX消息队列的原理与案例分析(完整示例代码)
  • 基于DolphinScheduler抽取通用EventBus组件:支持延迟与事件驱动
  • Ubuntu开机自启服务
  • 关于systemverilog中在task中使用force语句的注意事项
  • 第三十八节:视频处理-视频保存
  • 线程调度与单例模式:wait、notify与懒汉模式解析
  • 麦克风与扬声器的关键区别 [特殊字符]
  • SpringBoot+ELK 搭建日志监控平台