From 07d0aa27267ae45012fd0fe9844dde45a1ae97cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pelletier?= <francois@francoispelletier.org>
Date: Mon, 26 Feb 2018 01:00:43 -0500
Subject: [PATCH] ajout chapitre 2

---
 chapitre2.tex | 18 +++++++++++++++---
 chapitre5.tex |  9 +++++++++
 2 files changed, 24 insertions(+), 3 deletions(-)

diff --git a/chapitre2.tex b/chapitre2.tex
index 702a5a9..e671b8c 100644
--- a/chapitre2.tex
+++ b/chapitre2.tex
@@ -41,7 +41,7 @@
   \DontPrintSemicolon
   \Deb{
     \Repeter{$S \neq \emptyset$}{
-      $K \leftarrow \lbrace x_i \mid \left\lVert \mathtt{dom}(x_i) > 1 \right\rVert \rbrace$ \;
+      $K \leftarrow \lbrace x_i \mid \left\lVert \mathtt{dom}(x_i)\right\rVert > 1  \rbrace$ \;
       \Si{$K = \emptyset$}{
         \Si{$\mathtt{dom}(x_1), \ldots, \mathtt{dom}(x_n) \text{ satisfait contraintes}$}{
           \Retour{$\mathtt{dom}(x_1), \ldots, \mathtt{dom}(x_n)$}
@@ -67,8 +67,8 @@ On améliore l'algorithme précédent en validant les contraintes pour chaque so
   \DontPrintSemicolon
   \Deb{
     \Repeter{$S \neq \emptyset$}{
-      $K \leftarrow \lbrace x_i \mid \left\lVert \mathtt{dom}(x_i) > 1 \right\rVert \rbrace$ \;
-      $P \leftarrow \lbrace x_i \mid \left\lVert \mathtt{dom}(x_i) = 1 \right\rVert \rbrace$
+      $K \leftarrow \lbrace x_i \mid \left\lVert \mathtt{dom}(x_i)\right\rVert > 1 \rbrace$ \;
+      $P \leftarrow \lbrace x_i \mid \left\lVert \mathtt{dom}(x_i)\right\rVert = 1 \rbrace$
       \Pour{$C_j \in \mathcal{C}$}{
         \Si{$Portée(C_j) \subseteq P \wedge \neg C_j$}{\Retour{$\emptyset$}}
       }
@@ -86,6 +86,18 @@ On améliore l'algorithme précédent en validant les contraintes pour chaque so
 
 \paragraph{Vérification anticipée}
 
+S'il reste une seule variable non instanciée, itérer sur toutes les valeurs du domaine de celle-ci. Explore un sous-ensemble de noeuds explorés par la fouille avec retours arrières. Certains problèmes peuvent être résolus sans retour arrière.
+
+\subsection{Filtrage des domaines}
+\label{sec:ch2filt}
+
+\begin{itemize}
+\item \textbf{Algorithme de filtrage}: domaine des variables dans la portée de la contrainte, modifie les domaines
+\item Un algorithme de filtrage par contrainte
+\end{itemize}
+
+\paragraph{Support}
+
 
 
 
diff --git a/chapitre5.tex b/chapitre5.tex
index e69de29..44ce209 100644
--- a/chapitre5.tex
+++ b/chapitre5.tex
@@ -0,0 +1,9 @@
+
+\section{Chapitre 5}
+\label{sec:ch5}
+
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "notes_de_cours"
+%%% End: