11.2 剪枝算法