「《両的計画》」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
23行目: 23行目:
  
  
:<math>\begin{array}{lll}
+
<center>
 +
<math>\begin{array}{lll}
 
{\rm max.~and~min.} & r_{1} + \beta_{1}r_{2} +
 
{\rm max.~and~min.} & r_{1} + \beta_{1}r_{2} +
 
  \beta_{1}\beta_{2}r_{3} + \cdots  \\
 
  \beta_{1}\beta_{2}r_{3} + \cdots  \\
30行目: 31行目:
 
\mbox{s. t.} \; T(s_n,a_n) = &  s_{n+1}, ~ a_{n} \in A(s_{n}) \quad (n = 1, 2, \ldots, N),  
 
\mbox{s. t.} \; T(s_n,a_n) = &  s_{n+1}, ~ a_{n} \in A(s_{n}) \quad (n = 1, 2, \ldots, N),  
 
\end{array}\, </math>
 
\end{array}\, </math>
 +
</center>
  
  
35行目: 37行目:
  
  
:<math>\begin{array}{lll}
+
<center>
 +
<math>\begin{array}{lll}
 
{\rm max.~and~min.} & r_{n} + \beta_{n}r_{n+1} +
 
{\rm max.~and~min.} & r_{n} + \beta_{n}r_{n+1} +
 
  \beta_{n}\beta_{n+1}r_{n+2} + \cdots  \\
 
  \beta_{n}\beta_{n+1}r_{n+2} + \cdots  \\
42行目: 45行目:
 
\mbox{s. t.} \; T(s_m,a_m) = & s_{m+1}, ~ a_{m} \in A(s_{m}) \quad (m = n, n+1, \ldots, N ),   
 
\mbox{s. t.} \; T(s_m,a_m) = & s_{m+1}, ~ a_{m} \in A(s_{m}) \quad (m = n, n+1, \ldots, N ),   
 
\end{array}\, </math>
 
\end{array}\, </math>
 +
</center>
  
  
47行目: 51行目:
  
  
:<math>U_{n}(s) = \max_{a:-}T(s,a; u_{n+1}) \vee \max_{a:+}T(s,a; U_{n+1})\, </math>  
+
<table align="center">
 
+
<tr>
:<math>u_{n}(s) = \min_{a:-}T(s,a; U_{n+1}) \wedge \min_{a:+}T(s,a; u_{n+1})
+
<td>
 +
<math>U_{n}(s) = \max_{a:-}T(s,a; u_{n+1}) \vee \max_{a:+}T(s,a; U_{n+1})\, </math>  
 +
</td>
 +
</tr>
 +
<tr>
 +
<td><math>u_{n}(s) = \min_{a:-}T(s,a; U_{n+1}) \wedge \min_{a:+}T(s,a; u_{n+1})
 
\quad  \quad  \mbox{(1)}\, </math>
 
\quad  \quad  \mbox{(1)}\, </math>
 
+
</td>
:<math>U_{N+1}(s) = u_{N+1}(s) = k(s)\, </math>  
+
</tr>
 +
<tr>
 +
<td><math>U_{N+1}(s) = u_{N+1}(s) = k(s)\, </math> </td>
 +
</tr>
 +
</table>
  
  
60行目: 73行目:
  
  
:<math>\begin{array}{ll}
+
<table align="center">
 +
<tr>
 +
<td><math>\begin{array}{ll}
 
{\rm max.~and~min.} & E[\,r_{1} + \beta_{1}r_{2} +
 
{\rm max.~and~min.} & E[\,r_{1} + \beta_{1}r_{2} +
 
  \beta_{1}\beta_{2}r_{3} + \cdots  \\
 
  \beta_{1}\beta_{2}r_{3} + \cdots  \\
 
& + \beta_{1}\beta_{2} \cdots \beta_{N-1}r_{N} +
 
& + \beta_{1}\beta_{2} \cdots \beta_{N-1}r_{N} +
 
  \beta_{1}\beta_{2} \cdots \beta_{N}k\,]  
 
  \beta_{1}\beta_{2} \cdots \beta_{N}k\,]  
\end{array}\, </math>
+
\end{array}\, </math></td>
 
+
</tr>
:<math>\mbox{s. t.} \; p(\cdot|s_n,a_n) ~ \sim s_{n+1}, ~ a_{n} \in A(s_{n}) \;
+
<tr>
 +
<td><math>\mbox{s. t.} \; \; p(\cdot|s_n,a_n) ~ \sim s_{n+1}, ~ a_{n} \in A(s_{n}) \;
 
   (n = 1,2, \ldots ), \, </math>
 
   (n = 1,2, \ldots ), \, </math>
 +
</td>
 +
</tr>
 +
</table>
  
  
 
の両帰式は一次変換
 
の両帰式は一次変換
  
:<math>T(s,a; w) := r(s,a) + \beta(s,a) {\displaystyle \sum_{t \in S}w(t)p(t|s,a)}\, </math>  
+
<center>
 +
<math>T(s,a; w) := r(s,a) + \beta(s,a) {\displaystyle \sum_{t \in S}w(t)p(t|s,a)}\, </math>
 +
</center>
  
 
を用いて(1)と同じ型で与えられる[4].  
 
を用いて(1)と同じ型で与えられる[4].  

2007年7月16日 (月) 22:21時点における版

【りょうてきけいかく (bynamic programming)】

 動的計画法は単調性 monotonicity と再帰性 recursiveness (可分性 separability) の下で適用される. この単調性は目的関数の「非減少性」を意味しているが, これを両調性 bitonicity「非減少性または非増加性のいずれか」まで拡大解釈すると, より広い逐次決定過程が考えられる. これを両的計画と呼ぶ. 特に, 確率システム上ではマルコフ両決定過程[3]という. これは確率的動的計画法を単にマルコフ決定過程ということに準じている.

 両的計画法によって最大化問題を解く場合, 与問題に対する部分最大化問題群ばかりでなく部分最小化問題群をも考える必要がある. このとき, 最大値関数と最小値関数の間に成り立つ連立再帰式を両帰式という. 負値乗法型評価系[1], 負値乗加法型評価系 [2] の最適化問題や最短最長ルート問題などは両帰式で解ける.

 さて, 逐次決定過程が次の要素で与えられるとしよう:

   

は状態空間, は第状態, は決定空間
での可能決定空間, は第決定
は利得関数, は割引き関数
は終端関数, は状態変換
はマルコフ推移法則,


このとき, 確定系上の負値乗加法評価系の最大化または最小化は



で表わされる. ただし . このとき, 第段の状態 から始まる部分問題



の最大値を , 最小値を とすると, 両最適値関数は両帰式



を満たす. ここに~ なる である.

 また, マルコフ推移法則 上での期待値最適化問題



の両帰式は一次変換

を用いて(1)と同じ型で与えられる[4].



参考文献

[1] R. Bellman, Dynamic Programming, Princeton Univ. Press, 1957.

[2] S. Iwamoto, "From Dynamic Programming to Bynamic programming," Journal of Mathematical Analysis and Applications, 177 (1993), 56-74.

[3] S. Iwamoto, "On Bidecision Processes," Journal of Mathematical Analysis and Applications, 187 (1994), 676-699.

[4] T. Fujita and K. Tsurusaki, "Stochastic Optimization of Multiplicative Functions with Negative Value," Journal of the Operations Research Society of Japan, 41 (1998), 351-373.