Algorithm & AI

算法与 AI

从数组到大模型的通关之路——别被"大模型"三个字唬住,拆开一看,全是你能一步步学会的东西。

学习路径拓扑图(点节点直达对应章节)
箭头方向 = 依赖关系:上面一层学会了,才看得懂下一层。想直奔大模型?可以,但摔了别怪我没提醒你回头补地基。
数据结构数组/链表/树/图 数学回顾线代/微积分/概率 算法排序/DP/图算法 机器学习回归/决策树 深度学习神经网络/CNN/RNN 前沿Transformer/LLM/Agent 先修 先修 依赖 依赖 依赖 共用
升级版 · "数学 → 算法 → AI" 依赖标注图
箭头颜色 = 依赖类型:金色实线 = 数学依赖(线代/微积分/概率); 深绿实线 = 算法依赖(前面模块的算法直接复用); 米色虚线 = 数据/工程依赖。节点下方小字标注"它到底靠什么吃饭"。
线代:矩阵乘法 向量/内积/特征值 微积分:链式法则 偏导/梯度/复合函数 概率统计 贝叶斯/期望/分布 梯度下降 最优化/迭代收敛 树/堆/排序 决策树/TopK/分治 哈希/图算法 向量检索/最短路径 神经网络/反向传播 依赖:链式法则+矩阵乘法+梯度下降 数据依赖:可微张量框架 注意力/Transformer 依赖:矩阵乘法+softmax+概率 算法依赖:并行计算+KV缓存 大模型/Agent/RAG 依赖:Transformer+强化学习 工程依赖:向量库/工具调用 数学依赖 算法依赖 数据/工程依赖
表 0-1 AI 概念 ↔ 数学 ↔ 算法 ↔ 先修章节 依赖映射表
AI 概念依赖的数学依赖的算法先修章节
线性回归向量、最小二乘、偏导梯度下降P0 数学 · P2 ML
逻辑回归Sigmoid、交叉熵、极大似然梯度下降P0 数学 · P2 ML
朴素贝叶斯贝叶斯定理、条件概率、独立假设哈希表计数P0 数学
k 近邻 kNN距离度量(欧氏/曼哈顿)排序/堆 TopK、KD-TreeP2 ML
支持向量机 SVM拉格朗日对偶、核函数、凸优化二次规划、SMOP0 数学 · P2 ML
决策树/随机森林信息熵、基尼系数、期望递归分治、BaggingP2 ML
XGBoost/Boosting梯度、二阶泰勒展开贪心分裂、加法模型P0 数学 · P2 ML
K-Means 聚类欧氏距离、方差、期望迭代分配、质心更新P2 ML
DBSCAN密度、邻域图遍历(BFS/DFS)P2 ML
PCA 降维协方差矩阵、特征值/特征向量、SVD特征分解、投影P0 数学
反向传播链式法则、矩阵微分、复合函数求导动态规划式记忆P0 数学 · P3 神经网络
Batch Norm均值/方差、标准化—P3 神经网络
Adam 优化器指数加权、二阶矩动量、自适应步长P3 神经网络
自注意力点积、softmax、概率归一化矩阵乘法并行化P3 神经网络 · Transformer
位置编码 RoPE三角函数、旋转矩阵—Transformer
BERT/GPT条件概率、语言模型似然掩码/自回归生成Transformer
RLHF/PPO马尔可夫决策过程、策略梯度Q-Learning、TRPO强化学习
RAG向量相似度(余弦)向量检索(ANN)、排序RAG进阶
Agent/ReAct—搜索规划、工具调用循环Agent架构
状压 DP / TSP位运算、组合计数DP、子集枚举见 P0-P3 前置课
KMP / AC 自动机字符串、公共前后缀Trie、失败指针见 P0-P3 前置课
凸包 / 计算几何向量叉积、极角排序Graham 扫描、栈见 P0-P3 前置课
随机 / 近似算法概率、期望快排、近似保证见 P0-P3 前置课
P/NP/NPC归约、复杂度类SAT、顶点覆盖见 P0-P3 前置课
AVL / 红黑树树高、旋转BST、平衡因子见 P0-P3 前置课
B+ 树索引多路搜索树、磁盘 IO二分查找、页见 P0-P3 前置课
跳表 / 线段树 / BITlowbit、区间分解平衡树思想、lazy见 P0-P3 前置课
SVD 降维奇异值分解、正交分解特征分解、投影见 P0-P3 前置课
概率图模型 PGM条件概率、贝叶斯、条件独立贝叶斯网络、HMM见 P0-P3 前置课
🅰 AI 基础入门 · 先从这里开始

还没搞清楚"模型""权重""KV Cache""上下文"是什么?别慌——这 22 节课专门给零基础的你铺路:前 10 课从"AI 到底是什么"讲到"Agent 怎么干活";后 12 课把真正跑模型要用的零件一次讲全——分词、采样、向量、重排、GGUF、MLX、MTP、投影层、推理引擎,最后手把手带你用 llama.cpp 在自己电脑上把模型跑起来。每课配思维导图、考点练习和记忆口诀。

P0
前置 · 数学基础直觉
线代 · 概率 · 微积分

向量/矩阵、贝叶斯、梯度——不推导,只讲 AI 里用到的直觉。

进入本节 →
P1
前置 · Python 速通
NumPy · pandas · matplotlib

AI 代码就靠这三板斧:数组运算、表格处理、画损失曲线。

进入本节 →
P2
前置 · 机器学习入门
训练 · 损失 · 梯度下降

什么是过拟合、为什么要正则化——不讲推导讲直觉。

进入本节 →
P3
前置 · 神经网络直觉
神经元 · 前向 · 反向传播

用 Minecraft 红石刻类比:输入→加法→激活→输出。

进入本节 →
1
AI 是什么:从图灵测试到生成式 AI
AI / ML / DL / GenAI 四层关系

AI 不是突然冒出来的。这课用大白话串起七十年演进史,讲清 AI、机器学习、深度学习、大模型到底谁包含谁。

进入本节 →
2
模型类型:判别式与生成式全家桶
Encoder / Decoder / Encoder-Decoder

判别式做判断、生成式做创造;BERT 理解、GPT 生成、T5 翻译。一张表看清各种模型结构和适用场景。

进入本节 →
3
评分系统:怎么知道模型好不好
Perplexity · MMLU · Elo 竞技场

模型跑分不等于好用,但跑分是门槛。困惑度、MMLU、GSM8K、Elo 排名——这些数字怎么读、哪里有坑。

进入本节 →
4
主流模型全景:GPT/Claude/Gemini/DeepSeek
八家厂商对比与选型建议

写代码选谁、写文章选谁、本地跑选谁、预算有限选谁?一张对比表帮你快速做决定。

进入本节 →
5
模型权重:几百亿个"旋钮"
参数 · 文件格式 · 开源协议

权重就是模型的全部。7B 是什么意思?safetensors 和 gguf 有什么区别?Llama 商用要注意什么?

进入本节 →
6
KV Cache:为什么能逐字蹦出来
推理加速的核心机制

没有 KV Cache,大模型每个字都要从头算一遍。它怎么省计算、又怎么吃显存,一文讲透。

进入本节 →
7
量化:把大模型压缩到电脑上
FP16 → INT8 → INT4

7B 模型不量化要 14GB 显存,INT4 只要 4GB。量化怎么省、怎么损、Ollama 怎么跑,全在这课。

进入本节 →
8
上下文窗口:一次能"看"多少字
Token · 分词器 · 长上下文

上下文窗口就是模型的工作记忆。Token 是什么?128K 是多少字?超窗了会怎样?

进入本节 →
9
记忆:为什么聊到后面就忘
会话记忆 vs 长期记忆

模型本身没有记忆,所谓记忆全是工程外挂。对话拼接、向量记忆、记忆摘要、外部数据库——四种方案对比。

进入本节 →
10
Agent:从聊天到会干活
LLM + 规划 + 工具 + 记忆

大模型只会动嘴,Agent 让它学会动手。ReAct 模式、函数调用、Plan-and-Execute——AI 基础最后一课。

进入本节 →
11
分词器:模型看世界的最小单位
BPE · 词表 · token 计费

文字进模型前先被切成编号;一个中文词常占好几个 token,直接决定计费和上下文换算。

进入本节 →
12
采样与生成参数:温度怎么调
temperature · top_p · top_k

0 是死板、1 是稳健、接近 2 是发疯;一张手感调优表告诉你写代码/写作/问答各用什么。

