オペレーションズ・リサーチの問題
を整数とし、 人の作業者 を 個の仕事 に 1 対 1 に割り当てる割当問題を考える。作業者 に仕事 を割り当てたときの費用を実数 とし、 上の置換 (作業者 に仕事 を割り当てる)の総費用を
とする。費用が次の条件(モンジュ条件)を満たすとする:
このとき、恒等置換 (作業者 に仕事 を割り当てる)は割当問題の最適解であること、すなわちすべての置換 に対して が成り立つことを証明せよ。
この問題で使うもの
- 割当問題(ハンガリー法)(説明と入口の問題)
この問題を解けるようになるまで(10 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
交換による改善の議論を使う。 のとき、費用を増やさずに「恒等置換に近づく」ように 2 人の仕事を入れ替えられることを示し、それを繰り返す。
ヒント 2
が成り立たない最小の に注目すると、 であり、仕事 を担当している作業者 は である。モンジュ条件を行 、列 に使う。
ヒント 3
作業者 と の仕事を入れ替えると、作業者 が自分と同じ番号の仕事を担当するようになり、費用の変化は になる。あとは「先頭から何人が恒等的に割り当てられているか」が増え続けることで有限回で止まることを言う。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
となる最小の (または転倒など)に注目し、入れ替えを繰り返して恒等置換に到達させる方針を立てている(2 点)
単射性から であり、仕事 を担当する作業者 が であることを示している(2 点)
2 人の仕事を入れ替えた が置換であり、費用の差が になることを計算している(2 点)
行 、列 の大小関係を確認したうえでモンジュ条件を適用し、費用が増えないことを示している(2 点)
入れ替えが有限回(高々 回)で終わり恒等置換に到達することを、増え続ける整数値の量などで示し、 と結論している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
置換 に対し、 がすべて成り立つような の最大値を とおく( なら )。 となるのは のときだけである。
補題. ならば、 かつ を満たす置換 が存在する。
補題の証明. とおくと より 。 とすると、 の定義(最大性)から である。
(i) であること: で は単射なので、 は のどれとも異なる。さらに なので 。
(ii) とおくと であること: なら となり に反する。 なら となり反する。よって 。
そこで の 番目と 番目の値を入れ替えた置換 を
で定める(値を入れ替えただけなので も全単射、つまり置換である)。( は と異なる)かつ なので 。
費用の差は、 以外の項が共通なので
ここで行の番号は ((ii) より)、列の番号は ((i) より)なので、モンジュ条件を に適用して
よって 。補題が示された。
本証明. 任意の置換 をとり、 とする。 である限り、補題で得られる を とする。このとき かつ である。 の値は 以上 以下の整数で、1 回ごとに 1 以上増えるので、この操作は高々 回で止まる。止まるのは となったときだけであり、そのときまでの費用は増えないので
( のときは で等号)。
は任意であったから、すべての置換 に対して が成り立ち、恒等置換は割当問題の最適解である。