確率論の問題
状態空間 上の時間一様なマルコフ連鎖 の推移確率行列が
で与えられている(第 行第 列の成分が状態 から状態 への推移確率 )。 とし、状態 への再帰時間を とする。状態 の平均再帰時間 を求めよ。
この問題で使うもの
- マルコフ連鎖の再帰性とエルゴード性(説明と入口の問題)
- 定常分布(説明と入口の問題)
この問題を解けるようになるまで(66 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 条件付き確率と乗法定理
- 四則の混じった計算の順序
- 等間隔にならんだ数の和
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 等差・等比数列の和と Σ
- マルコフ連鎖と推移確率
- 期待値
- 確率変数と確率分布
- 平均と合計
- 平均値・中央値・最頻値
- 代表値(平均値・中央値・最頻値)
- 分散と標準偏差
- 変量の変換と平均・分散
- 確率変数の期待値・分散と
- 確率変数の和と積(独立な場合)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 部分積分
- 定積分の計算
- 定積分の置換・部分積分と偶関数・奇関数
- 重積分と累次積分
- 同時分布・周辺分布と独立性
- 条件付き分布と全期待値の公式
- 到達確率と平均到達時間
- 定常分布
- マルコフ連鎖の再帰性とエルゴード性
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
「既約な有限マルコフ連鎖は正再帰的で、定常分布 と平均再帰時間 の間に が成り立つ」という再帰性・エルゴード性の技能を使います。まず連鎖が既約かどうかを確かめましょう。
ヒント 2
と を連立して定常分布を求め、 を計算します。
ヒント 3
の第 2 成分から 、第 3 成分から が得られます。あとは和が になる条件を使います。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
手順 1:再帰性の判定。 (確率 )、(確率 )、(確率 )、(確率 )なので、どの状態からどの状態へも正の確率で到達できる。よってこの連鎖は既約である。状態が有限個の既約マルコフ連鎖では、すべての状態が正再帰的であり、定常分布 がただ一つ存在して、各状態 について
が成り立つ。したがって を求めればよい。
手順 2:定常分布を求める。 を成分で書くと
2 番目の式から 、すなわち 。3 番目の式から 。これらを 1 番目の式に代入すると となり、矛盾なく成り立つ。
正規化条件 より
よって である。
手順 3:平均再帰時間を求める。 より
検算(一段解析)。 状態 から出発して初めて状態 に着くまでの平均時間を とする。状態 からは確率 で に着き、確率 で にとどまるので、 より 。状態 からは必ず へ移るので 。状態 から出発すると最初の 1 歩で か へ移るので
手順 3 の結果と一致する。
答え:
別解
連鎖は既約(1→2, 1→3, 2→1, 3→1)で有限状態なので正再帰的であり、定常分布 が一意に存在して である。
より
, , 。
2 番目の式から 、3 番目の式から 。
より となる。
(検算) 1 番目の式に代入すると で成り立つ。よって 。
(別解) 状態 1 から出発して 1 ステップ進む。確率 で状態 3 に行き、あと 1 ステップで 1 に戻る。確率 で状態 2 に行き、2 では確率 で 1 へ進み、確率 で 2 に留まるので、1 に戻るまでの平均ステップ数は 2。
したがって 。これは上の結果と一致する。