基本定义
约束条件:搜索界时满足的前提 类似Weight
代价函数:某个节点在理想条件下达到的最大值但又约束条件通常达不到
目的:剪枝
原因:对极大化问题父结点代价不小于子结点的代价(极小化问题相反)
界:满足约束条件的最大值或者最小值 类似 Value
背包问题
4种物品,重量wi与价值vi分别为
v1=1, v2=3, v3=5, v4=9
w1=2, w2=3, w3=4, w4=7
背包重量限制为10
代价函数=已装入价值+β
β:还可继续装入最大价值的上界
β=背包剩余重量vk+1 /wk+1( 可 装 )这里指的是剩余重量所对应的最大价值
β=0(不可装)
其中绿色节点为遍历节点
蓝色节点为不满足约束条件的节点
黄色节点为父节点的代价函数小于界而跳过的节点
橙色节点为界节点
最大团问题
G的子图
G的补图:完全图的边集的补集合。例如无边集的补集就是完全图
G的团:G的完全子图