分区剪枝