进入本节 →
13
Embedding:把文字变成向量
向量 · 余弦相似度 · 向量库

意思相近的句子向量也近;这是 RAG 检索和语义搜索的地基。

进入本节 →
14
重排 Rerank:粗排之后再精排
双塔 → 交叉编码器

先粗排捞 50 条,再精排挑 5 条,准召兼顾。

进入本节 →
15
GGUF 格式:CPU 跑大模型的钥匙
GGML → GGUF · Q4_K_M

为什么 GGUF 适合笔记本,Q4_K_M/Q8_0 这些后缀到底什么意思。

进入本节 →
16
Apple MLX:Mac 上跑模型
统一内存 · mlx-lm · Metal

M 系列芯片统一内存架构的红利,mlx-lm 一行命令跑起来。

进入本节 →
17
MTP 多 Token 预测:一次吐好几个
训练时学 vs 推理时猜

DeepSeek 的秘密武器:一次前向多预测几个 token,又涨点又加速。

进入本节 →
18
投影层与投影 GGUF:多模态的眼睛
Projector · mmproj

看图模型的视觉投影层为什么单独出一个 mmproj 文件、怎么和主权重一起加载。

进入本节 →
19
推理引擎全家桶怎么选
llama.cpp/Ollama/vLLM/TRT

一张对比表:本地玩、服务并发、英伟达顶配、跨平台,对号入座。

进入本节 →
20
llama.cpp 配置模型实战(重点)
下载→命令行→服务→API 全流程

从下载 GGUF 到 llama-server 起服务、curl 调 API、算显存、排报错,照做就能跑。

进入本节 →
21
结构化输出:让模型吐 JSON
JSON Schema · grammar

自由文本不能当程序读;用文法硬约束,逼模型只吐合法 JSON。

进入本节 →
22
流式输出:打字机是怎么来的
SSE · stream=true · TTFT

为什么模型一个字一个字往外蹦:SSE 流式与首字延迟,和 TTS 怎么联动。

进入本节 →
T1
Transformer 详解
Self-Attention · Multi-Head · RoPE

Q/K/V 矩阵计算、多头注意力、位置编码(正弦/RoPE/ALiBi)、FFN、残差——大模型的骨架。

进入本节 →
T2
大模型训练全流程
预训练 · SFT · RLHF/DPO

从数据清洗到对齐:预训练→SFT 指令微调→RLHF/DPO→推理优化,一条流水线讲透。

进入本节 →
M1
GPT 系列演进
GPT-1 → GPT-4o · o1/o3

从 117M 到多模态与推理模型:InstructGPT、RLHF、o1 思维链。

进入本节 →
M2
DeepSeek 与 MoE
MoE · MLA · R1 推理

混合专家架构、MLA 多头潜在注意力、R1 强化学习推理模型,国产开源之光。

进入本节 →
M3
国产模型家族
Qwen · GLM · Kimi · 豆包

通义千问、智谱 GLM、Kimi、豆包、文心、混元——开源 vs 闭源对比表。

进入本节 →
P1
推理优化
vLLM · PagedAttention · 投机采样

vLLM 分页注意力、连续批处理、Flash Attention、投机解码、KV 量化。

进入本节 →
R1
RAG 进阶
Chunking · Hybrid Search · Rerank

切分策略、Embedding 选择、BM25+向量混合检索、重排序、Query 改写、HyDE。

进入本节 →
A1
Agent 架构详解
ReAct · Function Call · Multi-Agent

ReAct 循环、Function Calling、Planning、Memory、AutoGen/CrewAI 多智能体协作。

进入本节 →
R2
推理模型
o1/o3 · R1 · CoT · test-time

慢思考 vs 快思考、思维链、RL 训练推理能力,花更多 token 换更准答案。

进入本节 →
M4
原生多模态
GPT-4o · Gemini · Qwen-VL

视觉编码器、跨模态对齐,不是拼接而是原生统一架构看听说。

进入本节 →
L1
长上下文
1M token · YaRN · Ring Attn

位置编码外推、环形注意力,整本书一次读完。

进入本节 →
C1
AI 编程
Claude Code · Cursor · Agentic

AI 写代码、改 Bug、跑测试,从 Copilot 到 Agentic Coding。

进入本节 →
W1
世界模型
Next-State · Sora · 悟界

从预测下一个 token 到预测下一帧画面,让 AI 理解物理世界。

