-
對偶定理
鎖定
- 中文名
- 對偶定理
- 外文名
- Duality theorem
- 所屬領域
- 數理科學
- 定 義
- 若兩邏輯式相等,則它們的對偶式也相等
對偶定理定義
對偶定理是揭示原始問題的解與對偶問題的解之間重要關係的一系列定理。
對偶定理舉例
若Y=
,則Y'=
;
若Y=
,則Y'=
;
若Y=
,則Y'=
.
若兩邏輯式相等,則它們的對偶式也相等,這就是對偶定理(Duality theorem)。
對偶定理性質定理與推論
性質 對偶問題的對偶仍是原問題。
定理2 (最優準則定理) 如果
是原問題的可行解,
是對偶問題的可行解,則當
=
時,
、
分別為各自問題的最優解。
定理3 (最優解存在定理) 若原問題和對偶問題同時存在可行解,則它們必都存在最優解。
證明:最大化問題LP的目標函數值有上界,所以一定有最優解,類似地,最小化問題
DP的目標函數值有下界,所以也一定有最優解。
證畢。
定理4 (無界解定理) 若原問題(或對偶問題)有可行解且目標函數值無界,則其對偶問題(或原問題)無可行解。
推論2 設
,
分別是對稱形式的原問題式和其對偶問題式的可行解,則
,
分別是原問題和對偶問題的最優解的充分必要條件為
=
.
推論3 若原問題式有最優解,則在其最優單純形表中,鬆弛變量的檢驗數的負值即為對偶問題的一個最優解。
定理6 (互補鬆弛性定理) (向量形式)設x,y分別是對稱形式的原問題式和其對偶問題式的可行解,則x,y分別是原問題和對偶問題的最優解的充分必要條件為: