12.3.2 值函数迭代方法