X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/2644c7bc8564e7829d6f0d9b2e2a66e6460aec67..5a1853fca34ff9fb85e24965d2ae79c535c16b8d:/stopping.tex diff --git a/stopping.tex b/stopping.tex index eec08aa..d3b4f4d 100644 --- a/stopping.tex +++ b/stopping.tex @@ -165,14 +165,16 @@ has been removed. We define the Markov matrix $P_h$ for each line $X$ and each column $Y$ as follows: -$$\left\{ +\begin{equation} +\left\{ \begin{array}{ll} P_h(X,X)=\frac{1}{2}+\frac{1}{2{\mathsf{N}}} & \\ P_h(X,Y)=0 & \textrm{if $(X,Y)\notin E_h$}\\ P_h(X,Y)=\frac{1}{2{\mathsf{N}}} & \textrm{if $X\neq Y$ and $(X,Y) \in E_h$} \end{array} \right. -$$ +\label{eq:Markov:rairo} +\end{equation} We denote by $\ov{h} : \Bool^{\mathsf{N}} \rightarrow \Bool^{\mathsf{N}}$ the function such that for any $X \in \Bool^{\mathsf{N}} $,