X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/1042ddb8d08dc129da9358b73e723fc5014fb2c8..a8bd04acf5ce24f5fe4686f33781d6127c7f1f49:/11FCT.tex?ds=inline diff --git a/11FCT.tex b/11FCT.tex index ffa5775..45d91c9 100644 --- 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} -