X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/020defdbb2ac938563eba1071c78520973093e4b..1042ddb8d08dc129da9358b73e723fc5014fb2c8:/11FCT.tex diff --git a/11FCT.tex b/11FCT.tex index 8ab511e..ffa5775 100644 --- a/11FCT.tex +++ b/11FCT.tex @@ -73,7 +73,7 @@ Alors, $\textsc{giu}(f)$ est fortement connexe. 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:G}. +$\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. @@ -88,6 +88,6 @@ Deux fonctions sont equivalentes si leurs \textsc{giu} sont isomorphes \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:G} +\caption{Exemple de graphe d'interactions vérifiant le théorème~\ref{th:Adrien}} \label{fig:Adrien:G} \end{figure}