最优性原理的基本思想是，一个最优策略的子策略总是（）的。