子问题最优解性质