formula_1是对偶问题解对应的值，而formula_2是原始问题最佳解对应的值，则对偶间隙为formula_3。针对最小化的最佳化问题，对偶间隙恆大于等于零。对偶间隙为零若且唯若的条件成立，不然对偶间隙为严格正值，此时即为。一般而定，给定二个的分隔formula_4及formula_5。假定函数formula_6，可以定义原始问题为若有限制条件，可以整合到函数formula_8中，方式是令formula_9，其中formula_10是示性函数。则令formula_11是使得formula_12