# 算法思维入门
::: tip 前言
**如何高效地解决问题?** 你可能遇到过这样的困惑:同一个问题,有人写的代码跑几秒就出结果,有人写的跑几分钟还在转。差别往往在于算法。本章带你理解算法的核心思维方式。
:::
**这篇文章会带你学什么?**
学完这章后,你将获得:
- **问题拆解能力**:面对复杂问题,能想到用分治、递归等策略拆解,而不是一上来就写代码
- **效率判断能力**:用大 O 表示法判断两种解法哪个更高效,而不是凭感觉猜测
- **复杂度思维**:写代码前先估算数据规模和时间要求,选择合适的算法级别
- **后续学习基础**:为高级数据结构、分布式系统、机器学习打下基础
| 章节 | 内容 | 核心概念 |
|-----|------|---------|
| **第 1 章** | 二分查找 | 分治思想、O(log n) |
| **第 2 章** | 排序算法 | 冒泡、快排、归并 |
| **第 3 章** | 复杂度分析 | 时间复杂度、空间复杂度 |
---
## 0. 全景图:算法是什么?
想象你要在一本字典里找一个单词:
- **方法一**:从第一页开始,一页一页翻(线性查找)
- **方法二**:根据首字母定位,再二分查找(二分查找)
两种方法都能找到,但效率天差地别。**算法就是解决问题的方法**。
**算法的核心指标:**
| 指标 | 含义 | 为什么重要 |
|------|------|-----------|
| **时间复杂度** | 运行时间随数据量增长的趋势 | 预测大规模数据的性能 |
| **空间复杂度** | 内存占用随数据量增长的趋势 | 评估内存消耗 |
| **正确性** | 是否总能得到正确结果 | 算法的基本要求 |
::: tip 📊 逐行解读这张表
**时间复杂度**:用大 O 表示法描述。O(n) 表示数据量翻倍,时间翻倍;O(n²) 表示数据量翻倍,时间变成 4 倍。
**空间复杂度**:同样用大 O 表示法。有些算法用空间换时间(如哈希表),有些用时间换空间(如压缩算法)。
**正确性**:算法必须对所有可能的输入都能给出正确结果。边界条件(空输入、极大输入)最容易出错。
:::
---
## 1. 二分查找:每次排除一半
### 1.1 二分查找的原理
::: tip 💡 二分查找如何工作?
**前提**:数据必须有序
**过程**:
1. 找到中间元素
2. 如果中间元素等于目标,找到!
3. 如果目标小于中间元素,在左半部分继续
4. 如果目标大于中间元素,在右半部分继续
5. 每次排除一半,直到找到或确定不存在
**时间复杂度**:O(log n)
**生活类比**:猜数字游戏。我想一个 1-100 的数,你每次猜中间,我告诉你大了还是小了。最多猜 7 次就能猜中(因为 2⁷ = 128 > 100)。
:::
👇 **动手试试看**:
下面这个演示展示了二分查找的工作原理,你可以选择顺序查找或二分查找来对比:
### 1.2 为什么二分查找这么快?
| 数据量 | 线性查找 | 二分查找 |
|--------|---------|---------|
| 100 | 100 次 | 7 次 |
| 1,000 | 1,000 次 | 10 次 |
| 1,000,000 | 1,000,000 次 | 20 次 |
| 1,000,000,000 | 1,000,000,000 次 | 30 次 |
::: tip � 逐行解读这张表
**第一列(数据量)**:要查找的数据有多少。可以看到数据量从 100 增长到 10 亿(扩大了 1000 万倍!)
**第二列(线性查找)**:最"笨"的方法,从第一个开始一个一个找。查找次数等于数据量,数据量越大,查找次数越多。
**第三列(二分查找)**:聪明的方法,每次排除一半。查找次数只和数据量的对数有关,即使 10 亿数据也只需要 30 次!
**对比结论**:当数据量达到 100 万时,线性查找需要 100 万次,二分查找只需要 20 次——差距达 5 万倍!
:::
::: tip � 对数增长的威力
二分查找的时间复杂度是 O(log n),这意味着:
- 10 亿数据,最多查找 30 次
- 1 万亿数据,最多查找 40 次
这就是对数增长的威力——数据量增加 1000 倍,查找次数只增加 10 次。
:::
---
## 2. 排序:将无序变有序
### 2.1 常见排序算法
| 算法 | 时间复杂度 | 特点 | 适用场景 |
|------|-----------|------|---------|
| **冒泡排序** | O(n²) | 简单但慢 | 教学、小数据量 |
| **选择排序** | O(n²) | 简单但慢 | 小数据量 |
| **插入排序** | O(n²) | 对近乎有序的数据快 | 小数据、近乎有序 |
| **快速排序** | O(n log n) | 实际最快 | 通用排序 |
| **归并排序** | O(n log n) | 稳定排序 | 需要稳定性的场景 |
| **堆排序** | O(n log n) | 原地排序 | 内存受限场景 |
::: tip 📊 逐行解读这张表
**冒泡排序**:最基础的排序算法,就像水底的气泡往上冒一样。简单易懂,但速度最慢。适合学习排序思想,不适合实际使用。
**选择排序**:每次选出最小的放到前面。也很简单,但无论数据是否有序都要做同样多的比较。
**插入排序**:像打扑克牌时整理手牌一样。把每个元素插入到前面已经排好序的部分中。对近乎有序的数据效率很高。
**快速排序**:实际开发中最常用的排序。平均情况下最快,但最坏情况(数据已经有序)会退化到 O(n²)。
**归并排序**:采用"分而治之"的思想,总是 O(n log n),但需要额外空间。适合需要稳定排序的场景。
**堆排序**:利用堆这种数据结构的排序,原地排序(不需要额外空间),但实际运行往往比快速排序慢。
:::
### 2.2 为什么快速排序"快"?
::: tip 💡 快速排序的原理
**核心思想**:分治法
1. 选一个"基准"元素
2. 把比基准小的放左边,比基准大的放右边
3. 对左右两部分递归排序
4. 合并结果
**为什么快?**
- 每次划分后,基准元素就到了最终位置
- 平均情况下,每次划分大约排除一半元素
- 时间复杂度 O(n log n)
**生活类比**:整理书架。先抽出一本书,把比它薄的放左边,比它厚的放右边。然后对左右两堆分别重复这个过程。
:::
👇 **动手试试看**:
下面这个演示展示了排序算法的可视化,你可以生成数组,观察冒泡排序和快速排序的过程对比:
---
## 3. 递归:自己调用自己
### 3.1 递归的本质
::: tip 💡 什么是递归?
**递归**是函数调用自身的编程技巧。
**两个关键要素**:
1. **基本情况**:什么时候停止递归?
2. **递归步骤**:如何把问题分解成更小的子问题?
**经典例子:阶乘**
```js
function factorial(n) {
if (n <= 1) return 1 // 基本情况
return n * factorial(n - 1) // 递归步骤
}
```
**生活类比**:俄罗斯套娃。打开一个娃娃,里面是更小的娃娃,直到最小的那个打不开为止。
:::
### 3.2 递归 vs 迭代
| 特性 | 递归 | 迭代(循环) |
|------|------|-------------|
| **代码简洁度** | 通常更简洁 | 可能更复杂 |
| **内存消耗** | 较高(调用栈) | 较低 |
| **性能** | 稍慢(函数调用开销) | 更快 |
| **适用场景** | 树遍历、分治算法 | 简单重复任务 |
::: tip 📊 逐行解读这张表
**代码简洁度**:递归通常只需要几行代码就能表达复杂的逻辑(如遍历树结构),而用循环可能需要更多的变量和嵌套。
**内存消耗**:递归会使用"调用栈"来保存每一层的信息,就像叠盘子一样,每递归一层就多一个盘子。循环则不需要这种开销。
**性能**:每次函数调用都有开销(参数传递、栈操作等),所以递归通常比循环慢一些。
**适用场景**:递归擅长处理本身就是递归结构的问题(如文件树、DOM 树);循环擅长简单的重复操作(如遍历数组)。
:::
::: warning ⚠️ 递归的陷阱
**栈溢出**:递归层次太深,调用栈空间耗尽。
**解决方法**:
- 改用迭代
- 使用尾递归优化(某些语言支持)
- 限制递归深度
:::
👇 **动手试试看**:
下面这个演示展示了递归的调用过程,观察函数如何自己调用自己:
---
## 4. 贪心算法:每步选最优
### 4.1 贪心的思想
::: tip 💡 什么是贪心算法?
**贪心算法**在每一步都选择当前看起来最优的选择,希望最终得到全局最优解。
**适用条件**:
1. **贪心选择性质**:局部最优能导致全局最优
2. **最优子结构**:问题的最优解包含子问题的最优解
**经典例子:硬币找零**
- 目标:用最少的硬币凑出指定金额
- 贪心策略:每次选最大的硬币
- 结果:67 元 = 50 + 10 + 5 + 1 + 1(5 枚)
**生活类比**:登山时,每次都选最陡的路往上走。虽然不一定能到最高峰,但通常能到不错的位置。
:::
### 4.2 贪心的局限性
::: warning ⚠️ 贪心不一定得到最优解
**反例:硬币找零**
如果硬币面值是 [1, 3, 4],要凑 6 元:
- 贪心:4 + 1 + 1 = 3 枚
- 最优:3 + 3 = 2 枚
贪心算法在这里失败了!
**教训**:贪心算法简单高效,但不总是能得到最优解。使用前要证明问题满足贪心条件。
:::
👇 **动手试试看**:
下面这个演示展示了贪心算法的实际效果,你可以尝试不同的硬币组合,观察贪心策略的表现:
---
## 5. 算法设计范式
| 范式 | 思想 | 典型算法 | 适用问题 |
|------|------|---------|---------|
| **分治** | 把问题分解成小问题 | 快速排序、归并排序 | 可分解的问题 |
| **贪心** | 每步选最优 | 最小生成树、霍夫曼编码 | 有贪心性质的问题 |
| **动态规划** | 记录子问题的解 | 背包问题、最短路径 | 有重叠子问题 |
| **回溯** | 试错,走不通就回退 | 八皇后、全排列 | 搜索问题 |
::: tip 📊 逐行解读这张表
**分治**:把大问题拆成小问题,分别解决后再合并。就像整理房间,先分成客厅、卧室、厨房分别打扫,最后整体整洁。
**贪心**:每步都选当前最好的,不考虑长远后果。像吃饭时先挑最喜欢吃的菜,可能不是最优的吃法,但速度快。
**动态规划**:记住中间结果,避免重复计算。像记笔记,下次遇到同样问题直接查答案,不用重新推导。
**回溯**:走不通就退回来重试。像走迷宫,此路不通就返回上一个路口尝试别的路。
:::
👇 **动手试试看**:
下面这个演示展示了不同算法设计范式的特点和应用场景:
---
## 6. 总结:算法是解决问题的艺术
让我们用一个比喻总结各种算法思想:
| 思想 | 比喻 | 核心要点 |
|------|------|---------|
| **二分查找** | 猜数字 | 每次排除一半 |
| **排序** | 整理书架 | 建立秩序 |
| **递归** | 俄罗斯套娃 | 化大为小 |
| **贪心** | 登山选路 | 局部最优 |
::: tip 💡 核心启示
**算法的本质是"效率"和"正确性"的平衡。**
- 好的算法能让程序效率提升几个数量级
- 但过度优化可能引入复杂性
- 先保证正确,再追求效率
理解算法思维,比记住具体算法更重要:
- 分治:把大问题分解成小问题
- 贪心:每步选最优
- 动态规划:记录子问题的解
- 回溯:试错,走不通就回退
:::
---
## 延伸阅读
- **算法导论**:系统学习算法的经典教材
- **LeetCode**:通过刷题提升算法能力
- **算法可视化**:直观理解算法执行过程
- **竞赛算法**:学习更高级的算法技巧