From e5e878beb69b373205f967e72956c51b704c4986 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pelletier?= Date: Fri, 20 Apr 2018 01:03:58 -0400 Subject: [PATCH] =?UTF-8?q?d=C3=A9but=20chapitre=206?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- chapitre6.tex | 39 +++++++++++++++++++++++++++++++++++++++ chapitre7.tex | 10 ++++++++++ chapitre8.tex | 9 +++++++++ chapitre9.tex | 9 +++++++++ makefile | 5 +++-- notes_de_cours.tex | 4 ++++ 6 files changed, 74 insertions(+), 2 deletions(-) create mode 100644 chapitre6.tex create mode 100644 chapitre7.tex create mode 100644 chapitre8.tex create mode 100644 chapitre9.tex 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}