状态sk的决策决定了下一阶段的状态连乘形式的递推方程的终端条件等于