状態の分類 マルコフ連鎖 は離散形状態空間 と推移行列 を持つとする。 定義 に対して、ある があって、 であるとき、 から へ到達可能であるといい、 表す。 かつ であるとき、 と表し、互いに到達可能 であるという。 全ての に対して、 ならば は既訳であ…