最优性剪枝

求最优解时，若“当前已用代价 + 剩余的乐观估计 ≥ 已找到的最优”，就剪掉该分支。关键是给出一个不高估的下界（或不低估的上界）。