combMixed.tex

   1 \begin{itemize}
   2 \item Intuition:
   3   \begin{itemize}
   4   \item N{\oe}uds problématiques: regroupés et synchronisés
   5   \item N{\oe}uds entre les groupes distincts: laisser l'asynchronisme
   6   \end{itemize}
   7 \item Formalisation:
   8   \begin{itemize}
   9   \item Regroupement selon les composantes connexes (SCC) du graphe de connexion
  10   \item Mode mixe:
  11     \begin{itemize}
  12     \item $S_{ij}^t = t$ si $i \in SCC(j)$.
  13     \item $
  14       \begin{array}{l}
  15       \forall p_0,p_1,q_0,q_1,t \, .\,
  16       \quad (
  17       p_1 \in SCC(p_0) \land
  18       q_1 \in SCC(q_0))\\
  19       \qquad \Rightarrow
  20       S_{p_0q_0}^{t}  =
  21       S_{p_1q_1}^{t}
  22     \end{array}
  23     $
  24     \end{itemize}
  25   \end{itemize}
  26 \item Éléments d'un même groupe: équivalents de l'extérieur.
  27 \end{itemize}