X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/5307c38b9fdbec499a398c994ee36eb2ac51b2fb..c9035994deb49df7f4452f1f4737481b1caf4b17:/11FCT.tex?ds=inline

diff --git a/11FCT.tex b/11FCT.tex
index 5c7747a..0e9c64f 100644
--- a/11FCT.tex
+++ b/11FCT.tex
@@ -59,15 +59,35 @@ $f$ dont le  graphe d'itÃ©rations
 Soit $f$ une fonction de $\Bool^{\mathsf{N}}$ vers lui-mÃªme telle que:
 \begin{enumerate}
 \item 
-$G(f)$ n'a pas de cycle de longueur supÃ©rieure ou Ã©gale Ã  deux;
+$\Gamma(f)$ n'a pas de cycle de longueur supÃ©rieure ou Ã©gale Ã  deux;
 \item 
-chaque sommet de  $G(f)$ qui possÃ¨de une boucle 
+chaque sommet de  $\Gamma(f)$ qui possÃ¨de une boucle 
 positive a aussi une boucle nÃ©gative;
 \item
-chaque sommet de $G(f)$ est accessible depuis un sommet qui possÃ¨de 
+chaque sommet de $\Gamma(f)$ est accessible depuis un sommet qui possÃ¨de 
 une boucle nÃ©gative.
 \end{enumerate}
 Alors, $\textsc{giu}(f)$ est fortement connexe.
 \end{theorem}
 
 La preuve de ce thÃ©orÃ¨me est donnÃ©e en annexe~\ref{anx:sccg}.
+
+Illustrons ce thÃ©orÃ¨me par un exemple. On considÃ¨re par le graphe d'interactions 
+$\Gamma(f)$ donnÃ© en figure~\ref{fig:Adrien:G}. 
+Il vÃ©rifie le thÃ©orÃ¨me~\ref{th:Adrien}: 
+toutes les fonctions $f$ possÃ©dant un tel graphe d'interactions
+ont un graphe d'itÃ©rations  $\textsc{giu}(f)$ fortement connexe.
+Pratiquement, il existe 34226 fonctions de $\Bool^4$ dans lui mÃªme qui 
+vÃ©rifient ce graphe d'intÃ©raction. 
+Cependant, nombreuses sont celles qui possÃ¨dent un comportement Ã©quivalent.
+Deux fonctions sont Ã©quivalentes si leurs \textsc{giu} sont isomorphes 
+(au sens de l'isomorphisme de graphes). Il ne reste alors plus que 
+520 fonctions $f$ non Ã©quivalentes de graphe d'interactions $\Gamma(f)$.
+
+\begin{figure}%[h]
+  \begin{center}
+    \includegraphics[scale=0.5]{images/Gi.pdf}
+  \end{center}
+\caption{Exemple de graphe d'interactions vÃ©rifiant le thÃ©orÃ¨me~\ref{th:Adrien}} \label{fig:Adrien:G}
+\end{figure}
+
