X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/749714e242c186d9017fa85964d6c67edf1bf4d1..01003216d61845263ad195f3ecf7334817d60407:/14Secrypt.tex?ds=sidebyside

diff --git a/14Secrypt.tex b/14Secrypt.tex
index 69fb6d8..e36720b 100644
--- a/14Secrypt.tex
+++ b/14Secrypt.tex
@@ -477,6 +477,8 @@ particuliÃ¨rement au chapitre sur les temps d'arrÃªt.
 
 
 
+
+
 \begin{xpl}
 On considÃ¨re par exemple le graphe $\textsc{giu}(f)$ donnÃ© Ã  la 
 \textsc{Figure~\ref{fig:iteration:f*}.} et la fonction de 
@@ -484,7 +486,7 @@ probabilitÃ©s $p$ dÃ©finie sur l'ensemble des arcs comme suit:
 $$
 p(e) \left\{
 \begin{array}{ll}
-= \frac{2}{3} \textrm{ si $e=(v,v)$ avec $v \in \Bool^3$,}\\
+= \frac{1}{2} + \frac{1}{6} \textrm{ si $e=(v,v)$ avec $v \in \Bool^3$,}\\
 = \frac{1}{6} \textrm{ sinon.}
 \end{array}
 \right.  
@@ -507,6 +509,9 @@ P=\dfrac{1}{6} \left(
 \]
 \end{xpl}
 
+On remarque que dans cette marche on reste sur place avec une probabilitÃ©
+
+
 
 
 
@@ -541,7 +546,7 @@ $$t_{\rm mix}(\varepsilon)\leq \lceil\log_2(\varepsilon^{-1})\rceil t_{\rm mix}(
 
 Soit $(X_t)_{t\in \mathbb{N}}$ une suite de  variables alÃ©atoires de 
 $\Bool^{\mathsf{N}}$.
-une variable alÃ©atoire $\tau$ dans $\mathbb{N}$ est un  
+Une variable alÃ©atoire $\tau$ dans $\mathbb{N}$ est un  
 \emph{temps d'arrÃªt} pour la suite
 $(X_i)$ si pour chaque $t$ il existe $B_t\subseteq
 (\Bool^{\mathsf{N}})^{t+1}$ tel que 
@@ -582,11 +587,12 @@ La fonction $\ov{h}$ est dite  {\it anti-involutive} si pour tout $X\in \Bool^{\
 $\ov{h}(\ov{h}(X))\neq X$. 
 
 
-\begin{theorem} \label{prop:stop}
+\begin{restatable}[Majoration du temps d'arrÃªt]{theorem}{theostopmajorant}
+\label{prop:stop}
 Si $\ov{h}$ est bijective et anti involutive 
 $\ov{h}(\ov{h}(X))\neq X$, alors
 $E[\ts]\leq 8{\mathsf{N}}^2+ 4{\mathsf{N}}\ln ({\mathsf{N}}+1)$. 
-\end{theorem}
+\end{restatable}
 
 Les dÃ©tails de la preuve sont donnÃ©s en annexes~\ref{anx:generateur}.
 On remarque tout d'abord que la chaÃ®ne de Markov proposÃ©e ne suit pas exactement
