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

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

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

状態が の つであるマルコフ決定過程を考える。各時刻 に現在の状態を見て行動を つ選ぶと、その時刻の報酬を受け取り、次の時刻の状態が次の確率で決まる( は状態 から状態 へ遷移する確率)。

  • 状態 で行動 :報酬 、
  • 状態 で行動 :報酬 、
  • 状態 で行動 :報酬 、
  • 状態 で行動 :報酬 、
  • 状態 で行動 (選べる行動はこれのみ):報酬 、

方策 のもとで時刻 に得る報酬を とし、初期状態 からの長期平均報酬を

で定める。この長期平均報酬のすべての方策にわたる最大値(最適平均報酬)を求めよ。なお、状態と行動が有限のこのマルコフ決定過程では、最適な方策が定常な決定的方策(各状態で常に同じ行動を選ぶ方策)の中に存在し、その最適平均報酬は初期状態によらないことを用いてよい。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. 確率の定義と和事象・余事象
  7. 条件付き確率と乗法定理
  8. 四則の混じった計算の順序
  9. 等間隔にならんだ数の和
  10. 分数のたし算・ひき算
  11. 小数の四則計算
  12. 正負の数の加法・減法
  13. 分数のかけ算・わり算
  14. 正負の数の乗除・累乗と四則混合
  15. 分配法則を使った計算のくふう
  16. 文字式の計算(同類項・分配法則)
  17. 等差・等比数列の和と Σ
  18. マルコフ連鎖と推移確率
  19. 定常分布
  20. 数列の極限
  21. 無限等比級数と無限級数
  22. 三角形の角の大きさ
  23. 対頂角と平行線の同位角・錯角
  24. 三角形の外角と角の組み合わせ
  25. 小数と分数のまじった計算
  26. 逆算(□ を求める)
  27. 1 次方程式の解き方
  28. 二等辺三角形の角
  29. 平行四辺形と特別な四角形の性質
  30. 三角形・四角形の面積
  31. 約数の見つけ方
  32. 素因数分解と約数の個数
  33. 平方根の意味と根号の簡単化
  34. 三平方の定理
  35. 乗法公式による展開
  36. 折り返した図形の角と長さ
  37. 三平方の定理と平面図形
  38. ベクトルの演算と成分
  39. 行列の和・積と 2 次の逆行列
  40. 掃き出し法と連立 1 次方程式
  41. マルコフ決定過程と方策の価値
  42. ベルマン最適方程式と最適価値

ヒント

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

ヒント 1

定常な決定的方策は状態 での行動の選び方で 通りしかない。各方策で遷移行列を作り、長期平均報酬を比べよう。

ヒント 2

単一連鎖の方策では、長期平均報酬は定常分布 を用いて と書ける。、 を解く。

ヒント 3

方策 では状態 が一時的で 、。方策 では となる。残りの方策も同様に計算して比べよう。

答えと解説

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

状態 の行動は だけなので、定常な決定的方策は状態 での行動の組 で決まり、 の 通りである。各方策の遷移行列を書くと、どの方策でも再帰類はただ つである(単一連鎖)。したがって長期平均報酬は初期状態によらず、定常分布 を使って で求められる。

方策 :状態 からは状態 へ行かないので状態 は一時的であり、再帰類は である。釣り合いの式 と から 。

方策 : より 。 より 。よって 。

方策 : より 。 より (残りの式 も成り立つ)。よって 。

方策 :、 より 。よって 。

比べると なので、最大は方策 の である。

最適性方程式による確認:平均報酬の最適性方程式 を、方策 について として解く。
- 状態 : より 。
- 状態 : より 、。
- 状態 :右辺 で成立。

選ばなかった行動の値は、状態 の が ( の値 )、状態 の が ( の値 )であり、どの状態でも方策 の行動が最大を与える。したがって最適性方程式が満たされ、最適平均報酬は である。

別解

状態と行動が有限なので、定常な決定的方策 の 通りについて、定常分布から平均報酬 を計算して比べる。

1. :状態 には到達しない。閉じた類 の推移行列は 。 より 。。
2. :既約。、 より 。報酬は なので 。
3. :状態 、状態 は 。、 より 。報酬は なので 。検算: で成り立つ。
4. :、 より 。報酬は なので 。

それぞれ であり、最大は の 。

この問題の確認

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

間違いを報告する

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

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

関連する問題