鬆緊定理

線上性規劃問題的最優解中，如果對應某一約束條件的對偶變數值為非零，則該約束條件取嚴格等式；反之如果約束條件取嚴格不等式，則其對應的對偶變數一定為零。也即