1. 分支限界介绍
分支限界通常是将一个完全形态的搜索树(树的叶子结点可能是可行/最优解)通过限界技术在一些不可能得到正确答案的分支上进行剪枝,从而达到减小搜索空间的目的。
解 与解空间
通常,解是一个/组向量: < x 1 , x 2 , x 3 , x 4 , . . . , x n > <x_1, x_2, x_3, x_4,..., x_n> <x1,x2,x3,x4,...,xn>。
并且解具有多米诺性质:若部分解 < x 1 , x 2 , x 3 , . . . , x k > <x_1, x_2, x_3, ..., x_k> <x1,x2,x3,...,xk>是一个最优解,则 部分解 < x 1 , x 2 , x 3 , . . . , x k − 1 > <x_1, x_2, x_3, ..., x_{k-1}> <x1,x2,x3,...,xk−1>也一定是最优的。
逆否命题: 如果解 < x 1 , x 2 , x 3 , . . . , x k − 1 > <x_1, x_2, x_3, ..., x_{k-1}> <x1,x2,x3,...,xk−1>不是最优的部分解,则 < x 1 , x 2 , x 3 , . . . , x k > <x_1, x_2, x_3, ..., x_k> <x1,x2,x3,...,xk