一个最优策略的子策略，对于它的初态和终态而言也必是最优的