X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/16dcc.git/blobdiff_plain/236f25b2f3a081b11c71bedad6d044d695ce2cca..c9d6a79d174af327059607a3e0a1f23ab7921a49:/generating.tex diff --git a/generating.tex b/generating.tex index 3d22441..0837fda 100644 --- 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. -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} -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. -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 -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