news 2026/6/15 20:29:44

递归思想的思路分享

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
递归思想的思路分享

文章目录


你的感悟非常深刻!👏
“考虑太多冗余条件,使得函数复杂,无法形成递归” —— 这正是很多初学者(甚至有经验的开发者)在写递归/动态规划时最容易陷入的陷阱。

而你提到的 “只考虑最简单情况 + 一个数量关系,用递归四两拨千斤”,恰恰是递归与 DP 的核心哲学。

下面我们来系统总结:如何写出简洁、优雅、有效的递归?

🌟 一、递归设计的核心原则

✅ 原则1:只关心“当前一步”做什么,其余交给递归

  • 不要试图在当前层“把所有事情做完”
  • 只需回答两个问题:
    1. 我现在能做什么选择?(比如:选 or 不选硬币)
    2. 每种选择后,剩下的问题是什么?(子问题)

💡 递归的魔力在于:相信子问题会被正确解决,你只需组合结果。

例子:零钱兑换

  • 当前选择:用 or 不用 coins[i]
  • 子问题:
    • 不用 → dfs(i-1, c)
    • 用 → dfs(i, c - coins[i])(因为可重复用)
  • 组合:取最小值 + 1(如果用了)

不需要判断“能不能整除”、“余数是否为0”等中间细节!

✅ 原则2:边界条件越简单越好

  • 最理想的 base case 是:
    • if amount == 0: return 0
    • if i 0: return inf
  • 不要在中间加各种 elif 分支,除非绝对必要

❌ 冗余条件示例(你之前写的):
if amount % coin == 0:
return …
elif amount % coin != amount:

这些都是试图提前优化,但破坏了递归结构。

✅ 正确做法:让递归自然走到 c == 0 或 c < 0,由 base case 处理。

✅ 原则3:状态定义要“刚好足够”

  • 状态变量(如 i, c)应该恰好描述子问题的全部信息
  • 不能多(导致状态爆炸),也不能少(无法转移)

在零钱兑换中:

  • i:考虑到第几个硬币(控制“可用硬币集合”)
  • c:还需要凑多少钱(控制“目标”)

这两个就刚好足够,不多不少。

🛠 二、递归构思的实用技巧

🔧 技巧1:从“暴力递归”开始,再加缓存
先不考虑效率,写出最朴素的递归:

def dfs©:
if c == 0: return 0
if c < 0: return inf
res = inf
for coin in coins:
res = min(res, dfs(c - coin) + 1)
return res

✅ 这个版本逻辑极其清晰!
然后再加 @cache 就变成高效解法。

📌 先写对,再优化。不要一开始就想着剪枝、提前终止。

🔧 技巧2:用“选 or 不选”框架处理组合问题
很多 DP 问题都可以套这个模板:
问题类型 决策 状态转移
0-1 背包 选 or 不选(物品只能用一次) dfs(i-1, w) vs dfs(i-1, w - weight[i]) + value[i]

完全背包 选 or 不选(物品可用多次) dfs(i-1, w) vs dfs(i, w - weight[i]) + value[i]

子集/排列 选 or 不选当前元素 dfs(i+1, path) vs dfs(i+1, path + [x])

你只需要识别问题属于哪一类,套用对应转移即可。

🔧 技巧3:画一个小例子,手动模拟递归树
比如 coins=[1,2], amount=3,手动展开:

dfs(3)
├─ 1 + dfs(2)
│ ├─ 1 + dfs(1)
│ │ └─ 1 + dfs(0) = 1 → total=3
│ └─ 1 + dfs(0) = 1 → total=2
└─ 1 + dfs(1)
└─ … → total=2
→ min = 2

通过这个过程,你会直观看到状态如何转移,从而写出正确代码。

🔧 技巧4:避免“过程思维”,采用“结果思维”

  • ❌ 错误思维:“我该怎么一步步凑出金额?”
  • ✅ 正确思维:“最少硬币数 = 1 + min(凑出 amount - coin 的最少硬币数)”

递归是自顶向下、结果导向的,不是过程模拟。

🧘 三、心法:如何培养“递归直觉”?

  1. 多写暴力递归(哪怕超时),感受子问题结构
  2. 刻意练习经典模型:斐波那契、爬楼梯、背包、子集、全排列
  3. 每次写完问自己:
    • 我的状态定义是否清晰?
    • 我的 base case 是否覆盖所有终止情况?
    • 我是否在当前层做了本该由子问题处理的事?

✅ 回到你的顿悟

“正确答案就考虑最简单情况,还有使用一个数量关系,利用递归产生四两拨千斤的效果”

这正是分治思想的体现:

  • 把大问题拆成小问题
  • 小问题和大问题结构相同
  • 只需定义好“如何拆”和“如何合”

而 min(dfs(i-1, c), dfs(i, c - coins[i]) + 1) 就是这个“拆与合”的完美表达。

🎁 最后送你一句口诀:

“状态定义清,边界写得简;
当前做选择,其余靠递归。”

坚持这样思考,你的递归和 DP 能力会飞速提升!🚀

如果你愿意,我可以给你几道“从暴力递归 → 记忆化 → DP”的渐进式练习题 😊

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/6/15 15:52:17

当AI学会“听诊”:心肺听诊分析系统,正在悄悄改变医疗

医生戴上听诊器的那一刻&#xff0c;世界仿佛安静了下来。 心跳、呼吸、杂音——这些细微却关键的声音&#xff0c;决定着诊断的方向。 但你有没有想过&#xff1a; 如果有一个AI&#xff0c;能和医生一起“听”&#xff0c;甚至比人类更稳定、更全面&#xff0c;会发生什么&a…

作者头像 李华
网站建设 2026/6/15 19:22:03

常见ADC解析

1. 逐次逼近型ADC 架构原理&#xff1a;采用二分搜索算法实现转换。核心组件包含比较器、数模转换器和逐次逼近寄存器。转换周期起始时&#xff0c;SAR寄存器高位置1&#xff0c;DAC产生半量程电压。比较器判定模拟输入与DAC输出电压的大小关系&#xff0c;确定该位保留或清零…

作者头像 李华
网站建设 2026/6/15 15:46:40

Linux命令-lsattr(查看文件的第二扩展文件系统属性)

&#x1f9ed;说明 lsattr 命令用于显示文件或目录在Linux文件系统中的隐藏属性。这些属性提供了对文件更精细的控制&#xff0c;例如设置文件只可追加内容或不可修改&#xff0c;常用于系统安全和数据保护。 下面这个表格整理了 lsattr 命令的常用选项。选项说明-a列出目录下的…

作者头像 李华
网站建设 2026/6/15 20:10:57

官宣升级!Claude Opus 4.6 正式发布,能力全面拉满,一步 API 即刻畅用

Anthropic 再次放出重磅更新&#xff0c;旗下旗舰级大模型 Claude Opus 4.6 正式亮相。本次版本不仅对核心能力进行了系统级强化&#xff0c;还同步上线多项高价值功能&#xff0c;面向开发者和企业用户全面升级。 更重要的是&#xff0c;如今无需繁琐的官方流程&#xff0c;通…

作者头像 李华