Пусть

--- вероятность

раз побывать в состоянии

за

шагов, стартовав из состояния

;

--- переходные вероятности.
При

,

имеем

; при

второе слагаемое отсутствует. То есть имеем некую рекуррентную формулу. Потом

свернуть с

и получить то, что надо.
Есть ли что-то проще? Вряд ли. (Разве что если нужно считать математическое ожидание, вот это действительно просто. Дисперсия посложнее, но тоже считается.)
Можно и так: умножить в матрице

-й столбик на

(получив P_x), в векторе

-ю координату на

(получив

). Тогда коэффициенты многочлена
равны в точности искомым вероятностям.
Вероятности для первого достижения посчитать намного проще! Обозначьте через

вероятность достичь

из

за

шагов и напишите простую рекуррентную формулу, из которой легко находите желаемое (в терминах степеней некоторой матрицы).