4.3.2 面向最优跟踪的折扣广义值迭代算法性质