对偶间隙为严格正值，此时即为。一般而定，给定二个的分隔 formula_4及formula_5。假定函数formula_6，可以定义原始问题为若有限制条件，可以整合到函数formula_8中，方式是令formula_9，其中formula_10是示性函数。则令formula_11是使得formula_12。则对偶间隙即为以下的差值其中formula_14为二个变数的凸共轭。在计算最优化中，会提到另一种「对偶间隙」，是对偶解以及原始问题次最佳但是可行解之间的差距。这种对偶间隙反映了目前可行，但可能