Value Iteration (VI) iterates the Bellman optimality equation directly with synchronous sweeps over all states:
Vk+1(s)=maxa∑s′P(s′∣s,a)[r(s,a)+γVk(s′)], where
Vk is the estimate at round
k,
maxa performs an implicit greedy improvement, and
∑s′P(s′∣s,a)[⋅] is the transition-weighted expectation; each sweep is one step of evaluation plus one step of improvement — VI is policy iteration truncated to a single evaluation step. Because the Bellman operator is a
γ-contraction (
∥TV−TU∥∞≤γ∥V−U∥∞),
Vk→V∗ is guaranteed; note intermediate
Vk need not be the value function of any single policy — only the final greedy policy w.r.t.
Vk is optimal. Policy Iteration (PI) alternates two steps: ① policy evaluation — iterate the current policy's value function
Vπk(s)=∑s′P(s′∣s,πk(s))[r(s,πk(s))+γVπk(s′)] to convergence (or truncated by tolerance); ② policy improvement — greedy update
πk+1(s)=argmaxa∑s′P(s′∣s,a)[r(s,a)+γVπk(s′)].The improvement theorem guarantees
Vπk+1≥Vπk monotonically, so PI terminates at the optimal policy on finite MDPs (≤
∣A∣∣S∣ rounds in theory, far fewer in practice).