In applied mathematics, weak duality is a concept in optimization which states that the duality gap is always greater than or equal to 0. This means that for any minimization problem, called the primal problem, the solution to the primal problem is always greater than or equal to the solution to the dual maximization problem.[1] Alternatively, the solution to a primal maximization problem is always less than or equal to the solution to the dual minimization problem.
Weak duality is in contrast to strong duality, which states that the primal optimal objective and the dual optimal objective are equal. Strong duality only holds in certain cases.[2]
Many primal-dual approximation algorithms are based on the principle of weak duality.[3]
Consider a linear programming problem, where
A
m x n
b
m x 1
The weak duality theorem states that
c\topx*\leqb\topy*
x*
y*
Namely, if
(x1,x2,....,xn)
(y1,y2,....,ym)
n | |
\sum | |
j=1 |
cjxj\leq
m | |
\sum | |
i=1 |
biyi
cj
bi
Proof:
More generally, if
x
y
f(x)\leqg(y)
f
g