確率論の問題
三角柱の頂点と辺からなるグラフ を考える。すなわち、頂点集合は で、辺は
の 本である。 上の単純ランダムウォーク (各時刻に、現在の頂点に隣接する 頂点のいずれかへ等確率 で、それまでの経過とは独立に移る斉次マルコフ連鎖)を から出発させる。
とおくとき、期待値 を求めよ。
この問題で使うもの
- 到達確率と平均到達時間(説明と入口の問題)
この問題を解けるようになるまで(64 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 条件付き確率と乗法定理
- 四則の混じった計算の順序
- 等間隔にならんだ数の和
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 等差・等比数列の和と Σ
- マルコフ連鎖と推移確率
- 期待値
- 確率変数と確率分布
- 平均と合計
- 平均値・中央値・最頻値
- 代表値(平均値・中央値・最頻値)
- 分散と標準偏差
- 変量の変換と平均・分散
- 確率変数の期待値・分散と
- 確率変数の和と積(独立な場合)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 部分積分
- 定積分の計算
- 定積分の置換・部分積分と偶関数・奇関数
- 重積分と累次積分
- 同時分布・周辺分布と独立性
- 条件付き分布と全期待値の公式
- 到達確率と平均到達時間
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
各頂点 からの平均到達時間 について、1 歩目で条件付けた連立方程式 ()を立てる。
ヒント 2
を固定するグラフの対称性( と 、 と の入れかえ)を使うと、未知数は , , の 3 つに減る。
ヒント 3
, , とおくと , , となる。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
各頂点 から出発したときの への平均到達時間を とおく。 は有限連結グラフなので連鎖は既約で、有限状態の既約マルコフ連鎖では である。 であり、 では 1 歩目で条件付けると(マルコフ性)
対称性による簡約
と 、 と をそれぞれ入れかえ、, を固定する写像は の自己同型で を固定するので、, とおける。また とする。
方程式
- の隣接頂点は : 、すなわち
- の隣接頂点は : 、すなわち
- の隣接頂点は : 、すなわち
解く
, より , 。これを に代入して両辺を 倍すると
よって 。このとき , で、: が成り立つことも確かめられる。
したがって 。
別解
対称性( を通る軸に関する反転)により、頂点を (目標)、、、 の4クラスに分ける。各クラスから に到達するまでの期待時間を ()、()、()とおく。
隣接関係は、 が 、 が 、 が 。初めの一歩で場合分けすると
、、。
第3式から 。第2式から 。第1式から 。
第2式に代入: 。両辺を6倍して 、よって 、。
このとき 、。
検算: 第2式 で成立。第3式 で成立。
なので 。