>>1は分枝切除平面法もしらないのか？

まー知ってれば聞いただけで最適性の保証があると
わかりそうなもんだがな。