線形計画法を解くためのシンプレックス法を学んだばかりで、双対問題が何を表しているのかを理解しようとしています。
二重の問題を解決する仕組みを理解しています - それについては助けは必要ありません。(ウィキペディアでそれについて読んだ後でも)得られないのは、 dualのy変数の実際の意味です。
主な問題の変数の意味と、双対から私が理解したことをすべて一緒に例を挙げて、双対の意味を説明するのに十分親切な人に尋ねたいと思います。
プライマル:
max z = 3*x1 + 5*x2
subject to:
x1 <= 4
2*x2 <= 12
3*x1 + 2*x2 <= 18
x1, x2 >= 0
主問題では、x1とx2は生産される製品AとBの数量です。3と5はそれぞれの販売単価です。製品はM1 ~ M3 の3 台の機械で生産されます。最初の製品を生産するには、M1で 1 時間、 M3で 3 時間の作業が必要です。2 番目のものを作成するには、 M2とM3の両方で 2 時間の作業が必要です。マシンM1、M2、M3は最大4、12、および18で動作可能時間、それぞれ。最後に、どの製品も負の数量を生産できません。
ここで、二重の問題を設定します。
min z = 4*y1 + 12*y2 + 18*y3
subject to:
y1 + 3*y3 >= 3
y2 + 2*y3 >= 5
y1, y2, y3 >= 0
今、私が理解できると思う唯一のことは、制約が意味することです: - M1で 1 時間、 M3で3 時間の作業に対して、少なくとも 3 マネーユニットを支払わなければなりません - M2と 2で 2 時間の作業に対してM3で数時間、少なくとも 5 マネー ユニットが支払われるはずです
しかし、 y1変数とy2変数の意味を理解することはできません。最終的に最小化を行うと、zの結果は主変数で同じになります (ただし、主変数は結果の下限を増やし、双対変数は上限を減らします)、双対問題の目的関数は何で構成されますか?の?