The dual of a given linear program (LP) is another LP that is derived from the original (the primal) LP in the following schematic way:
Each variable in the primal LP becomes a constraint in the dual LP;
Each constraint in the primal LP becomes a variable in the dual LP;
The objective direction is inversed – maximum in the primal becomes minimum in the dual and vice versa.
The weak duality theorem states that the objective value of the dual LP at any feasible solution is always a bound on the objective of the primal LP at any feasible solution (upper or lower bound, depending on whether it is a maximization or minimization problem). In fact, this bounding property holds for the optimal values of the dual and primal LPs.
The strong duality theorem states that, moreover, if the primal has an optimal solution then the dual has an optimal solution too, and the two optima are equal.[1]
These theorems belong to a larger class of duality theorems in optimization. The strong duality theorem is one of the cases in which the duality gap (the gap between the optimum of the primal and the optimum of the dual) is 0.
^Gärtner, Bernd; Matoušek, Jiří (2006). Understanding and Using Linear Programming. Berlin: Springer. ISBN 3-540-30697-8. Pages 81–104.
and 21 Related for: Dual linear program information
The dual of a given linearprogram (LP) is another LP that is derived from the original (the primal) LP in the following schematic way: Each variable in...
Linearprogramming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical...
In the theory of linearprogramming, a basic feasible solution (BFS) is a solution with a minimal set of non-zero variables. Geometrically, each BFS corresponds...
vertex cover problem can be formulated as a half-integral, linearprogram whose duallinearprogram is the maximum matching problem. Vertex cover problems...
Semidefinite programming (SDP) is a subfield of mathematical programming concerned with the optimization of a linear objective function (a user-specified...
The GNU LinearProgramming Kit (GLPK) is a software package intended for solving large-scale linearprogramming (LP), mixed integer programming (MIP),...
Parthasarathy's theorem — a generalization of Von Neumann's minimax theorem Duallinearprogram can be used to prove the minimax theorem for zero-sum games. Yao's...
function subject to linear constraints on the variables. Quadratic programming is a type of nonlinear programming. "Programming" in this context refers...
The configuration linearprogram (configuration-LP) is a linearprogramming technique used for solving combinatorial optimization problems. It was introduced...
function f is a linear function. This is because any program with a general objective can be transformed into a program with a linear objective by adding...
an efficient algorithm for solving large linearprograms. The overarching idea is that many linearprograms are too large to consider all the variables...
maximization linearprogram and ( y 1 , y 2 , . . . . , y m ) {\displaystyle (y_{1},y_{2},....,y_{m})} is a feasible solution for the dual minimization linear program...
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the...
totally dual integral (TDI) if for any c ∈ Z n {\displaystyle c\in \mathbb {Z} ^{n}} such that there is a feasible, bounded solution to the linearprogram max...
Linear algebra is the branch of mathematics concerning linear equations such as: a 1 x 1 + ⋯ + a n x n = b , {\displaystyle a_{1}x_{1}+\cdots +a_{n}x_{n}=b...
prototypical primal and dual semidefinite program is a minimization of a real linear function respectively subject to the primal and dual convex cones governing...
the dual cone of C {\displaystyle C\ } . Whilst weak duality holds in conic linearprogramming, strong duality does not necessarily hold. The dual of...
the algebraic maximum violation of the inequality. Moreover, the duallinearprogram to that which maximises λ computes a noncontextual inequality for...