分枝定界法,割平面法