quelques corrections après remarques de Sylvain

[16dcc.git] / generating.tex

diff --git a/generating.tex b/generating.tex
index 3d22441cf0684057f949b1c90f68ed18474f7a97..0837fdaec746214beea9f8734d672881c96634cc 100644 (file)
--- a/generating.tex
+++ b/generating.tex
@@ -45,33 +45,32 @@ cycle is removed, is doubly stochastic.
 Let us consider now a ${\mathsf{N}}$-cube where an Hamiltonian 
 cycle is removed.
 Let $f$ be the corresponding function.
 Let us consider now a ${\mathsf{N}}$-cube where an Hamiltonian 
 cycle is removed.
 Let $f$ be the corresponding function.

-The question which remains to solve is
-can we always find $b$ such that $\Gamma_{\{b\}}(f)$ is strongly connected.
+The question which remains to solve is:
+\emph{can we always find $b$ such that $\Gamma_{\{b\}}(f)$ is strongly connected?}

 
 

-The answer is indeed positive. We furtheremore have the following strongest 
+The answer is indeed positive. We furthermore have the following strongest 

 result.
 \begin{thrm}
 result.
 \begin{thrm}

-There exist $b \in \Nats$ such that $\Gamma_{\{b\}}(f)$ is complete.
+There exists $b \in \Nats$ such that $\Gamma_{\{b\}}(f)$ is complete.

 \end{thrm}
 \begin{proof}
 There is an arc $(x,y)$ in the 
 graph $\Gamma_{\{b\}}(f)$ if and only if $M^b_{xy}$ is positive
 where $M$ is the Markov matrix of $\Gamma(f)$.
 It has been shown in~\cite[Lemma 3]{bcgr11:ip}  that $M$ is regular.
 \end{thrm}
 \begin{proof}
 There is an arc $(x,y)$ in the 
 graph $\Gamma_{\{b\}}(f)$ if and only if $M^b_{xy}$ is positive
 where $M$ is the Markov matrix of $\Gamma(f)$.
 It has been shown in~\cite[Lemma 3]{bcgr11:ip}  that $M$ is regular.

-There exists thus $b$ such there is an arc between any $x$ and $y$.
+Thus, there exists $b$ such that there is an arc between any $x$ and $y$.

 \end{proof}
 
 This section ends with the idea of removing a Hamiltonian cycle in the 
 $\mathsf{N}$-cube. 
 In such a context, the Hamiltonian cycle is equivalent to a Gray code.
 Many approaches have been proposed a way to build such codes, for instance 
 \end{proof}
 
 This section ends with the idea of removing a Hamiltonian cycle in the 
 $\mathsf{N}$-cube. 
 In such a context, the Hamiltonian cycle is equivalent to a Gray code.
 Many approaches have been proposed a way to build such codes, for instance 

-the Reflected Binary Code. In this one, one of the bits is switched 
-exactly $2^{\mathsf{N}-}$ for a $\mathsf{N}$-length cycle. 
-
-%%%%%%%%%%%%%%%%%%%%%
-
-The function that is built 
-from the 
+the Reflected Binary Code. In this one and 
+for a $\mathsf{N}$-length cycle, one of the bits is exactly switched 
+$2^{\mathsf{N}-1}$ times whereas the others bits are modified at most 
+$\left\lfloor \dfrac{2^{\mathsf{N-1}}}{\mathsf{N}-1} \right\rfloor$ times.
+It is clear that the function that is built from such a code would
+not provide a uniform output.  

 
 The next section presents how to build balanced Hamiltonian cycles in the 
 $\mathsf{N}$-cube with the objective to embed them into the 
 
 The next section presents how to build balanced Hamiltonian cycles in the 
 $\mathsf{N}$-cube with the objective to embed them into the