6.1.7 最优分解