进入本节 →
E1
具身智能
VLA · 机器人 · Sim2Real

视觉-语言-动作模型,AI 长出身体,在物理世界里干活。

进入本节 →
S1
端侧小模型
蒸馏 · INT4 · TinyML

手机跑大模型:知识蒸馏、MoE 稀疏激活、量化部署。

进入本节 →
V1
模型评测
MMLU-Pro · Arena · LLM-as-judge

怎么衡量一个模型好不好?榜单、人工评估、AI 当裁判。

进入本节 →
AI 基础知识链路图(点节点直达对应章节)
箭头 = 依赖顺序:从左到右就是"文字进模型 → 模型跑起来 → 变成应用"的完整流水线。后 12 课(金棕色卡)就是把中间这几环拆开讲透,最后落到 llama.cpp 亲手跑模型。
分词器文字→token 上下文窗口装多少token KV Cache边聊边记 量化FP16→INT4 格式GGUF/MLX/投影 推理引擎llama.cpp/vLLM llama.cpp实战本页手把手 Agent/应用长出手脚干活 GGUF MLX 投影 mmproj 采样参数温度怎么调 流式输出打字机 SSE 前10课(紫)建立概念 → 后12课(金)拆零件、跑实战 → 最终指向 Agent 应用
模块导读

想搞 AI?先别急着调包。从数组到大模型,每一层都踩在前一层的肩膀上——数组教会你"数据怎么摆",数学教会你"变化怎么算",算法教会你"活怎么干得快",最后大模型才肯理你。这一站不是论文,是通关地图:每个名词都用大白话讲明白,配一道例题,看完你就知道 ChatGPT 肚子里到底在转什么。

1
模块一 · 数据结构基础
Data Structures · 数据怎么摆,决定活怎么干

大模型再玄乎,底层数据还是一坨一坨摆在内存里的。数据结构就是"数据的摆法":同样一百个数,排成一排、连成一条线、挂成一棵树、画成一张网,查起来、改起来的速度天差

进入本节 →
2
模块二 · AI 相关数学回顾
Math for AI · 数学概念 → AI 里的角色

大模型不是玄学,它就是几摞矩阵在做乘法、再加一点求导。这一模块不教你重新学数学,只做一件事:把数学大厦里的概念,翻译成"它在 AI 里扮演谁"。忘了公式没关系,

进入本节 →
3
模块三 · 算法相关知识
Algorithms · 怎么把活干得又快又省

数据结构是"怎么摆",算法就是"怎么干"。这一模块过八大算法思想——不是背代码,是学套路:遇到问题先判断属于哪一类,套路直接套。

进入本节 →
4
模块四 · 机器学习与深度学习
ML & DL · 从"教模型做题"到"模型自己看"

前面的算法是"人写死规则",机器学习换了个思路:不写规则,给模型一堆题和答案,让它自己总结规律。这一节从最朴素的回归,一路爬到 Transformer 和大模型

进入本节 →
5
深度学习
Deep Learning · 多层神经元叠起来的黑箱

从这里开始,模型开始"自己学特征",不再需要人手写规则。核心就是:很多层线性变换 + 非线性激活,用反向传播调参数。

进入本节 →
6
前沿:大模型与 Agent
Frontier · Transformer 攒到极致是什么

前面 11 个知识点叠在一起,再把参数堆到几千亿、数据堆到万亿 token,就成了你正在聊的 ChatGPT。这一节讲清楚它是怎么训出来的、Agent 又是什么

进入本节 →
7
模块五 · 机器学习进阶
Advanced ML · 从"会调包"到"知道包里装了什么"

模块四只讲了回归、逻辑回归、决策树三个"网红入门款"。这一模块把经典 ML 的主力梯队补齐:朴素贝叶斯、kNN、SVM、集成学习、聚类、降维。它们在深度学习崛起

进入本节 →
8
模块六 · 深度学习进阶:损失、优化、正则化
DL Advanced · 神经网络为什么训得动、训得稳

模块四只说了"反向传播+梯度下降"。但真实训练里,用什么损失、用哪个优化器、怎么防止过拟合、怎么初始化、怎么调学习率,每一步都是坑。这一模块把这些"炼丹手册"讲

进入本节 →
9
模块七 · Transformer 与大模型进阶
Transformer & LLM Deep Dive · 从公式到千亿参数

