列生成（DW分解）与线性松弛解的质量证明

        对于最小化问题，通过列生成获得的下界不差于线性松弛获得的下界，原因可以从多方面解释，本文从可行域的角度解释这一问题。

        首先对于已有整数规划数学模型记为MP1

       以上模型为原模型，将MP1中的松弛为大于等于0小于等于1， 可以得到它的线性松池模型，其可行域为。

        对于第二条约束，对应一个超平面，设该超平面的极点为，假设超平面有界，则超平面中的每一个点可以用其极点的凸组合表示，即为：

,

假设有多个超平面，则为,其中j表示超平面的索引。

        使用凸组合替换原问题中的决策遍历x，得到DW分解后的主问题MP2：

其中，此时的可行域为,该可行域小于等于原问题的可行域，所以列生成获得的下界一定不差于线性松池的下界。

此时DW分解的子问题为SP1：

如果列生成的原问题是按列建模的，不需要经过DW分解，则得到解与线性松弛是一致的。