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

ベルマン最適方程式と最適価値

方策反復(または価値反復)で を満たす最適価値と最適方策を求められる

前提

この技能までの道筋(40 技能)
算数中学高校大学大学院

読み込み中…

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

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

説明

マルコフ決定過程では、各状態でどの行動を選ぶか(方策)によって期待割引総報酬が変わります。この技能では、すべての方策の中で期待割引総報酬が最大になる最適価値 と、それを実現する最適方策を求めます。そのための道具が、最適価値が満たすベルマン最適方程式 です。ここでは、前提の技能である方策の価値の計算をくり返して最適方策にたどり着く方策反復を中心に説明します。

なぜそうしてよいのか

状態も行動も有限個で、割引率は とします。状態 で行動 を取ると報酬 を受け取り、確率 で次の状態 に移ります。各状態で取る行動を 1 つずつ決めたものを方策と呼びます。状態も行動も有限個なので、方策も有限個です。方策 の価値 は、前提の技能の連立 1 次方程式 のただ 1 つの解です。そこで最適価値を (すべての方策 についての最大)と定めます。各状態に数を対応させた表 に対して と定め、さらに とおきます。 は「1 手だけ に従い、その後は のとおりの価値が得られる」としたときの見積もりです。 の方程式は と書けます。以下では次の 2 つの性質を使います。(i) 単調性:すべての で が成り立つこと(以下 と書く)を仮定します。このとき より となり、とくに です。(ii) 縮小性: とおくと、確率の和が であることから が成り立ちます。

方策改善がうまくいく理由を示します。今の方策 の価値 を使い、 となる行動がある状態では行動を が最大になるものに変え、それ以外の状態では のままにします。こうして作った方策を とします。 のときは なので、どの状態でも 、つまり です。次に 、 と定めます。 は「 手目まで に従い、その後は に従う」ときの価値です。まず です。 ならば、(i) より となります。帰納的に です。一方、 と (ii) を 回使うと、 となるので、 です。単調非減少な列の極限は各項以上なので、 が成り立ちます。さらに行動を変えた状態 では です。つまり更新のたびに、価値はすべての状態で下がらず、少なくとも 1 つの状態で真に増えます。方策反復で が得られたとし、 とします。このとき であり、ある で です。よって 、したがって となり、同じ方策に戻ることはありません。方策は有限個なので、更新は有限回で止まります。

止まったときは、どの状態でも となる がありません。したがって 、つまり はベルマン最適方程式を満たします。これが最適価値であることを示します。任意の方策 に対して です。(i) より が帰納的に成り立ちます。さらに、上と同じく (ii) から なので、 です。よって がすべての状態で同時に成り立ち、 は最適方策です。また、最適方程式の解は 1 つしかありません。まず、有限個の について が成り立ちます。実際、 を最大にする をとると であり、 を入れ替えても同じだからです。 がともに解であるとし、 とおきます。この補題と (ii) より がすべての で成り立ち、左辺の最大をとると です。よって となり、 と から です。このため、最適方程式を満たす表を 1 つ見つければ、それが だと確定します。なお、価値反復 でも、同じ評価から となって に収束します。ただし、有限回で止めると近似値にとどまります。

手順

  1. 初めの方策 を 1 つ決める(各状態で行動を 1 つずつ選ぶ)。

  2. 方策評価:連立 1 次方程式 を解いて を求める。

  3. 方策改善の準備:各状態 と各行動 について を計算する( になる)。

  4. となる行動がある状態では、行動を が最大になるものに変える。値が等しいだけなら今の行動のままにする。

  5. 方策が 1 か所でも変わったら手順 2 に戻る。どこも変わらなければ、その方策が最適方策で である( がすべての で成り立つことを確かめる。最適方程式の解は 1 つなので、これで確定する)。

例題

状態 をもつマルコフ決定過程を考え、割引率を とする。状態 では 2 つの行動を選べる。行動「留」を取ると報酬 を得て、確率 で にとどまる。行動「移」を取ると報酬 を得て、確率 で に移り、確率 で にとどまる。状態 では行動は 1 つだけで、報酬 を得て確率 で にとどまる。状態 の最適価値 を求めよ。

例題の解答

手順 1:初めの方策を「 では留」とする( の行動は 1 つしかない)。

手順 2(方策評価): より である。 より である。

手順 3:状態 で各行動の を計算する。、 である。

手順 4: なので、 の行動を「移」に変える。

手順 5 → 手順 2:方策が変わったので評価をやり直す。 の式は前と同じなので である。 については となり、 より である(改善前の より真に大きい)。

手順 3:、 である。

手順 4・5: なので方策は変わらず、ここで終了する。最適方策は「 では移」である。 が成り立ち、 では が成り立つ。よって はベルマン最適方程式を満たし、解はただ 1 つなので、これが最適価値である。

よって である。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること