強双対定理 math 主問題 maxxcTxs.t.Ax=b,x≥0 に最適解 x∗ が存在すれば双対問題にも最適解 y∗ が存在し, cTx∗=bTy∗ 参考 しっかり学ぶ数理最適化の演習解説ー2.9:ファルカスの補題から強双対定理を示す - ChunPom’s diary