\begin{block}{}
\begin{itemize}
\item CLPFD: approche de type \og générer, tester\fg{}.
\item $f^*(x_1,x_2,x_3) = 
(x_2 \oplus x_3, \overline{x_1}\overline{x_3} + x_1\overline{x_2},
\overline{x_1}\overline{x_3} + x_1x_2)$: très faible $b$.
\item $f^*$: $3$-cube ss le \emph{cycle hamiltonien}
$000,100,101,001,011,111,110,010,000$. 

\end{itemize}
\vspace{-1em}
\begin{minipage}{0.49\textwidth}
%\includegraphics[scale=0.5]{iter_f0c}
  \includegraphics<1>[scale=0.4]{../images/iter_f0c}
  \includegraphics<2>[scale=0.4]{./iter_f0d2}
\end{minipage}
\begin{minipage}{0.49\textwidth}
\vspace{-1em}

\[
M=\dfrac{1}{3} \left(
\begin{array}{llllllll}
1&1&1&0&0&0&0&0 \\
1&1&0&0&0&1&0&0 \\
0&0&1&1&0&0&1&0 \\
0&1&1&1&0&0&0&0 \\
1&0&0&0&1&0&1&0 \\
0&0&0&0&1&1&0&1 \\
0&0&0&0&1&0&1&1 \\
0&0&0&1&0&1&0&1 
\end{array}
\right)
\]
\end{minipage}
\end{block}


\begin{theorem}[ $\mathsf{N}$-cube privé d'un cycle hamiltonien ~\cite{chgw+14:oip}]
  Dans un $\mathsf{N}$-cube,  dans lequel un  cycle hamiltonien a été enlevé:
  \begin{itemize}
  \item La matrice de Markov engendrée est  doublement stochastique.
  \item Le  graphe $\textsc{giu}$ correspondant est fortement connexe.
  \end{itemize}
\end{theorem}


