9.3.1 约束跟踪问题的可调节值迭代算法推导