diff --git a/chapitre6.tex b/chapitre6.tex new file mode 100644 index 0000000..fb66dc6 --- /dev/null +++ b/chapitre6.tex @@ -0,0 +1,39 @@ +\section{Chapitre 6: Stratégies de recherche} +\label{sec:ch6} + +Robustesse d'un solveur: capacité à résoudre une large variété de problèmes + +\subsection{Heuristiques de choix de variables} +\label{sec:heuristiquevariables} + +Instancier les variables qui ont le plus d'impact en premier + +Types d'heuristiques + +\begin{itemize} +\item Ordre statique: on fixe l'ordre d'instantiation manuellement +\item Plus petit domaine: plus grande probabilité d'avoir la bonne valeur +\item Variable la plus contrainte: plus grand degré, a le plus d'impact sur la solution +\item Choix structurels: obtenir un problème plus simple à résoudre +\item Combinaisons des heuristiques précédents +\end{itemize} + +Techniques additionnelles + +\begin{itemize} +\item Stochastique: Utilise un générateur de nombres pseudo-aléatoires pour sélectionner les branchements sur les variables +\item Apprentissage: Ces heuristiques s'adaptent au problème avec une forme d'apprentissage qui met du poids sur les variables. Plongées dans l'arbre de recherche +\end{itemize} + +\subsection{Heuristiques de choix de valeurs} +\label{sec:choixvaleurs} + + + + + + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "notes_de_cours" +%%% End: \ No newline at end of file diff --git a/chapitre7.tex b/chapitre7.tex new file mode 100644 index 0000000..aa52637 --- /dev/null +++ b/chapitre7.tex @@ -0,0 +1,10 @@ + +\section{Chapitre 7:} +\label{sec:ch7} + + + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "notes_de_cours" +%%% End: diff --git a/chapitre8.tex b/chapitre8.tex new file mode 100644 index 0000000..4abdb17 --- /dev/null +++ b/chapitre8.tex @@ -0,0 +1,9 @@ +\section{Chapitre 8:} +\label{sec:ch8} + + + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "notes_de_cours" +%%% End: diff --git a/chapitre9.tex b/chapitre9.tex new file mode 100644 index 0000000..255d1ac --- /dev/null +++ b/chapitre9.tex @@ -0,0 +1,9 @@ +\section{Chapitre 9:} +\label{sec:ch9} + + + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "notes_de_cours" +%%% End: diff --git a/makefile b/makefile index 6898e16..b12038d 100644 --- a/makefile +++ b/makefile @@ -1,10 +1,10 @@ build: notes_de_cours.pdf -rapport.pdf: notes_de_cours.bbl +notes_de_cours.pdf: notes_de_cours.bbl pdflatex notes_de_cours.tex pdflatex notes_de_cours.tex -rapport.bbl: notes_de_cours.tex +notes_de_cours.bbl: notes_de_cours.tex pdflatex notes_de_cours.tex bibtex notes_de_cours.aux @@ -19,3 +19,4 @@ clean: -rm *.log -rm *.out -rm *.toc + -rm *.pdf diff --git a/notes_de_cours.tex b/notes_de_cours.tex index 4a546fc..e8c1ede 100644 --- a/notes_de_cours.tex +++ b/notes_de_cours.tex @@ -86,6 +86,10 @@ \include{chapitre3} \include{chapitre4} \include{chapitre5} +\include{chapitre6} +\include{chapitre7} +\include{chapitre8} +\include{chapitre9} \bibliography{bibliographie} \end{document}