MDP 与 Bellman 方程

MDP (马尔可夫决策过程, Markov Decision Process) 是序列决策问题的数学模型,由五元组 $(S, A, P, R, \gamma)$ 定义:$S$ 状态集、$A$ 动作集、$P(s'|s,a)$ 状态转移概率、$R(s,a)$ 立即奖励、$\gamma \in [0,1)$ 折扣因子。Bellman 最优方程刻画最优值函数的自洽性 (最优子结构): $V^*(s) = \max_a \left[ r(s,a) + \gamma \sum_{s'} P(s'|s,a) V^*(s') \right]$,其中 $r(s,a)$ 是立即奖励, $\max_a$ 在所有动作中取最优, $\sum_{s'} P(s'|s,a) V^*(s')$ 是按转移概率加权的后继状态期望值, $\gamma$ 对未来收益折现。对应的 Q 版本: $Q^*(s,a) = r(s,a) + \gamma \sum_{s'} P(s'|s,a) \max_{a'} Q^*(s',a')$, 其中 $\max_{a'} Q^*(s',a')$ 是下一状态的最优期望值;两者通过 $V^*(s) = \max_a Q^*(s,a)$ 互换。

一切强化学习问题的建模起点——机器人控制、游戏 AI、推荐系统、以及 LLM 推理强化 (RLVR) 都把决策写成 MDP;面试必问五元组、$\gamma$ 的作用、Bellman 方程的推导与 V/Q 两种形式。

把带长期后果的序贯决策形式化为可计算的动态规划问题——Bellman 方程把"全局最优"拆成"当前动作 + 最优子结构",使 $V^*$ 成为压缩算子 $T$ 的不动点 $V^* = TV^*$, 从而可被 VI/PI/TD/Q-learning 等迭代算法逼近, 是所有 RL 算法共享的理论基石。

检验攻克程度：针对「MDP 与 Bellman 方程」专属刷题排雷

做单选排雷题、推导选项机制，答错自动收录进专属错题本。