15.3 剪枝优化