Search results
Results from the WOW.Com Content Network
Strong duality is a condition in mathematical optimization in which the primal optimal objective and the dual optimal objective are equal. By definition, strong duality holds if and only if the duality gap is equal to 0.
The max-flow min-cut theorem is a special case of the strong duality theorem: flow-maximization is the primal LP, and cut-minimization is the dual LP. See Max-flow min-cut theorem#Linear program formulation. Other graph-related theorems can be proved using the strong duality theorem, in particular, Konig's theorem. [9]
In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one-to-one fashion, often (but not always) by means of an involution operation: if the dual of A is B, then the dual of B is A.
The duality gap is zero if and only if strong duality holds. Otherwise the gap is strictly positive and weak duality holds. [5] In computational optimization, another "duality gap" is often reported, which is the difference in value between any dual solution and the value of a feasible but suboptimal iterate for the primal problem.
Farkas's lemma can be varied to many further theorems of alternative by simple modifications, [5] such as Gordan's theorem: Either < has a solution x, or = has a nonzero solution y with y ≥ 0. Common applications of Farkas' lemma include proving the strong duality theorem associated with linear programming and the Karush–Kuhn–Tucker ...
This alternative "duality gap" quantifies the discrepancy between the value of a current feasible but suboptimal iterate for the primal problem and the value of the dual problem; the value of the dual problem is, under regularity conditions, equal to the value of the convex relaxation of the primal problem: The convex relaxation is the problem ...
The vertex-connectivity statement of Menger's theorem is as follows: . Let G be a finite undirected graph and x and y two nonadjacent vertices. Then the size of the minimum vertex cut for x and y (the minimum number of vertices, distinct from x and y, whose removal disconnects x and y) is equal to the maximum number of pairwise internally disjoint paths from x to y.
Theorem — (sufficiency) If there exists a solution to the primal problem, a solution (,) to the dual problem, such that together they satisfy the KKT conditions, then the problem pair has strong duality, and , (,) is a solution pair to the primal and dual problems.