]> AND Private Git Repository - hdrcouchot.git/blobdiff - 11FCT.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
-> prng inclus
[hdrcouchot.git] / 11FCT.tex
index ffa577564a7e9045d5b64f3d78da4027b4eba2ce..45d91c91121b8f7fdc52eeceb13c7e4b8b5acca2 100644 (file)
--- a/11FCT.tex
+++ b/11FCT.tex
@@ -80,7 +80,7 @@ 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 equivalentes si leurs \textsc{giu} sont isomorphes 
+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)$.
 
@@ -90,4 +90,3 @@ Deux fonctions sont equivalentes si leurs \textsc{giu} sont isomorphes
   \end{center}
 \caption{Exemple de graphe d'interactions vérifiant le théorème~\ref{th:Adrien}} \label{fig:Adrien:G}
 \end{figure}
-