数学 › 計算機援用証明 › 行列計算の認証と最適化の証明書

線形計画の主問題と双対問題

定義 7.1(「行列計算の認証と最適化の証明書」§7)

A∈Rm×nA\in\mathbb{R}^{m\times n}, b∈Rm\boldsymbol{b}\in\mathbb{R}^m, c∈Rn\boldsymbol{c}\in\mathbb{R}^n に対し、主問題 (P) min⁡ cTx\min\ \boldsymbol{c}^{\mathsf{T}}\boldsymbol{x} s.t. Ax=bA\boldsymbol{x}=\boldsymbol{b}, x≥0\boldsymbol{x}\ge\boldsymbol{0} と、双対問題 (D) max⁡ bTy\max\ \boldsymbol{b}^{\mathsf{T}}\boldsymbol{y} s.t. ATy≤cA^{\mathsf{T}}\boldsymbol{y}\le\boldsymbol{c} を考える。(P) の最適値を p∗p^\ast と書く。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 1 問