reprise de l'intro

[rairo15.git] / main.tex

diff --git a/main.tex b/main.tex
index 3072c78d7d869b4e7d5b87c07352aa7ad77d70a5..b199995a19bfde4c5afea4711a637f95034e4ff2 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -121,20 +121,9 @@ the classical statsitcal tests.
 \section{Functions with Strongly Connected $\Gamma_{\{b\}}(f)$}\label{sec:SCCfunc}
 \input{generating}
 
 \section{Functions with Strongly Connected $\Gamma_{\{b\}}(f)$}\label{sec:SCCfunc}
 \input{generating}
 

-\section{Random walk on the modified Hypercube}\label{sec:hypercube}
+\section{Stopping Time}\label{sec:hypercube}

 \input{stopping}
 
 \input{stopping}
 

-% Donner la borne du stopping time quand on marche dedans (nouveau). 
-% Énoncer le problème de la taille de cette borne
-% (elle est certes finie, mais grande). 
-
-
-
-
-%\section{Quality study of the strategy}
-%6) Se pose alors la question de comment générer une stratégie de "bonne qualité". Par exemple, combien de générateurs aléatoires embarquer ? (nouveau)
-
-

 \section{Experiments}\label{sec:prng}
 \input{prng}
 
 \section{Experiments}\label{sec:prng}
 \input{prng}