1. 强化学习基础概念解析

1.1 从动物训练看强化学习本质

强化学习的核心机制可以用一个简单的动物训练场景来理解。想象你在训练一只小狗学习"坐下"这个指令：

• 初始状态：小狗站立着，等待指令（S₀）
• 动作尝试：你发出"坐下"指令后，小狗可能尝试站立不动（A₁）、趴下（A₂）或偶然坐下（A₃）
• 奖励反馈：只有当小狗完成坐下动作时，你才会给予零食奖励（R=+2），其他情况不给奖励（R=0）

经过多次重复，小狗会逐渐建立"指令-动作-奖励"的关联，最终学会在听到指令时立即坐下。这个过程中包含强化学习的三个关键要素：

1. 状态空间(S)：训练环境中的所有可能场景（站立/趴下/坐着等）
2. 动作空间(A)：小狗能执行的所有动作集合
3. 奖励函数(R)：对特定状态下的动作给出的即时反馈

关键理解：强化学习不是直接"教会"智能体怎么做，而是通过奖励机制让智能体自己发现最优策略。就像训练小狗时，我们不需要强制按住它的屁股让它坐下，只需通过奖励让它自己发现"坐下=有零食"这个规律。

1.2 数学形式化表达

将上述过程形式化为马尔可夫决策过程(MDP)：

• 状态转移：P(s'|s,a)表示在状态s执行动作a后转移到状态s'的概率
• 策略函数：π(a|s)表示在状态s下选择动作a的概率分布
• 价值函数：V(s) = E[ΣγᵗRₜ]，表示从状态s开始的期望累积奖励

其中γ∈(0,1)是折扣因子，用于平衡即时奖励和未来收益。例如设γ=0.9时，意味着我们更关注近期奖励。

1.3 NLP中的特殊适配

当将强化学习应用于自然语言处理时，各要素对应为：

这种适配使得我们可以用RL优化语言模型的生成策略，使其输出更符合人类偏好。

2. RLHF技术演进历程

2.1 从原始RLHF到PPO

早期的RLHF（基于人类反馈的强化学习）采用直接策略优化，存在三个主要问题：

1. 奖励稀疏性：仅在完整序列结束时获得一个总奖励
2. 训练不稳定：策略更新容易过度偏离初始分布
3. 样本效率低：需要大量人类标注数据

PPO（近端策略优化）通过以下创新解决这些问题：

• 重要性采样：重用旧策略数据提高样本效率
• KL惩罚项：限制新策略与旧策略的差异程度
• Clip机制：控制单次更新的最大幅度

数学上，PPO的目标函数为： Lᴾᴾᴼ = E[min(rₜ(θ)Âₜ, clip(rₜ(θ),1-ε,1+ε)Âₜ)] - βD_KL[π_θ||π_ref]

其中rₜ(θ)=π_θ(a|s)/π_old(a|s)是重要性权重，ε通常取0.1-0.3。

2.2 PPO在实践中的挑战

尽管PPO取得显著成功，但在大语言模型应用中暴露出明显缺陷：

1. 四模型架构负担：

   • Actor模型（可训练）
   • Critic模型（可训练）
   • Reference模型（冻结）
   • Reward模型（冻结）

   以70B参数模型为例，训练时需要同时加载280B参数，显存占用极高。

2. Critic训练困难：

   • 语言生成任务中90%以上的token没有即时奖励
   • 稀疏奖励导致价值函数估计不准
   • 最终影响策略更新方向的质量

3. 超参数敏感：

   • KL系数β
   • Clip范围ε
   • 学习率等 需要精细调参才能稳定训练

3. 新一代优化算法解析

3.1 DPO：直接偏好优化

DPO的核心思想是绕过显式奖励建模，直接将人类偏好数据转化为策略优化信号。其关键公式为：

L_DPO = -E[logσ(β(log(π_θ(y_w|x)/π_ref(y_w|x)) - log(π_θ(y_l|x)/π_ref(y_l|x))))]

实际训练时，DPO只需要：

1. 准备三元组数据集{(x, y_w, y_l)}
2. 初始化策略模型π_θ和监督微调后的参考模型π_ref
3. 直接优化上述损失函数

优势对比：

3.2 GRPO：组相对策略优化

GRPO的创新点在于用组内相对奖励替代Critic的价值估计：

1. 对每个prompt生成G个响应{y₁,...,y_G}
2. 用RM计算组内奖励{r₁,...,r_G}
3. 计算标准化优势： Âᵢ = (rᵢ - μ)/σ 其中μ,σ是组内奖励的均值和标准差

训练流程：

1. 采样prompt批次
2. 用当前策略生成G个响应/提示
3. 计算组内标准化优势
4. 更新策略参数
5. 重复直到收敛

3.3 GSPO：序列级优化

GSPO在GRPO基础上做出关键改进：

1. 序列级重要性采样： s_i(θ) = exp(1/|y_i| Σ log(π_θ(y_i,t)/π_old(y_i,t)))

   相比GRPO的token级计算，这种几何平均方式更稳定。

2. 长度归一化： 通过1/|y_i|项消除序列长度的影响，使长短序列的更新幅度可比。

实验数据显示，在数学推理任务上：

• PPO需要15小时训练达到85%准确率
• GRPO需要12小时达到同等水平
• GSPO仅需9小时且最终达到88%准确率

4. 技术对比与选型建议

4.1 算法特性对比表

4.2 实践选择建议

选择PPO当：

• 追求最高性能表现
• 有充足计算资源
• 需要处理复杂、多维度奖励

选择DPO当：

• 训练资源有限
• 已有高质量偏好数据集
• 需要快速原型验证

选择GRPO/GSPO当：

• 训练超大模型（>70B参数）
• 涉及长序列生成任务
• 需要最大化硬件利用率

经验提示：实际应用中可以先使用DPO进行初步对齐，再换用GSPO进行精细调优，这种组合策略在多个开源项目中显示出良好效果。

5. 实现细节与调参技巧

5.1 关键超参数设置

DPO实践参数：

• β：控制策略偏离强度，通常0.1-0.5
• 学习率：5e-6到1e-5
• 批大小：32-128（根据显存调整）

GSPO优化技巧：

1. 组大小G的选择：

   • 小模型（<7B）：G=4-8
   • 大模型（>=70B）：G=2-4

2. 长度归一化的变体： 可采用分段归一化，对短序列（<32token）和长序列区别处理

3. 混合探索策略： 80%贪心生成+20%随机采样，平衡探索与利用

5.2 典型训练配置示例

以7B模型使用GSPO为例：

train_config: batch_size: 64 group_size: 4 learning_rate: 3e-6 max_seq_len: 2048 kl_coef: 0.2 clip_range: 0.2 ppo_epochs: 2 optimizer: type: adamw beta1: 0.9 beta2: 0.95 weight_decay: 0.01

5.3 常见问题排查

问题1：训练初期奖励不升反降

• 检查参考模型是否与SFT模型一致
• 降低初始学习率
• 增加KL系数β

问题2：生成结果过于保守

• 减小KL惩罚权重
• 检查奖励模型是否过度惩罚创新表达
• 尝试提高采样温度

问题3：长文本质量下降

• 验证长度归一化实现是否正确
• 调整组内优势计算方式
• 检查位置编码是否支持长序列

在实际项目中，建议使用WandB等工具监控以下指标：

• 平均序列奖励
• KL散度变化
• 生成多样性
• 训练损失曲线