约束传播 复杂性估计 分层方法 计算复杂性 问题求解 下包络线 定性推理 计算量