Я уже угадала ведь, выше написала.
А, ну да. Только еще надо проверку сделать (проверить, что выполняются те рек. соотношения.)
имеем дело с поглощающей марковской цепью с конечным числом состояний, а для нее известно, что матрица, через которую записывается система, обратима,
Можно еще единственность показать так. Соответствующая однородная система уравнений задает на графе (состояний) дискретную гармоническую функцию (значение функции в вершине равно среднему арифметическому значений в соседних вершинах). Тогда принцип максимума дает: эта функция равна нулю (кустарно: возьмем вершину, в которой функция принимает наибольшее значение. Тогда в соседних вершинах она также максимальна., и т.д. Связность графа дает: она неположительна, ибо в граничных (поглощающих) точках - нулевая. Аналогично с минимумом)