离散优化模型的松弛模型

在分支定界算法中（常用来求解离散优化问题），我们求节点问题的最优界时，往往需要求解节点问题的松弛问题的最优解，那么这个所谓的松弛问题是什么呢？

顾名思义，就是将原问题的部分约束条件进行丢弃或放宽，而对离散优化模型而言，口头上的松弛问题常常指的是线性松弛问题，即将整数规划问题中的约束条件中的整数要求放宽，整数变量改为实数变量，将原整数规划问题转化为一个线性规划问题。

min ⁡ c x s . t . A x = b x ∈ Z → R \min cx\\s.t. Ax=b\\ x\in Z\rightarrow R