The Little Book of RL:从零到 PPO 的 CleanRL 风格实现解析
posts posts 2026-07-15T21:27:31+08:00alxndrTL/little-book-rl 仓库深度拆解——一本配套 PyTorch 实现的小型强化学习书,覆盖 MC / SARSA / Q-learning / n-step SARSA / SARSA(λ) / DQN / REINFORCE / VPG / SPG / PPO 全套 10 个算法。技术笔记PyTorchThe Little Book of RL:从零到 PPO 的 CleanRL 风格实现解析
仓库:alxndrTL/little-book-rl 配套书 PDF:book.pdf — 约 20MB / V1 (June 2026) 作者:Alexandre TL / 约 1.6k stars / CC BY-SA 4.0 (non-commercial) 配套实现:6 个文件,约 65KB,覆盖 10 个 RL 算法
这是一本短小但完整的强化学习入门书,加上一份"教学优先"的 PyTorch 实现。作者在 README 里写明:书的目的是"从基础到应用算法的 RL 入门",代码是把书里讲到的算法全部实现一遍。
下面把这本书的实现层拆给你看。
一、整体结构
仓库内容分四块:
| 路径 | 内容 | 用途 |
|---|---|---|
book.pdf | 书的主文件 | 约 20MB 完整正文(V1 June 2026) |
algos/value_based/ | 基于价值函数的方法 | tabular.py + dqn.py |
algos/policy_based/ | 基于策略梯度的方法 | reinforce.py + spg.py + vpg.py + ppo.py |
supplementary/ | 动态规划的严格证明 | 2021 年写的补充材料 |
(另有 assets/ 存放封面图等素材,无代码。)
配套实现覆盖 10 个算法:
tabular : MC, SARSA, Q-learning, n-step SARSA, SARSA(λ) (5)
value : DQN (1)
policy : REINFORCE, VPG, SPG, PPO (4)代码没有写的有:A2C / SAC / TD3 / DDPG / model-based 算法实现。代码实现刻意停在 PPO;书本身在 PPO 之后还讲了两个放大到规模的实例——第 5 章 RL×LLMs(PPO → GRPO)和第 6 章 AlphaGo Zero(model-based / MCTS)。
二、tabular.py:一个文件覆盖 5 个 tabular 算法
这是仓库里最有教学价值的文件——5 个 on-policy / off-policy / n-step / eligibility trace 算法全在一个 341 行的 Python 文件里。
2.1 用 tyro 做 CLI(不是 argparse)
from dataclasses import dataclass
import tyro
@dataclass
class Args:
algo: Literal["mc", "sarsa", "q_learning", "n_step_sarsa", "sarsa_lambda"] = "q_learning"
n_step: int = 4
lambda_: float = 0.9
trace_type: Literal["accumulating", "replacing"] = "replacing"每个字段下面用 docstring 写文档,tyro 自动生成 --help。这是 CleanRL 风格的核心:用 tyro 替代 argparse,让 dataclass 直接当 CLI schema。
2.2 5 个算法的核心 update 对比
每个算法一个 run_episode_* 函数。把它们放一起看更新公式:
| 算法 | Target | 更新 |
|---|---|---|
| MC | $G_t = \sum_{k=t}^{T-1} \gamma^{k-t} r_k$ | $Q[s,a] \mathrel{+}= \alpha (G_t - Q[s,a])$ |
| SARSA | $r + \gamma Q[s’,a’]$ | $Q[s,a] \mathrel{+}= \alpha (r + \gamma Q[s’,a’] - Q[s,a])$ |
| Q-learning | $r + \gamma \max_{a’} Q[s’,a’]$ | $Q[s,a] \mathrel{+}= \alpha (r + \gamma \max Q[s’,a’] - Q[s,a])$ |
| n-step SARSA | $\sum_{j=\tau}^{\tau+n-1} \gamma^{j-\tau} r_j + \gamma^n Q[s_{\tau+n}, a_{\tau+n}]$ | 同上模板 |
| SARSA(λ) | $r + \gamma Q[s’,a’] - Q[s,a]$ | $Q \mathrel{+}= \alpha \delta E$, $E \mathrel{*}= \gamma \lambda$ |
所有 on-policy + off-policy + n-step + eligibility trace 算法共享同一个 update 模板(TD error × eligibility / 折扣回报)。把 5 个 update 公式并排放,立刻能看出为什么 tabular RL 算法这么少——它们本质上是一个模板的不同填空。
2.3 SARSA(λ) 的 eligibility trace 实现
def run_episode_sarsa_lambda(env, Q, E, args, eps, rng):
E.fill(0.0)
s, _ = env.reset()
a = epsilon_greedy(Q, s, eps, n_actions, rng)
while True:
s_next, r, term, trunc, _ = env.step(a)
if term or trunc:
delta = r - Q[s, a]
a_next = None
else:
a_next = epsilon_greedy(Q, s_next, eps, n_actions, rng)
delta = r + args.gamma * Q[s_next, a_next] - Q[s, a]
if args.trace_type == "accumulating":
E[s, a] += 1.0
else:
E[s, a] = 1.0
Q += args.learning_rate * delta * E
E *= args.gamma * args.lambda_
...这是 Sutton & Barto §12.7 的 1-for-1 实现。两个关键点:
- eligibility trace $E[s,a]$ 跟 $Q[s,a]$ 同 shape,每次访问累加(accumulating)或覆盖(replacing)。
- TD error $\delta$ 算出来后 broadcast 到整个 $Q$:
Q += alpha * delta * E——这意味着所有曾经访问过的 state-action 都会被更新,强度按 trace 衰减。
2.4 epsilon schedule 用线性衰减
def linear_schedule(start_e: float, end_e: float, duration: float, t: int) -> float:
slope = (end_e - start_e) / duration
return max(end_e, start_e + slope * t)跟 CleanRL DQN 一样的 ε 线性衰减:start=1.0 → end=0.05,exploration_fraction=0.5 表示在前 50% 训练步衰减完。
三、policy_based/:4 个策略梯度算法
3.1 REINFORCE(reward-to-go 策略梯度)
def reward_to_go(rewards, gamma):
"""G_t = sum_{k=t}^{T-1} gamma^{k-t} r_k"""
G = np.zeros(len(rewards), dtype=np.float32)
running = 0.0
for t in reversed(range(len(rewards))):
running = rewards[t] + gamma * running
G[t] = running
return G这是反向算 reward-to-go——比正向循环 O(n²) 节省到 O(n)。然后:
# REINFORCE loss:
# g_hat = (1/N) * sum_i sum_t G_t^i * grad log pi(a_t^i | s_t^i)
log_probs = agent.log_prob(batch_obs, batch_actions)
loss = -(batch_G * log_probs).sum() / args.num_trajectories注意 negative——PyTorch 的 optimizer 只能 minimize,所以策略梯度 maximize 期望回报 ↔ minimize negative expected return。
Agent 类(无 critic)
class Agent(nn.Module):
def __init__(self, envs):
super().__init__()
self.actor = nn.Sequential(
layer_init(nn.Linear(np.array(envs.single_observation_space.shape).prod(), 64)),
nn.Tanh(),
layer_init(nn.Linear(64, 64)),
nn.Tanh(),
layer_init(nn.Linear(64, envs.single_action_space.n), std=0.01),
)
def get_action(self, x):
logits = self.actor(x)
return Categorical(logits=logits).sample()没有 critic——纯 actor-only。这是 REINFORCE 的标志。std=0.01 的小初始化让初始 logits 接近 0,策略接近 uniform(高熵);如果初始策略熵太低、过早确定,loss 的梯度会很不稳定。
3.2 PPO(policy_based 里最复杂的文件)
PPO 文件 332 行,是 policy_based 目录里最长的(tabular.py 341 行是全仓库最长)。它的注释把"书里没讲但实现里要做的事"全部列出来:
"""
Proximal Policy Optimization (PPO) as described in the book.
copied here for the sake of completeness, original code at: https://github.com/vwxyzjn/cleanrl/
Few implementation details not described in the book:
- collection is done with a fixed number of steps per environment, instead of a fixed number of complete trajectories (discussed in the book)
- specific initialization scheme for the policy network weights
- vectorized environment interaction (allows to collect multiple trajectories in parallel)
- Adam optimizer instead of gradient descent
- GAE (explained in the book) for both policy and critic updates
- multiple critic epochs per iteration
- advantage normalization, very common
- LR annealing
- only one loss is optimized (so one global LR), which is the sum of: policy loss, value loss, entropy loss
we thus have ent_coef and vf_coef to weight 2 of the 3 losses in the final loss
- entropy loss penalizes low entropy policies, thus encourages exploration
- value loss is a clipped version of the value loss in the book, similar to PPO. (clip_vf)
- grad norm clipping, common in supervised learning (max_grad_norm)
- early stop the current update if the KL divergence between new and old policies exceeds a threshold (target_kl)
"""这一段注释是仓库最有价值的部分——它把"理论 → 工程"的 gap 显式标出来。作者明确说代码基于 CleanRL 的 PPO,所以读这本书的 PPO 实现 ≈ 读 CleanRL 的 PPO 实现 + 一份"理论教学"。
3.3 PPO 的关键工程组件(仓库里的实现)
A. Agent 类(actor + critic)
class Agent(nn.Module):
def __init__(self, envs):
super().__init__()
self.critic = nn.Sequential(
layer_init(nn.Linear(np.array(envs.single_observation_space.shape).prod(), 64)),
nn.Tanh(),
layer_init(nn.Linear(64, 64)),
nn.Tanh(),
layer_init(nn.Linear(64, 1), std=1.0),
)
self.actor = nn.Sequential(
layer_init(nn.Linear(np.array(envs.single_observation_space.shape).prod(), 64)),
nn.Tanh(),
layer_init(nn.Linear(64, 64)),
nn.Tanh(),
layer_init(nn.Linear(64, envs.single_action_space.n), std=0.01),
)
def get_action_and_value(self, x, action=None):
logits = self.actor(x)
probs = Categorical(logits=logits)
if action is None:
action = probs.sample()
return action, probs.log_prob(action), probs.entropy(), self.critic(x)注意:
- critic 输出层 std=1.0,actor 输出层 std=0.01,都小于默认的 √2:critic 初始 value 幅度小、更保守;actor 初始 logits 接近 0 → 初始策略接近 uniform。
get_action_and_value一次 forward 拿四个东西(action、log_prob、entropy、value),节省算力。
B. 核心 PPO 损失(论文原版)
# PPO clipped surrogate:
# L_clip(θ) = E[ min(r_t(θ) A_t, clip(r_t(θ), 1-ε, 1+ε) A_t) ]
_, newlogprob, _, _ = agent.get_action_and_value(b_obs[mb_inds], b_actions.long()[mb_inds])
logratio = newlogprob - b_logprobs[mb_inds]
ratio = logratio.exp()
mb_advantages = b_advantages[mb_inds]
if args.norm_adv:
mb_advantages = (mb_advantages - mb_advantages.mean()) / (mb_advantages.std() + 1e-8)
# unclipped
pg_loss1 = -mb_advantages * ratio
# clipped
pg_loss2 = -mb_advantages * torch.clamp(ratio, 1 - args.clip_coef, 1 + args.clip_coef)
pg_loss = torch.max(pg_loss1, pg_loss2).mean()clip_coef=0.2 是 PPO 论文的默认。torch.max(pg_loss1, pg_loss2).mean() 是取两个 loss 中较大的那个——这是 PPO “悲观主义"的精髓:clipped 后变差的更新就直接不用。
C. Value loss(clipped 版)
# value loss with clipping
newvalue = new_values
if args.clip_vloss:
vf_loss1 = (newvalue - b_returns).pow(2)
vf_loss2 = (torch.clamp(newvalue, b_values - args.clip_coef, b_values + args.clip_coef) - b_returns).pow(2)
vf_loss = 0.5 * torch.max(vf_loss1, vf_loss2).mean()
else:
vf_loss = 0.5 * (newvalue - b_returns).pow(2).mean()clip_vloss=True 是 PPO 的稳定技巧——不让 critic 更新太剧烈,跟 policy clipping 同理。
D. GAE(Generalized Advantage Estimation)
PPO 注释里说 GAE “explained in the book”。仓库代码里的 GAE 计算:
with torch.no_grad():
advantages = torch.zeros_like(rewards)
lastgaelam = 0
for t in reversed(range(args.num_steps)):
if t == args.num_steps - 1:
nextnonterminal = 1.0 - next_done
nextvalues = next_value
else:
nextnonterminal = 1.0 - dones[t + 1]
nextvalues = values[t + 1]
delta = rewards[t] + args.gamma * nextvalues * nextnonterminal - values[t]
lastgaelam = delta + args.gamma * args.gae_lambda * nextnonterminal * lastgaelam
advantages[t] = lastgaelam
returns = advantages + valuesGAE 把 TD(0) / TD(1) / TD(∞) … TD(n) 的 advantage 估计用 λ 加权插值,平衡 bias / variance。gae_lambda=0.95 是常用默认。
3.4 与 CleanRL 的关系
PPO 文件的开头写了:
copied here for the sake of completeness, original code at: https://github.com/vwxyzjn/cleanrl/
所以这份 PPO 实现几乎是 CleanRL PPO 的 1-for-1 移植。两个值得记的事实:
- CleanRL 是社区公认的"教学优先 + 工程正确"RL 实现范式——单文件、易读、可执行、有 tensorboard / wandb 集成。
- Little Book of RL 把 CleanRL 当作实现参考说明 CleanRL 风格正在成为 RL 入门的事实标准——跟 PyTorch 官方 tutorial、Stable Baselines3 并列。
3.5 一次 update 里数据怎么流(以 ppo.py 为例)
把 PPO 的一次更新拆成数据视角,就是 6 步:
- 采样:
num_envs=4个 CartPole 并行跑num_steps=128步,每个 (env, step) 存下 obs / action / logprob / reward / done / value,得到一个(128, 4)的 batch(512 条经验)。 - GAE 回溯:从最后一步倒着算
delta = r + γ·V(s') − V(s),再累积lastgaelam = delta + γ·λ·lastgaelam,得到每条经验的 advantage;returns = advantage + value。 - 展平 + 打乱:把
(128, 4)展平成 512 条,num_minibatches=4切出 4 个 minibatch,每个 128 条。 - K epoch 更新:对每个 minibatch 跑 4 个 epoch(
update_epochs=4),每次用当前策略重算logratio = logprob_new − logprob_old,ratio = exp(logratio)。 - 三损失加权:
loss = pg_loss − ent_coef·entropy + vf_coef·value_loss,backward()后clip_grad_norm_(0.5)再optimizer.step()。 - 早停判定:
approx_kl > target_kl就 break 当前 update,进入下一轮采样。
这条链路里最容易看漏的一点:同一个 rollout 会被复用 4 个 epoch,但 advantage 只在采样后算一次,不再重算——这是 PPO 与 REINFORCE 在数据复用上的分界线。
四、10 个算法的演进关系
把仓库里 10 个算法按"理论血缘"画一张图:
value-based policy-based
───────── ────────────
MC ─┐ REINFORCE ──┐
SARSA ─┐ VPG ────────┤
Q-learning ─┤ SPG ────────┤
n-step SARSA ─┤ PPO ────────┘
SARSA(λ) ──┘
DQN ────────┘观察:
- tabular 5 算法全部共享 update 模板(TD error + 各种 target 形式)。
- policy-based 4 算法按 actor-only → actor-critic 演进:SPG(actor-only,一条 trajectory 共用一个折扣回报)→ REINFORCE(actor-only,reward-to-go 逐时间步回报)→ VPG(actor-critic,critic 做 baseline + GAE)→ PPO(actor-critic,clipped surrogate + GAE)。
- DQN 是 tabular Q-learning 的非线性推广(同样的 update 公式 + 神经网络逼近 + experience replay)。
- PPO 是 REINFORCE 的"加约束"版本(trust region + clipped surrogate)。
理解这张图 = 理解现代 RL 算法的骨架。
五、这本书没讲的事(工程坑)
仓库代码 + 注释暴露了几个RL 入门书一般不讲但工程必踩的坑:
5.1 初始化方差
layer_init(nn.Linear(64, envs.single_action_space.n), std=0.01)actor 输出层 std=0.01(远小于默认 √2),critic 输出层 std=1.0(小于默认 √2)。这是 CleanRL 的隐性约定——actor 输出 logits 接近 0,初始策略接近 uniform(高熵),避免 early-stage collapse;critic 初始 value 幅度小,避免训练初期 value 预测偏差过大。
5.2 vectorized env
所有 policy-based 文件都用 gym.vector.SyncVectorEnv,多个 env 并行采样。这在论文里通常一句"parallel rollout"带过,但在工程上是 PPO 的默认打法——单 env 逐条采样,rollout 阶段会成为瓶颈,数据量也喂不满 minibatch。
5.3 步数 vs trajectory 计数
PPO 注释明确说:
collection is done with a fixed number of steps per environment, instead of a fixed number of complete trajectories (discussed in the book)
REINFORCE 用 num_trajectories(固定 trajectory 数),PPO 用 num_steps(固定步数)。这是 on-policy 算法的一个工程分叉——trajectory-based 适合 short episodes,step-based 适合 long episodes。
5.4 entropy bonus
PPO 注释:
entropy loss penalizes low entropy policies, thus encourages exploration
ent_coef=0.01 是熵正则的权重——给策略加一个"不要太确定"的奖励。没有这个,policy gradient 在收敛后期很容易 collapse 到 greedy policy。
5.5 LR annealing + grad clip
PPO 用 anneal_lr=True(学习率随训练线性衰减)和 max_grad_norm=0.5(梯度范数截断)。这两个不是 PPO 论文的硬性要求,但在 long training run 里是防止后期震荡 + early collapse 的工程保险。
5.6 target_kl 早停
if args.target_kl is not None:
if approx_kl > args.target_kl:
break如果新旧策略的 KL 散度超过 target_kl,提前停止当前 update。这是 PPO “trust region” 思想的具体落地——不要让单次更新走太远。
六、这本书的局限(写给认真学 RL 的人)
把仓库读完,下面这些没教的要知道。书自己在结尾 “What this book does not cover” 一节也列了这份清单,这里用实现层的视角再过一遍:
6.1 没有 continuous action space
所有算法都假设 gym.spaces.Discrete(用 Categorical distribution),ppo.py 甚至用 assert 锁死了离散动作空间。SAC / TD3 / DDPG 这类连续动作算法没有展开。书 3.8 提到 continuous state 可以离散化,但如果你的任务是 robotics / 自动控制,需要补这一块。
6.2 没有 model-based 算法实现
MCTS / 世界模型 / Dreamer 这些都没有配套代码。书第 6 章用 AlphaGo Zero 把 model-based 讲了(明确写 “a form of policy iteration coupled with a model-based approach”,improvement 步是 “a modified version of an MCTS rollout”),但仓库 6 个代码文件里没有 model-based 实现——实现层仍然停在 value-based / policy-based 两大家。
6.3 没有 multi-agent / hierarchical
multi-agent RL 和 hierarchical RL(Options / Feudal Networks)在书里只出现在 “does not cover” 清单中。第 6 章 AlphaGo Zero 借 self-play 触及了双人博弈(zero-sum perfect-information),但没有讲 multi-agent 的一般框架。这是工业 RL(推荐系统、运筹优化)的常见范式。
6.4 没有 offline RL / imitation learning
offline RL(CQL / IQL / behavior cloning)在书里出现在 “does not cover” 清单与第 6 章 AlphaGo Zero 的 evaluation 步(把搜索改进后的策略蒸馏回 base policy 用的就是 behavior cloning)。没有讲 offline RL 的一般框架。如果你的数据是 fixed dataset(没有环境交互),需要补 offline RL。
6.5 PPO 的复现性陷阱
PPO 文件 332 行,但跑出论文数字需要大量调参。仓库只给了 CartPole-v1 这种 toy env 的复现。Atari / MuJoCo 数字不在仓库范围内——所以"用这份代码跑 HalfCheetah” 是不现实的。
七、读这本书的最佳顺序
书分三部分 6 章:Part I Foundations(第 1-2 章,RL 是什么、怎么做)、Part II Diving deeper(第 3 章 value functions、第 4 章 policy optimization)、Part III RL at scale(第 5 章 RL×LLMs、第 6 章 AlphaGo Zero)。
如果你是 RL 入门,按下面顺序读:
- 第 1-2 章(RL 的交互环、三类方法)→ 快速过,建立全局视角
- 第 3 章(DP / MC / SARSA / Q-learning,3.8 进神经网络)→ 对应
tabular.py完整读完,跳到dqn.py - 第 4 章(4.2 SPG / REINFORCE / VPG / GAE,4.3 trust region + PPO)→ 对应
spg.py+reinforce.py+vpg.py+ppo.py - 第 5-6 章(GRPO、AlphaGo Zero)→ 概念级阅读,代码仓库没有对应实现
- supplementary/ 是 DP 的严格数学证明,选择性读(理论派必读,工程派可跳)
每章读完直接跑代码:
cd algos/value_based
python tabular.py --algo q_learning --env_id FrozenLake-v1
cd ../../algos/policy_based
python reinforce.py --env_id CartPole-v1
python ppo.py --env_id CartPole-v1tensorboard 起来后能看到 return 曲线,对照书里讲"应该长什么样"。
八、为什么这本书值得读
比起 Sutton & Barto:Sutton & Barto 是 RL 圣经,但没有配套 PyTorch 实现——理论扎实但工程断层。Little Book of RL 是理论 + 实现 1:1 对应,每个章节都有对应代码文件。
比起 Spinning Up:OpenAI Spinning Up 也是教学向,但只覆盖 VPG / TRPO / PPO / DDPG / SAC / TD3,没有 tabular 部分。Little Book of RL 覆盖从 tabular 到 PPO 的完整光谱,对入门者更友好。
比起 CleanRL:CleanRL 是"工程实现",没有理论教科书。Little Book of RL 把实现 + 教科书 PDF + 数学 supplementary 打包成一个仓库,是目前最完整的 RL 入门包之一。
九、给作者的反馈(潜在改进点)
虽然仓库质量已经很高,下面这些改进会让它更完整:
- continuous action space——加 SAC 或 TD3 一个实现
- multi-env eval——给 tabular.py 也加
SyncVectorEnv - reproducibility script——一个
reproduce_all.sh跑完所有算法 + tensorboard - README 性能表——列出每个算法在 FrozenLake / CartPole 上的最终 return
- Hugging Face integration——
from_pretrained直接加载训练好的模型
这些都是 nice-to-have,不影响这是一本非常优秀的 RL 入门资源。
参考资料
- alxndrTL/little-book-rl — 仓库主页
- book.pdf — 主书
- supplementary/ — DP 严格证明
- CleanRL — 实现参考
- Stable Baselines3 — 工业级 RL 库
- Spinning Up — OpenAI RL 入门
- Sutton & Barto - Reinforcement Learning: An Introduction — RL 圣经
参与讨论
使用 GitHub 登录。欢迎补充事实、异议与实践。
讨论暂时无法加载。