Пусть
--- вероятность
раз побывать в состоянии
за
шагов, стартовав из состояния
;
--- переходные вероятности.
При
,
имеем
; при
второе слагаемое отсутствует. То есть имеем некую рекуррентную формулу. Потом
свернуть с
и получить то, что надо.
Есть ли что-то проще? Вряд ли. (Разве что если нужно считать математическое ожидание, вот это действительно просто. Дисперсия посложнее, но тоже считается.)
Можно и так: умножить в матрице
-й столбик на
(получив P_x), в векторе
-ю координату на
(получив
). Тогда коэффициенты многочлена
равны в точности искомым вероятностям.
Вероятности для первого достижения посчитать намного проще! Обозначьте через
вероятность достичь
из
за
шагов и напишите простую рекуррентную формулу, из которой легко находите желаемое (в терминах степеней некоторой матрицы).