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

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

難易度 2教科書の演習問題レベル証明問題大学数学 オペレーションズ・リサーチ

を整数とし、頂点集合 と有向辺の集合 からなる有向グラフ(PERT のアローダイアグラム)を考える。各辺 は を満たし、作業時間 (実数)をもつ。また、 のどの頂点 にも、 に入る辺 が少なくとも 1 本あるとする。

最早結合点時刻 を

により の小さい順に定める。また、頂点 から頂点 への有向路(辺を 0 本以上つないだもの。 から へは辺を 1 本も含まない路だけを考える)について、含まれる辺の作業時間の和をその路の長さとよぶ。

各 について、頂点 から頂点 への有向路が存在し、 はそれらの有向路の長さの最大値に等しいことを証明せよ。

この問題で使うもの

ヒント

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

ヒント 1

頂点の番号 についての(強い)数学的帰納法を使う。辺はすべて番号の小さい頂点から大きい頂点へ向かうことに注目する。

ヒント 2

から への有向路を「 から への有向路」+「最後の辺 」に分解する。逆に、 の最大値を与える への最長路に辺 をつなげる。

ヒント 3

で主張が成り立つと仮定すると、 への任意の路の長さは、最後の辺を として 以下になる。これで最大値が 以下であることがわかるので、次は に等しい長さの路を作る。

採点の観点と模範解答

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

採点の観点を見る
  • 辺が番号の小さい頂点から大きい頂点へ向かうことから、有向路が有限個で同じ頂点を通らないことに触れ、最大値が定まることを確認している(2 点)

  • についての帰納法の形(何を仮定し何を示すか)を明示し、 で が最大値に一致することを示している(2 点)

  • 任意の の路を最後の辺 で分け、帰納法の仮定から長さが 以下であることを示している(3 点)

  • を達成する への最長路に辺 をつなげ、それが有向路で長さが になることを示して等号を得ている(路の存在も含む)(3 点)

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

準備. 頂点 から頂点 への有向路全体の集合を とする。どの辺 も を満たすので、有向路をたどると頂点の番号は真に増加する。したがって有向路は同じ頂点を 2 度通らず、頂点の列は の増加列で決まるから、 は有限集合である。 が空でないとき、その長さの最大値を と書く。

示すこと: すべての について「 かつ 」。これを に関する(強い)数学的帰納法で示す。

のとき. 辺を 1 本も含まない路は に属するので 。問題の約束により はこの路だけからなり(実際、辺を 1 本以上含む有向路の終点は始点 より番号が大きい)、その長さは 。よって 。

のとき. のすべての について かつ が成り立つと仮定する。

(a) (と が空でないこと). まず仮定より に入る辺 があり、 なので帰納法の仮定から に路 がある。 の頂点はすべて 以下で と異なるので、 に辺 をつなげたものは から への有向路であり、。

次に を任意にとる。 なので は辺を 1 本以上含む。最後の辺を とすると 、 であり、 から最後の辺を除いた部分 は から への有向路である。帰納法の仮定より の長さは 以下なので

は任意なので 。

(b) . の定義の最大値は有限個の値の最大値なので達成され、ある で となる。 なので帰納法の仮定より は空でない有限集合で、長さがちょうど の路 がある。 の頂点はすべて 以下なので を含まず、 に辺 をつなげたもの は から への有向路である。その長さは なので 。

(a), (b) より であり、 のときも成り立つ。

結論. 数学的帰納法により、すべての について、頂点 から頂点 への有向路が存在し、 はそれらの長さの最大値に等しい。

この問題の確認

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

間違いを報告する

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

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

関連する問題