返回

深入浅出:递归函数的时间复杂度分析与示例

原创
admin的头像admin·发布于 2025-07-20 21:46·阅读 39

1. 什么是递归及其时间复杂度

递归(Recursion)是函数调用自身来解决问题的编程技术。时间复杂度分析需考虑每次调用的额外工作量、递归深度以及分支数目。

“递归结束的条件”称为递归出口,若出口设置不当可能导致无限循环或栈溢出。 (Hexo)


2. Master 定理:分治算法的利器

对于形如:

复制代码
T(n) = a · T(n/b) + f(n)

的递归式,Master 定理可直接给出三种情形的渐近解:

  1. f(n)=O(n^{\log_b a-\epsilon}),则 T(n)=\Theta(n^{\log_b a})
  2. f(n)=\Theta(n^{\log_b a}),则 T(n)=\Theta(n^{\log_b a}\log n)
  3. f(n)=\Omega(n^{\log_b a+\epsilon}), 满足正则性条件,则 T(n)=\Theta(f(n))。 (博客园)

3. 递归树(Recursion Tree)方法

递归树将每一层的子问题规模与调用次数可视化,将总成本分解为各层之和:

  • 层 0:问题规模 n,总成本 f(n)
  • 层 i:有 a^i 个子问题,每个规模 n/b^i,成本 a^i·f(n/b^i)
  • 深度:直到子问题规模降至常数,树高约为 \log_b n
    归纳求和后得出渐近形式。 (labuladong 的算法笔记)

4. 经典示例

4.1 阶乘函数

cpp 复制代码
int fact(int n) {
    if (n<=1) return 1;
    return n * fact(n-1);
}

递归深度为 n,单次调用 O(1),总时耗 T(n)=T(n-1)+O(1)=O(n)。 (开源中国)

4.2 朴素斐波那契

cpp 复制代码
int fib(int n) {
    if (n<2) return n;
    return fib(n-1) + fib(n-2);
}

每次分成两次子调用,形成完全二叉递归树,调用总数约为 2^n,复杂度 O(φ^n)

4.3 Merge Sort

Merge Sort 采用分治法,递归式 T(n)=2T(n/2)+Θ(n)

  • Master 定理第二种情形,a=2,b=2,f(n)=Θ(n)=Θ(n^{\log_2 2})
  • T(n)=Θ(n\log n)。 (博客园)

5. 小结与实践建议

  • 选择方法:Master 定理适用于简单分治式;递归树法适合自定义 f(n) 形式。
  • 注意递归出口:避免栈深过深或无限循环。
  • 结合记忆化/动态规划:对“树递归”如斐波那契进行优化,将指数级复杂度降至多项式或线性。

深入练习以上示例,掌握定理与实践相结合,助力算法面试与项目开发!

作者的其他文章
IP地址配置HTTPS 内网IP配置HTTPS保姆教程
本文介绍了在Nginx中配置HTTPS的完整流程:1)使用OpenSSL生成自签名证书和私钥;2)解密私钥以避免重启时输入密码;3)配置Nginx支持HTTPS,包括指定证书路径、设置安全协议和加密套件等。适用于开发、测试和内网环境,但需注意自签名证书会触发浏览器警告,生产环境建议使用CA签发的正式证书。通过简单的命令和配置即可实现基本的HTTPS加密保护。
IP地址配置HTTPS 内网IP配置HTTPS保姆教程
Docker 数据目录迁移完整指南:从 /var/lib/docker 迁移到自定义路径
本文介绍了将 Docker 数据目录从 /var/lib/docker 迁移到自定义路径 /data2/docker/data 的完整过程,包括停止 Docker 服务、复制数据、修改配置文件及验证数据完整性。提供了常见问题的解决方案,帮助用户在空间不足时顺利迁移 Docker 数据。
Docker 数据目录迁移完整指南:从 /var/lib/docker 迁移到自定义路径
2025年必备:让Nginx配置清晰如诗的工具推荐
文章浏览阅读464次,点赞4次,收藏4次。本文介绍了格式化Nginx配置文件的重要性,指出良好格式能提升可读性、团队协作效率和降低错误风险。文章推荐了2025年优秀的在线格式化工具,这类工具应具备操作简单、专业格式化效果、安全保障等特性。建议将格式化工具集成到开发流程中,并制定团队规范,以优雅管理Nginx配置。文末推荐了一个专业在线格式化工具,帮助开发者高效处理配置文件。
2025年必备:让Nginx配置清晰如诗的工具推荐
Claude 命令大全:从入门到精通的终端操作指南(2025 最新)
本教程全面整理 *Claude 命令行(CLI)使用指南*,从基础启动命令、项目管理、权限控制、模型切换到高级思考模式,全方位提升开发者在终端中使用 Claude 的效率。适合新手与资深开发者收藏参考。
Claude 命令大全:从入门到精通的终端操作指南(2025 最新)
屏幕检测专家 — 专业的在线屏幕测试工具
屏幕检测专家 — 专业的在线屏幕测试工具
屏幕检测专家 — 专业的在线屏幕测试工具
Keye-VL-1.5-8B(快手 Keye-VL)— 腾讯云两卡 32GB GPU **保姆级** 部署指南(Ubuntu 22.04 / CUDA 12.2 / Driver 535.216.01 / Python 3.10)
保姆级教程:在腾讯云两卡 32GB GPU(Ubuntu 22.04 / CUDA 12.2)上完整部署快手 Keye-VL-1.5-8B。包含驱动安装、conda 环境、PyTorch、bitsandbytes、vLLM、ModelScope 模型下载与 Gradio demo 运行步骤及常见排错。适合工程复现与上线优化。
Keye-VL-1.5-8B(快手 Keye-VL)— 腾讯云两卡 32GB GPU **保姆级** 部署指南(Ubuntu 22.04 / CUDA 12.2 / Driver 535.216.01 / Python 3.10)
Ubuntu系统ECS重启后“/etc/resolv.conf”被还原怎么办?
处理方法 在处理前,建议先禁用systemd-resolved服务。 方法一:手动修改/etc/resolv.conf文件。 以root用户登录ECS。 关闭并禁用systemd-resolved服务
共享打印机报错连不上怎么办?修复错误代码(0x000006d9/0x0000011b 等)最新Win10/11 共享打印机常见问题 + 解决教程,附工具!
Win11 打印机共享报错全面修复指南:涵盖 0x000006d9、0x0000011b、0x0000007e 等常见码,并提供一键 PowerShell 工具,十分钟内搞定老款惠普共享打印机。
共享打印机报错连不上怎么办?修复错误代码(0x000006d9/0x0000011b 等)最新Win10/11 共享打印机常见问题 + 解决教程,附工具!
实战Spring Boot + Vue 集成 Activiti 工作流引擎 | 双模式简单 & 自定义审批平台
基于 Spring Boot 与 Vue 的高效工作流平台,支持简单模式与自定义模式双引擎,在线流程建模、版本管理、审批节点灵活配置,多渠道消息通知,Docker/K8s 部署,高可用与可扩展。
2025 年国内 Docker/DockerHub 镜像源加速列表(7 月 28 日更新 · 长期维护)
2025 年最新国内 Docker Hub 镜像源加速列表,包含轩辕镜像、腾讯云、阿里云、DaoCloud、AtomHub 等多家稳定 CDN 服务,附详细配置教程与常见问题说明,适用于 Linux、macOS、Windows 平台。
2025 年国内 Docker/DockerHub 镜像源加速列表(7 月 28 日更新 · 长期维护)