diff --git a/maths-pour-info/main.tex b/maths-pour-info/main.tex index d4da921..c527732 100644 --- a/maths-pour-info/main.tex +++ b/maths-pour-info/main.tex @@ -305,4 +305,29 @@ \end{enumerate} + Algorithme~: + + \begin{itemize} + \item $Q' \leftarrow \{I\}$ \\ + $I' \leftarrow \{I\}$ \\ + $\text{marque}(I) = \text{à traiter}$ + + \item $\text{tant que } \{e' \in Q' \,|\, \text{marque}(e') = \text{à traiter}\} \neq \oslash$ \\ + $\text{choisir } p' \in Q' \,|\, \text{marque}(p') = \text{à traiter}$ + + \begin{itemize} + + \item $\forall x \in A$ \\ + Soit $q' = \{q \in Q \,|\, \exists \, p \in p', (p,x,q) \in E\}$ \\ + $q' \notin Q' \implies (Q' \leftarrow Q' \cup \{q'\}, \text{marque}(q') = \text{à traiter})$ \\ + $E' \leftarrow E' \cup \{(p',x,q')\}$ + + \item $\text{marque}(p') = \text{déjà traité}$ + + \end{itemize} + + \item $T' = \{p' \in Q' \,|\, \exists \, p \in p', p \in T\}$ + + \end{itemize} + \end{document}