X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/0460168a2dfc97f19e903ca82aa02d8884e0c980..586298b57c6e1cec5566bbe692ac21c4c701fd51:/main.tex?ds=inline

diff --git a/main.tex b/main.tex
index 233d448..340e8d3 100644
--- a/main.tex
+++ b/main.tex
@@ -8,6 +8,22 @@
 \usepackage{algorithm2e}
 
 
+\usepackage[latin1]{inputenc}
+\usepackage[T1]{fontenc} 
+\usepackage[english]{babel}
+\usepackage{amsmath,amssymb,latexsym,eufrak,euscript}
+\usepackage{pstricks,pst-node,pst-coil}
+
+
+\usepackage{url,tikz}
+\usepackage{pgflibrarysnakes}
+
+\usepackage{multicol}
+
+\usetikzlibrary{arrows}
+\usetikzlibrary{automata}
+\usetikzlibrary{snakes}
+\usetikzlibrary{shapes}
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -28,6 +44,16 @@
   }
 }
 
+
+
+\newcommand {\tv}[1] {\lVert #1 \rVert_{\rm TV}}
+\def \top {1.8}
+\def \topt {2.3}
+\def \P {\mathbb{P}}
+\def \ov {\overline}
+\def \ts {\tau_{\rm stop}}
+
+
 % \theoremstyle{plain}
 % \theoremheaderfont{\normalfont\bfseries\sc}
 % \theorembodyfont{\slshape}
@@ -95,9 +121,7 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 \input{preliminaries}
 
 \section{Stopping Time}
-% 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). 
-
+\input{stopping}
 
 \section{Jumping in a specific $n$-cube}
 % Proposer alors les sauts dans ce n-cube (nouveau)
