From: couchot Date: Thu, 16 Jul 2015 06:34:55 +0000 (+0200) Subject: 15 X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/commitdiff_plain/7b2f06062fc54db047de438cda35671608a1dc89?hp=8defa47ac283c6ce000d76eba1c1ad62b4a8bd38 15 --- diff --git a/main.pdf b/main.pdf deleted file mode 100644 index 022022b..0000000 Binary files a/main.pdf and /dev/null differ diff --git a/sdd.tex b/sdd.tex index 2352fad..83bee06 100644 --- a/sdd.tex +++ b/sdd.tex @@ -194,8 +194,10 @@ sont les éléments de $\Bool^{\mathsf{N}}$ (voir \textsc{Figure}~\ref{fig:xpl:g est le graphe orienté de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si et seulement si $y=f(x)$. \item Le \emph{graphe des itérations unaires} de $f$, noté $\textsc{giu}(f)$ -est le graphe orienté de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si -et seulement s'il existe $x \in \Delta f(x)$ tel que $y = \overline{x}^i$. +est le graphe orienté de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ pour $x \neq$ si +et seulement s'il existe $i \in \Delta f(x)$ tel que $y = \overline{x}^i$. +Si $\Delta f(x)$ est vide, on ajoute l'arc $x \rightarrow x$. + \item Le \emph{graphe des itérations généralisées} de $f$, noté $\textsc{gig}(f)$ est le graphe orienté de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si et seulement s'il existe un ensemble $I\subseteq \Delta f(x)$ tel que