8.1.3 值函数计算