6.4 一种分解算法求下界