数学建模 案例 最优截断切割问题