常见的两种分支限界法