ある町の天気は、毎日「晴れ」か「雨」のどちらかであるとする。天気の変わり方は次の規則に従う。
- ある日が晴れのとき、翌日が雨になる確率は 、晴れになる確率は
- ある日が雨のとき、翌日が晴れになる確率は 、雨になる確率は
翌日の天気は当日の天気だけで決まり、それより前の天気には関係しないものとする。 を正の整数とし、今日から 日後が雨である確率を とする。今日の天気にかかわらず、極限 を求めよ。
を解いて定常分布を求め、長い時間の後の分布の極限に使える
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
マルコフ連鎖を長い時間動かすと、各状態にいる確率が初期の状態によらずある値に落ち着くことがよくあります。その落ち着き先の分布を、 ステップ後の分布を漸化式で追いかけずに、連立一次方程式 を解くだけで求めるのがこの技能です。待ち行列、ランダムウォーク、ウェブページの順位づけなどで、「長い目で見てどの状態に何割の時間いるか」を知りたいときに使います。
状態を とし、推移確率を 、推移行列を とします(各行の和は 1)。 ステップ後の分布を横ベクトル で表すと、前提の技能で使った漸化式は 、成分で書くと です。ここで分布が極限 をもつとします。漸化式の両辺で とすると、右辺は有限個の項の和なので極限と和の順序を入れ替えてよく、 が得られます。つまり、極限の分布は必ず 、、 をみたします。この条件をみたす を定常分布といいます。「この分布から出発すると、1 ステップ後も 2 ステップ後もずっと同じ分布のまま」という意味です。
2 状態で確かめてみます。()とし とおくと、 です。 とおくと となり、 です。 なので となり、初期分布によりません。一方、 の第 1 成分は 、つまり です。これと から となり、確かに極限と一致します。
一般に、有限個の状態の連鎖で、ある について の成分がすべて正であれば、定常分布はただ 1 つに定まり、どの初期分布から出発しても はその定常分布に収束することが知られています。ただしこの条件がないと、極限が存在しなかったり、定常分布が 1 つに決まらなかったりします。また、方程式 の 本の式を全部足すと、各行の和が 1 なので両辺とも になり、自動的に成り立ちます。そのため 本のうち 1 本は余分で、比しか決まりません。値を決めるには が必要です。
未知数を とおき、 を成分で書く。第 式は の第 列を使って とする。
得られた 本の式のうち 1 本を捨て、代わりに正規化条件 を加える。
1 つの成分(例えば )を基準にして、他の成分をその定数倍で表す。それを正規化条件に代入して値を決める。
すべての であることと、捨てた式も含めて が成り立つことを検算する。
極限に使うときは、ある で の成分がすべて正であることを確かめる。そうであれば、初期分布によらず と結論する。
状態 をもつマルコフ連鎖の推移行列が (第 行第 列が )で与えられている。 のとき、極限 を求めよ。
【手順 1】 とおき、 の各列を使って を書く。
、、。
【手順 2】第 2 式を捨て、 を加える。
【手順 3】第 1 式から 、よって 。第 3 式から同様に 。これらを正規化条件に代入すると なので 、。
【手順 4】すべて非負である。捨てた第 2 式も、右辺が となり成り立つ。
【手順 5】 を計算すると、第 1 行は 、第 2 行は 、第 3 行は で、成分はすべて正である。したがって初期分布によらず( でも)、分布は定常分布に収束する。求める極限は 。
答え:
の行を使って式を立ててしまう誤り。例えば と書くのは、 を解いていることになる。正しくは列を使い、(一般に )とする。
だけで値が決まると思い、正規化を忘れる誤り。例えば上の例で も をみたすが、和が なので分布ではない。正しくは を課して を で割り、 とする。
定常分布があれば分布は必ずそこへ収束すると決めつける誤り。例えば では定常分布は だが、 から出発すると は と振動し、極限をもたない。正しくは、ある で の成分がすべて正であることなど、収束を保証する条件を確かめてから極限に使う。
定常分布は常に 1 つだと思い込む誤り。例えば では、 をみたすすべての が をみたす。この場合、極限は初期分布によって変わる。正しくは、ただ 1 つに定まることを上の条件で確かめてから使う。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
ある町の天気は、毎日「晴れ」か「雨」のどちらかであるとする。天気の変わり方は次の規則に従う。
翌日の天気は当日の天気だけで決まり、それより前の天気には関係しないものとする。 を正の整数とし、今日から 日後が雨である確率を とする。今日の天気にかかわらず、極限 を求めよ。
ある町の天気は毎日「晴れ」か「雨」のどちらかであり、次のようなマルコフ連鎖に従うものとする。
状態を(晴れ, 雨)の順に並べると、推移確率行列は
である。 日後が雨である確率は、最初の日の天気によらず、 のとき一定の値に近づく。この極限の値を求めよ。
ある町の天気を「晴れ」と「雨」の 2 つの状態だけで考える。翌日の天気は当日の天気だけで決まり、次の規則に従うものとする。
日目の天気を ( は 0 以上の整数)とすると、 は状態の順を(晴れ, 雨)とした推移確率行列
をもつマルコフ連鎖である。このマルコフ連鎖では、最初の日の天気によらず のときの の分布は、 と各成分の和が であることを満たすただ 1 つの確率分布 (定常分布)に収束することが知られている。
を求めよ。
状態空間 上の時間一様なマルコフ連鎖 の推移確率行列が
で与えられている( 行 列の成分が状態 から状態 への推移確率)。 とし、 を状態 への最初の再帰時刻とする。平均再帰時間 を求めよ。
状態空間 上の時間的に一様なマルコフ連鎖 の推移確率行列が
で与えられている。第 行第 列の成分は、状態 から状態 へ 1 ステップで移る確率 である。 から出発したとき、初めて状態 に戻るまでのステップ数を とする。状態 の平均再帰時間 を求めよ。
状態空間 上の時間一様なマルコフ連鎖 の推移確率行列が
で与えられている(第 行第 列の成分が状態 から状態 への推移確率 )。 とし、状態 への再帰時間を とする。状態 の平均再帰時間 を求めよ。
状態空間 上の時間的に一様なマルコフ連鎖 があり、その推移確率行列 ()が
で与えられている。この連鎖の定常分布 (, , を満たすもの)を求め、組 の形で答えよ。
状態が の つであるマルコフ決定過程を考える。各時刻 に現在の状態を見て行動を つ選ぶと、その時刻の報酬を受け取り、次の時刻の状態が次の確率で決まる( は状態 から状態 へ遷移する確率)。
方策 のもとで時刻 に得る報酬を とし、初期状態 からの長期平均報酬を
で定める。この長期平均報酬のすべての方策にわたる最大値(最適平均報酬)を求めよ。なお、状態と行動が有限のこのマルコフ決定過程では、最適な方策が定常な決定的方策(各状態で常に同じ行動を選ぶ方策)の中に存在し、その最適平均報酬は初期状態によらないことを用いてよい。
状態空間 上の斉次マルコフ連鎖 の推移確率行列が
で与えられている( 成分が状態 から状態 へ 1 回で移る確率)。 とするとき、極限
の値を求めよ。
を整数とし、 に値をとるマルコフ連鎖 を次のように定める。 とし、各時刻 において、添字 を一様に選び、それとは独立にビット を等確率で選んで、 の第 成分だけを に置き換えたものを とする(他の成分は変えない)。各時刻の選択は互いに独立とする。
とおく(第 成分と第 成分が 、残りが の状態に初めて到達する時刻)。期待値 を の式で求めよ。
ある小売店の売り場は、各期のはじめに「通常」(状態 )か「繁盛」(状態 )のどちらかの状態にある。各期のはじめに状態を見て行動を 1 つ選ぶと、その期の報酬が得られ、次の期のはじめの状態が次の確率で決まる。
第 期()の報酬を とする。過去の状態と行動の履歴に基づいて行動を選ぶ規則(方策) に対し、長期平均報酬を
で定める。すべての方策の中での の最大値を求めよ(この値は第 期の状態によらない)。