4.9 节给了注意力公式,但没讲 Q/K/V 从哪来、为什么除以 √dk、BERT 和 GPT 到底差在哪、千亿模型怎么训。这一模块把这些"论文里的硬骨头"啃完

进入本节 →
10
模块八 · Agent 进阶、RAG 与 MCP
Agent / RAG / MCP · LLM 怎么长出手和记性

4.11 节说了 Agent 四件套。这一模块把 ReAct 循环、Function Calling、多 Agent 协作、RAG 检索增强、MCP 协议这些

进入本节 →
11
模块九 · 强化学习
Reinforcement Learning · 试错拿奖励,RLHF 的理论祖宗

AlphaGo 赢李世石靠的就是它。今天大模型对齐用的 RLHF,底层就是这一套。不理解 RL,就理解不了 ChatGPT 最后一步怎么"学做人"的。

进入本节 →
12
模块十 · 评估与部署
Evaluation & Deployment · 模型做完了,怎么知道好不好、怎么上线

训出模型只是一半。怎么打分、怎么诊断过拟合、怎么部署到生产环境,决定它是论文 PPT 还是线上产品。

进入本节 →
13
附录 A · 核心公式深度推导
Appendix A · 把 4.6 和 4.9 欠的账还清

正文里讲了"是什么"和"怎么用"。这里把反向传播和注意力的完整推导一步一步走完。数学不吓人,就是链式法则乘来乘去。

进入本节 →
14
附录 B · AI 学习路线图 + 公式速查 + 研
Appendix B · 毕业礼物:一张地图、一张公式表、一份装备清单

读到这里,你已经从数组走到了 Agent。这份附录是毕业装备包:接下来按什么顺序练、关键公式在哪查、工具链用什么。

进入本节 →
知识点深化库

18 个核心知识点,每个一页讲透:直觉 → 公式 → 例题 → 18 题练习 → 记忆口诀。想深挖哪个点,点进去就是。

大模型应用专题

10 个大模型落地核心专题,每个一页讲透:Prompt → RAG → Agent → 微调 → 推理优化 → 评估 → 安全对齐。从会用到懂,从 Demo 到生产。

小测:从数组到大模型,你通关到哪一步了?

点选项即时判对错,点完看下方得分。SVG 对错图标,不用猜表情。

1. 数组按下标访问一个元素,时间复杂度是?

A. O(log n)
B. O(1)
C. O(n)
正解 B。数组连续内存,地址 = base + i×size,一次乘法加法,O(1)。

2. 浏览器"后退"功能,底层用什么数据结构?

A. 队列(FIFO)
B. 哈希表
C. 栈(LIFO)
正解 C。后打开的页面要先退,正是 LIFO 栈。

3. 从 100 万个数里找最大的 10 个,最高效的数据结构是?

A. 排序后取前 10
B. 大小为 10 的小顶堆
C. 二分查找
正解 B。堆 O(n log 10)≈O(n),排序要 O(n log n)。二分查找需要有序数组且不是干这事的。

4. 反向传播(Backpropagation)背后的数学原理是?

A. 链式法则求复合函数梯度
B. 贝叶斯定理
C. 特征值分解
正解 A。网络是多层复合函数,链式法则把梯度从输出层一层层传回输入层。

5. Transformer 自注意力公式 Attention(Q,K,V)=softmax(QKT/√dk)V 里,为什么要除以 √dk?

A. 让结果归一化到 0~1
B. 让计算更快
C. 防止点积过大让 softmax 饱和、梯度消失
正解 C。dk 大时点积方差随维度增长,会把 softmax 顶到几乎 one-hot,梯度几乎为零。缩放一下稳住分布。

6. 大语言模型 RLHF 阶段的主要目的是?

A. 让模型学会更多语言知识
B. 让模型回答符合人类偏好、对齐有用无害
C. 把模型体积压缩变小
正解 B。知识在预训练阶段就学完了,RLHF 是用人类偏好做奖励,对齐"说人话、不说谎、不冒犯"。

7. Agent 跟普通聊天 LLM 的最大区别是?

A. 能调用工具(搜索/代码/API)并按结果循环决策
B. 模型参数更大
C. 用了更好的显卡
正解 A。Agent = LLM + 工具 + 记忆 + 规划,ReAct 循环是它的灵魂。