Skip to content

价值迭代

Value iteration · Bellman value iteration · 值迭代

反复施加最优 Bellman 算子逼近最优价值,并从近似值提取近似贪心策略。

条目类型
算法

形式陈述

有限折扣 MDP 的价值迭代从任意有界 v0 开始,执行

vk+1=Tvk,

vk+1(s)=maxa[r(s,a)+γsP(ss,a)vk(s)].

最优 Bellman 算子的压缩性,

vkvγkv0v.

若奖励绝对值不超过 Rmaxv0=0,可把未知初始误差换成 Rmax/(1γ)

实现中可用残差停止。若 δk=Tvkvk,则

vkvδk1γ.

πkvk 贪心,标准价值误差性能界为

vvπk2γ1γvkv.

残差还能直接控制贪心策略,而不必先把两条界机械串接:

vvπk2γ1γδk.

证明使用 Tπkvk=Tvk,并分别由压缩性得到 vkvδk/(1γ)vkvπkδk/(1γ),再在两个 Bellman 算子之间保留前面的 γ。因此“价值近似精确”和“提取的策略近似最优”是两层保证;若只把价值误差界代入上一式,会得到正确但更松的平方分母界。

直觉

一次更新允许看一步并假定之后按旧估计行事;两次更新允许最优选择向前传播两步。最大化和期望在每轮被完整执行,远处奖励逐层传回上游。与策略迭代不同,价值迭代不先把任何一张策略评估到底,而是每轮同时推进求值与改进。

压缩性保证数值函数最终忘掉初值。可是在 γ 接近一时,忘记得很慢,而且小残差对应的价值误差会被 1/(1γ) 放大;这解释了长时域控制为何比公式表面更难。

例子与边界

考虑状态 s0,s1 和终止态。s0 可收割得 5 后终止,或培育得 0 后到 s1s1 出售得 8 后终止。取 γ=4/5v0=0。第一次更新只看即时奖励:

v1(s0)=5,v1(s1)=8.

第二次更新把出售价值传回 s0

v2(s0)=max{5,458}=325,v2(s1)=8.

此后数值不变,贪心策略选择培育。这里两轮恰好收敛是无环有限时域结构造成的;含自环的一般折扣 MDP 通常只渐近收敛。

若更新只覆盖一部分状态,必须保证每个相关状态被无限次更新且陈旧信息受控,才能引用异步价值迭代结论。若把期望换成单个样本,得到的是随机算法而非同一确定性迭代。γ=1、奖励无界或平均奖励目标也不由上述 sup-norm 压缩证明覆盖。

推论与应用

价值迭代每轮的主要代价是对所有状态—动作—下一状态做 Bellman backup;稀疏转移、优先队列或异步更新可减少无效计算。若要求贪心策略损失至多 εγ>0,充分的停止条件是 δkε(1γ)/(2γ),而不是凭数值“看起来稳定”停止;γ=0 时贪心即时奖励本已最优。

在模型未知的表格控制中,Q-learning用观测转移构造最优 Bellman 更新的随机近似。深度 Q 网络继续替换函数表,却额外引入非线性逼近、相关样本和移动目标;经典价值迭代的压缩证明不能独自保证其稳定性。

参考资料
  • Richard Bellman, Dynamic Programming, Princeton University Press, 1957, Ch. 3.
  • Martin L. Puterman, Markov Decision Processes, Wiley, 1994, Sec. 6.3.
  • Dimitri P. Bertsekas and John N. Tsitsiklis, Neuro-Dynamic Programming, Athena Scientific, 1996, Sec. 2.2.
关系图谱5 个相邻概念 · 1 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组