X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/2b04820abccb0772b10b2c53542ecddc6a6f600c..cc983a19dffed6f28851e7e37f0277fb19098f2f:/sdd.tex?ds=inline

diff --git a/sdd.tex b/sdd.tex
index 3755295..530ef34 100644
--- a/sdd.tex
+++ b/sdd.tex
@@ -119,18 +119,26 @@ schÃ©mas suivants :
 \item \textbf{SchÃ©ma parallÃ¨le  synchrone :} basÃ© sur la  relation de rÃ©currence
   $x^{t+1}=f(x^t)$. Tous  les $x_i$, $1 \le  i \le n$,  sont ainsi mis Ã   jour Ã 
   chaque itÃ©ration en utilisant l'Ã©tat global prÃ©cÃ©dent du systÃ¨me $x^t$.
-\item \textbf{SchÃ©ma  unaire :} cette terminologie  a plusieurs 
-  interprÃ©tations
-  dans  la littÃ©rature,  mais celle  que  nous
-  retenons ici  consiste Ã  modifier la valeur 
+\item \textbf{SchÃ©ma  unaire :} ce schÃ©ma  est parfois 
+  qualifiÃ© de chaotique 
+  dans  la littÃ©rature. 
+  Il  consiste Ã  modifier la valeur 
   d'un unique Ã©lÃ©ment $i$,  $1 \le i \le  n$, Ã 
   chaque itÃ©ration. Le choix de l'Ã©lÃ©ment qui est modifiÃ© Ã  chaque itÃ©ration est
   dÃ©fini  par une  suite 
   $S  = \left(s^t\right)^{t \in  \mathds{N}}$ qui est  une sÃ©quence
   d'indices dans $[n]$. Cette suite est appelÃ©e \emph{stratÃ©gie unaire}. 
