相補性定理

【そうほせいていり (complementarity slackness theorem)】

線形計画問題

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{array}{llllllll} \mbox{max.} & \displaystyle \sum_{j=1}^{n}c_jx_j & \\ \mbox{s.t.} & \displaystyle \sum_{j=1}^na_{ij}x_j\leq b_i & (i=1,2,\ldots,m), \\ & x_j \geq 0 & (j=1,2,\ldots,n) \end{array} \,}

の実行可能解 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (x_1,\ldots,x_n) \,} と双対問題の実行可能解 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (y_1,\ldots,y_m) \,} がそれぞれの問題の最適解であるための必要十分条件は,(1) $\textstyle (c_{j}-\sum _{i=1}^{m}a_{ij}y_{i})x_{j}=0\ (j=1,2,\ldots ,n)\,$, かつ(2)構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \textstyle (\sum_{j=1}^{n}a_{ij}x_j-b_i)y_i =0 \ (i=1,2,\ldots,m) \,} が成り立つことである. この主張を相補性定理と呼ぶ.