X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/02fd942d6a30fe7197b732c94450ca466b7a49f5..d69000ebda300fc836232f34cebb88ddfce4ac98:/sdd.tex?ds=sidebyside

diff --git a/sdd.tex b/sdd.tex
index 69e09b6..c41efa9 100644
--- a/sdd.tex
+++ b/sdd.tex
@@ -30,7 +30,7 @@ et $\overline{x}^i$ pour $\overline{x}^{\{i\}}$ pour $i \in [{\mathsf{N}}]$
 Pour tout $x$ et  $y$ dans  $\Bool^{\mathsf{N}}$, l'ensemble 
 $\Delta(x, y)$,  contient les $i \in [{\mathsf{N}}]$
 tels que $x_i \neq y_i$.
-Soit enfin $f : \Bool^n \rightarrow \Bool^{\mathsf{N}}$. Son $i^{\textrm{ème}}$ composant
+Soit enfin $f : \Bool^{\mathsf{N}} \rightarrow \Bool^{\mathsf{N}}$. Son $i^{\textrm{ème}}$ composant
 est nommé $f_i$ qui est une fonction de $\Bool^{\mathsf{N}}$ dans $\Bool$.
 Pour chaque 
 $x$ dans $\Bool^{\mathsf{N}}$, l'ensemble 
@@ -95,8 +95,8 @@ Pour $x=(0,1,0)$ les assertions suivantes se déduisent directement du tableau:
 \end{xpl}
 
 \subsection{Réseau booléen}
-Soit $n$ un entier naturel représentant le nombre 
-d'éléments étudiés (gènes, protéines,\ldots).
+Soit ${\mathsf{N}}$ un entier naturel représentant le nombre 
+d'éléments étudiés.
 Un réseau booléen  est 
 défini à partir d'une fonction booléenne:
 \[
@@ -118,7 +118,7 @@ schémas suivants :
   défini  par une  suite 
   $S  = \left(s^t\right)^{t \in  \mathds{N}}$ qui est  une séquence
   d'indices dans $[{\mathsf{N}}]$. Cette suite est appelée \emph{stratégie unaire}. 
-  Il est basé sur la relation définie pour tout $i \in [{\mathsf{N}}]$ par
+  Ce mode est défini pour tout $i \in [{\mathsf{N}}]$ par
   
 \begin{equation}
   x^{t+1}_i=
@@ -274,7 +274,7 @@ On a la proposition suivante:
 
 
 \begin{theorem}\label{Prop:attracteur}
-Le point $x$ est un point fixe si et seulement si 
+La configuration $x$ est un point fixe si et seulement si 
 $\{x\}$ est un attracteur du graphe d'itération (synchrone, unaire, généralisé).
 En d'autres termes, les attracteurs non cycliques de celui-ci 
 sont les points fixes de $f$.
@@ -331,7 +331,7 @@ $f'_{ij}(x)=0$. Ainsi $B(f)_{ij}$ est nulle. La réciproque est aussi vraie.
 
 En outre, les interactions peuvent se  représenter à l'aide d'un 
 graphe $\Gamma(f)$ orienté et signé défini ainsi: 
-l'ensemble des sommet %s est 
+l'ensemble des sommets est 
 $[{\mathsf{N}}]$ et il existe un arc de $j$ à $i$ de signe
  $s\in\{-1,1\}$, noté $(j,s,i)$, si $f_{ij}(x)=s$ pour au moins
 un $x\in\Bool^{\mathsf{N}}$. 
@@ -527,22 +527,21 @@ Parmi toutes les stratégies unaires de
 $[{\mathsf{N}}]^{\Nats}$, on qualifie de:
 \begin{itemize}
 \item \emph{périodiques} celles 
-qui sont constituées par une répétition indéfinie 
+qui sont constituées par une répétition infinie 
 d'une même séquence $S$ complète relativement à $[{\mathsf{N}}]$.
 En particulier toute séquence périodique est complète.
 \item \emph{pseudo-périodiques} celles 
-qui sont constituées par une succession indéfinie de séquences 
+qui sont constituées par une succession infinie de séquences 
 (de longueur éventuellement variable non supposée bornée) complètes.
 Autrement dit dans chaque stratégie pseudo-périodique, chaque indice de
-$1$ à ${\mathsf{N}}$ revient indéfiniment.
+$1$ à ${\mathsf{N}}$ revient infiniment.
 \end{itemize}
 
 
-François Robert~\cite{Rob95}
-a énoncé en 1995 le théorème suivant de convergence 
+On a le théorème suivant de convergence 
 dans le mode des itérations unaires.
 
-\begin{theorem}\label{Th:conv:GIU}
+\begin{theorem}[~\cite{Rob95}]\label{Th:conv:GIU}
 Si le graphe $\Gamma(f)$ n'a pas de cycle et si la stratégie unaire est
 pseudo-périodique, alors tout chemin de $\textsc{giu}(f)$ atteint 
 l'unique point fixe $\zeta$ en au plus ${\mathsf{N}}$ pseudo-périodes.
@@ -551,11 +550,11 @@ l'unique point fixe $\zeta$ en au plus ${\mathsf{N}}$ pseudo-périodes.
 Le qualificatif \emph{pseudo-périodique} peut aisément 
 s'étendre aux stratégies généralisées comme suit.
 Lorsqu'une stratégie généralisée est constituée d'une 
-succession indéfinie de séquences de parties de $[{\mathsf{N}}]$ 
+succession infinie de séquences de parties de $[{\mathsf{N}}]$ 
 dont l'union est $[{\mathsf{N}}]$, cette stratégie est {pseudo-périodique}.
-J. Bahi~\cite{Bah00} a démontré le théorème suivant:
+On a le théorème suivant.
 
-\begin{theorem}\label{Th:Bahi}
+\begin{theorem}[~\cite{Bah00}]\label{Th:Bahi}
 Si le graphe $\Gamma(f)$ n'a pas de cycle et si la stratégie généralisée
 est pseudo-périodique alors
 tout chemin de $\textsc{gig}(f)$ (et donc de $\textsc{giu}(f)$)