情報科学 › 乱数と確率的数値計算 › Markov 連鎖 Monte Carlo
熱浴法と走査の順序
定義 2.5(「Markov 連鎖 Monte Carlo」§2)
S=S1×⋯×Sn(各 Si は有限集合)、π を S 上の正の確率分布とする。x∈S の第 i 成分だけを s∈Si に替えた状態を xi→s と書く。遷移行列
Pi(x,y)=∑s∈Siπ(xi→s)π(y)(y は x と第 i 成分以外で一致),Pi(x,y)=0(それ以外)を成分 i の熱浴更新(Gibbs 更新)という。他の成分を固定したときの π の条件付き分布から、第 i 成分を引き直す操作である。PRS=n1∑i=1nPi を無作為走査、PSS=P1P2⋯Pn を系統走査の熱浴法という。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 1 問