Digamos que se nos da una cadena de Markov para la variable $X = [x_1, ..., x_n]$ También se nos da una distribución estacionaria deseada para este gráfico $P_\infty = [p_1, ..., p_n]^\top$ . ¿Cómo podemos diseñar una distribución inicial y una matriz de transición tal que en el límite nos dé la distribución estacionaria? Nótese que el gráfico y la conexión entre las variables están dados y no podemos cambiarlos. Sólo podemos poner probabilidades en las aristas. Supongamos que el grafo es dirigido.
Más formalmente, se nos da $P_\infty$ (la distribución estacionaria), y el gráfico de las variables y sus conexiones. Estas conexiones pueden explicarse mediante una matriz de transición en la que algunos de los elementos están obligados a ser cero: $$ T = \begin{bmatrix} p_{11} &... & p_{nn} \\ \vdots & \ddots & \vdots \\ p_{11} & ... & p_{nn} \end{bmatrix} $$ algunos de los cuales son forzados a ser cero y el resto deben ser estimados (desconocidos). Buscamos unos $T$ y $P_0 = [p_1, ..., p_n]^\top$ (la distribución inicial) tal que, $$ \lim_{n\rightarrow \infty} P_0^\top T^n =P_\infty^\top $$ tal que $T$ es una matriz de transición válida, es decir, la suma de los elementos de cada fila es uno; y todos los valores son mayores que uno, o iguales a cero.