可以引入一个上界函数,用于剪去不含最优解的子树,
设z是解空间树第i层上的当前扩展结点。cw是当前载重量;bestw是当前最优载重量;r是剩余集装箱的重量。
定义上界函数为cw+r。在以z为根的子树中任一叶结点所相应的载重量均不超过cw+r。因此,当cw+r<=bestw时,可将z的右子树剪去。
关于“上界函数”。既然是“以z为根的所有叶结点”都不满意条件。为什么不剪去z的所有子树,返回z上一层?
为什么只剪去z的“右子树”,保留了“左子树”?
例如:

已经搜索到了结点F
此时发现“当前载重量”+“剩余集装箱重量”< “当前最优载重量”
那么就没必要搜索L和M了。为什么书上说只裁剪右子树(M),没说裁剪L?