強双対性
F = F ∗ ∗ {\displaystyle F=F^{**}} 。ここで F {\displaystyle F} は主問題と双対問題を関係づける摂動函数であり、 F ∗ ∗ {\displaystyle F^{**}} は F {\displaystyle F} の双共役である;
主問題が線型最適化問題であること;
凸最適化問題に対するスレーターの条件が成立すること。
数学における強双対性(きょうそうついせい、英: strong duality)とは、主問題と双対問題の解が等しくあるような最適化の一概念である。相対する概念に弱双対性(主問題が双対問題よりも大きい最適値を持つ、すなわち双対性のギャップ(英語版)が正)がある。