-%  Lorsque  cette  suite est  strictement cyclique  (sans
-  % occurrences multiples  dans le motif) sur l'ensemble  des Ã©lÃ©ments $\{1,\ldots
-  % n\}$, alors on retrouve le comportement du mode sÃ©quentiel synchrone.
+  Il est basÃ© sur la relation dÃ©finie pour tout $i \in [n]$ par
+  $$
+  x^{t+1}_i=
+  \left\{ \begin{array}{l}
+      f_i(x^t) \textrm{ si } i=s^t, \\
+      x^t_i\textrm{ sinon.}
+    \end{array}
+  \right.$$
+
+
+
 \item \textbf{SchÃ©ma gÃ©nÃ©ralisÃ©:}  dans ce schÃ©ma, ce sont les valeurs  
   d'un ensemble d'Ã©lÃ©ments de $[n]$ qui sont modifiÃ©es Ã   chaque  itÃ©ration.
   Dans  le  cas  particulier oÃ¹  c'est la valeur d'un  singleton
@@ -146,6 +154,17 @@ schÃ©mas suivants :
   jour.  La  suite $S  = \left(s^t\right)^{t \in  \mathds{N}}$ est  une sÃ©quence
   de sous-ensembles 
   de   $[n]$   appelÃ©e   \emph{stratÃ©gie gÃ©nÃ©ralisÃ©e}.
+  Il est basÃ© sur la relation dÃ©finie pour tout $i \in [n]$ par
+  $$
+  x^{t+1}_i=
+  \left\{ \begin{array}{l}
+      f_i(x^t) \textrm{ si } i \in s^t, \\
+      x^t_i\textrm{ sinon.}
+    \end{array}
+  \right.$$
+
+
+
   \end{itemize}
 
 
@@ -168,7 +187,7 @@ sont les Ã©lÃ©ments de $\Bool^n$ (voir \textsc{Figure}~\ref{fig:xpl:graphs}).
 \item Le \emph{graphe des itÃ©rations synchrones} de $f$, notÃ© $\textsc{gis}(f)$ 
 est le graphe orientÃ© de $\Bool^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{gia}(f)$
+\item Le \emph{graphe des itÃ©rations unaires} de $f$, notÃ© $\textsc{giu}(f)$
 est le graphe orientÃ© de $\Bool^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$.
 \item Le \emph{graphe des itÃ©rations gÃ©nÃ©ralisÃ©es} de $f$, notÃ© $\textsc{gig}(f)$
@@ -200,7 +219,7 @@ associÃ©s Ã  $f$.
       \end{minipage}
       \label{fig:fsig}
     }
-    \subfigure[$\textsc{gia}(f)$]{
+    \subfigure[$\textsc{giu}(f)$]{
       \begin{minipage}{0.33\textwidth}
         \begin{center}
           \includegraphics[scale=0.4]{faig}
@@ -237,9 +256,6 @@ Les points fixes sont particuliÃ¨rement intÃ©ressants car ils correspondent
 aux Ã©tats stables:
 dans chaque graphe d'itÃ©rations, le point $x$ est un point fixe 
 si et seulement si il est son seul successeur.
-Dans le contexte des rÃ©seaux de rÃ©gulation de gÃ¨nes,
-ces points fixes correspondent aux configurations stables pour l'expression de
-gÃ¨nes.
 
 
 
@@ -272,7 +288,7 @@ Ainsi $\Gamma$ contient toujours au moins un attracteur.
 
 
 \begin{xpl}
-Les attracteurs de $\textsc{gia}(f)$ et de $\textsc{gig}(f)$ sont 
+Les attracteurs de $\textsc{giu}(f)$ et de $\textsc{gig}(f)$ sont 
 le point fixe $000$ et l'attracteur cyclique 
 $\{001, 101,111, 011  \}$. 
 Les attracteurs de $\textsc{gis}(f)$ sont le point fixe $000$
@@ -316,7 +332,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 $G(f)$ orientÃ© et signÃ© dÃ©fini ainsi: 
+graphe $\Gamma(f)$ orientÃ© et signÃ© dÃ©fini ainsi: 
 l'ensemble des sommets est 
 $[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
@@ -400,7 +416,7 @@ La \textsc{Figure}~(\ref{fig:f:incidence}) donne la matrice d'incidence complÃ¨t
 
 \begin{figure}[ht]
   \begin{center}
-     \subfigure[Matrice jacobienne de $f$.]{
+     \subfigure[Matrice jacobienne]{
        \begin{minipage}{0.90\textwidth}
          \begin{center}
         $
@@ -440,8 +456,8 @@ La \textsc{Figure}~(\ref{fig:f:incidence}) donne la matrice d'incidence complÃ¨t
        \end{minipage}
        \label{fig:f:jacobienne}
      } 
-     
-    \subfigure[Graphe d'interaction de $f$.]{
+    ~ 
+    \subfigure[Graphe d'interaction]{
       \begin{minipage}{0.45\textwidth}
       \begin{center}
         \includegraphics[scale=0.5]{gf}
@@ -450,7 +466,7 @@ La \textsc{Figure}~(\ref{fig:f:incidence}) donne la matrice d'incidence complÃ¨t
     \end{minipage}
     }
     
-    \subfigure[Matrice d'incidence de $f$.]{
+    \subfigure[Matrice d'incidence]{
       \begin{minipage}{0.45\textwidth}
         \begin{center}
           $
@@ -468,24 +484,30 @@ La \textsc{Figure}~(\ref{fig:f:incidence}) donne la matrice d'incidence complÃ¨t
     \end{minipage}
   }
 \end{center}  
-\caption{ReprÃ©sentations des dÃ©pendances entre les Ã©lÃ©ments de la fonction $f$ de l'exemple illustratif.}
+\caption{ReprÃ©sentations des dÃ©pendances entre les Ã©lÃ©ments 
+de la fonction 
+$f:\Bool^3 \rightarrow \Bool^3$ telle que  
+$(x_1, x_2, x_3) \mapsto 
+((\overline{x_1} + \overline{x_2}).x_3,
+x_1.x_3,
+x_1 + x_2 + x_3)$}
 \end{figure}
 \end{xpl}
 
 
 
 
-Soit $P$ une suite d'arcs de $G(f)$ de la forme
+Soit $P$ une suite d'arcs de $\Gamma(f)$ de la forme
 \[
 (i_1,s_1,i_2),(i_2,s_2,i_3),\ldots,(i_r,s_r,i_{r+1}).
 \]
-Alors, $P$ est dit un chemin de $G(f)$ de longueur $r$ et de signe
+Alors, $P$ est dit un chemin de $\Gamma(f)$ de longueur $r$ et de signe
 $\Pi_{i=1}^{r}s_i$ et  $i_{r+1}$ est dit accessible depuis
 $i_1$. 
 $P$ est un {\emph{circuit}} si $i_{r+1}=i_1$ et si les sommets
 $i_1$,\ldots $i_r$ sont deux Ã  deux disjoints.
-Un sommet $i$ de $G(f)$ a une {\emph{boucle}} 
-positive (resp. nÃ©gative) , si $G(f)$ a un 
+Un sommet $i$ de $\Gamma(f)$ a une {\emph{boucle}} 
+positive (resp. nÃ©gative) , si $\Gamma(f)$ a un 
 arc positif (resp. un arc nÃ©gatif) de $i$ vers lui-mÃªme.
 
 
@@ -522,9 +544,9 @@ FranÃ§ois Robert~\cite{Rob95}
 a Ã©noncÃ© en 1995 le thÃ©orÃ¨me suivant de convergence 
 dans le mode des itÃ©rations unaires.
 
-\begin{theorem}\label{Th:conv:GIA}
-Si le graphe $G(f)$ n'a pas de cycle et si la stratÃ©gie unaire est
-pseudo-pÃ©riodique, alors tout chemin de $\textsc{GIA}(f)$ atteint 
+\begin{theorem}\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 $n$ pseudo-pÃ©riodes.
 \end{theorem}
 
@@ -536,9 +558,10 @@ dont l'union est $[n]$, cette stratÃ©gie est {pseudo-pÃ©riodique}.
 J. Bahi~\cite{Bah00} a dÃ©montrÃ© le thÃ©orÃ¨me suivant:
 
 \begin{theorem}\label{Th:Bahi}
-Si le graphe $G(f)$ n'a pas de cycle et si la stratÃ©gie gÃ©nÃ©ralisÃ©e
+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)$ finit par atteindre
+tout chemin de $\textsc{gig}(f)$ (et donc de $\textsc{giu}(f)$) 
+finit par atteindre
 l'unique point fixe $\zeta$. 
 \end{theorem}
 
