分支限界法的基本思想