6，可以定义原始问题为若有限制条件，可以整合到函数formula_8中，方式是令formula_9，其中formula_10是示性函数。则令formula_11是使得formula_12。则对偶间隙即为以下的差值其中formula_14为二个变数的凸共轭。在计算最优化中，会提到另一种「对偶间隙」，是对偶解以及原始问题次最佳但是可行解之间的差距。这种对偶间隙反映了目前可行，但可能只是次最佳的迭代解，和对偶问题解之间的差距。对偶问题解是指规律性条件下，等于原始问题凸松弛（convex relaxatio