単元一覧 › 大学数学 オペレーションズ・リサーチ

オペレーションズ・リサーチの問題

難易度 4大学院入試の標準レベル証明問題大学数学 オペレーションズ・リサーチ

を整数とし、 人の作業者 を 個の仕事 に 1 対 1 に割り当てる割当問題を考える。作業者 に仕事 を割り当てたときの費用を実数 とし、 上の置換 (作業者 に仕事 を割り当てる)の総費用を

とする。費用が次の条件(モンジュ条件)を満たすとする:

このとき、恒等置換 (作業者 に仕事 を割り当てる)は割当問題の最適解であること、すなわちすべての置換 に対して が成り立つことを証明せよ。

この問題で使うもの

この問題を解けるようになるまで(10 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. グラフの次数と握手補題
  7. 2 部グラフと奇閉路
  8. 最大独立集合と最小頂点被覆
  9. 最大マッチングとケーニヒの定理
  10. 割当問題(ハンガリー法)

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

交換による改善の議論を使う。 のとき、費用を増やさずに「恒等置換に近づく」ように 2 人の仕事を入れ替えられることを示し、それを繰り返す。

ヒント 2

が成り立たない最小の に注目すると、 であり、仕事 を担当している作業者 は である。モンジュ条件を行 、列 に使う。

ヒント 3

作業者 と の仕事を入れ替えると、作業者 が自分と同じ番号の仕事を担当するようになり、費用の変化は になる。あとは「先頭から何人が恒等的に割り当てられているか」が増え続けることで有限回で止まることを言う。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る
  • となる最小の (または転倒など)に注目し、入れ替えを繰り返して恒等置換に到達させる方針を立てている(2 点)

  • 単射性から であり、仕事 を担当する作業者 が であることを示している(2 点)

  • 2 人の仕事を入れ替えた が置換であり、費用の差が になることを計算している(2 点)

  • 行 、列 の大小関係を確認したうえでモンジュ条件を適用し、費用が増えないことを示している(2 点)

  • 入れ替えが有限回(高々 回)で終わり恒等置換に到達することを、増え続ける整数値の量などで示し、 と結論している(2 点)

結果を記録する(このブラウザにだけ保存されます):
模範解答を読む

置換 に対し、 がすべて成り立つような の最大値を とおく( なら )。 となるのは のときだけである。

補題. ならば、 かつ を満たす置換 が存在する。

補題の証明. とおくと より 。 とすると、 の定義(最大性)から である。

(i) であること: で は単射なので、 は のどれとも異なる。さらに なので 。

(ii) とおくと であること: なら となり に反する。 なら となり反する。よって 。

そこで の 番目と 番目の値を入れ替えた置換 を

で定める(値を入れ替えただけなので も全単射、つまり置換である)。( は と異なる)かつ なので 。

費用の差は、 以外の項が共通なので

ここで行の番号は ((ii) より)、列の番号は ((i) より)なので、モンジュ条件を に適用して

よって 。補題が示された。

本証明. 任意の置換 をとり、 とする。 である限り、補題で得られる を とする。このとき かつ である。 の値は 以上 以下の整数で、1 回ごとに 1 以上増えるので、この操作は高々 回で止まる。止まるのは となったときだけであり、そのときまでの費用は増えないので

( のときは で等号)。

は任意であったから、すべての置換 に対して が成り立ち、恒等置換は割当問題の最適解である。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題