离散化剪枝