运筹学||松弛问题||分支定界法

一些专业名词

整数规划（integer programming，简记IP）

线性规划（linear programming，简记LP）

松弛问题（slack problem）

定义

不考虑整数条件，由余下的目标函数和约束条件构成的规划问题称为该整数规划问题的松弛问题。

相关结论：

（1）最优解不一定在顶点上达到；

（2）最优解不一定是松弛问题最优解的邻近整数解；

（3）整数可行解远多余于顶点，枚举法不可取。

一般形式：

分支定界法