常用技巧——剪枝