# ALGO1 ## Cours 10/10 : Algorithmes de recherche de solutions - Exemple : sac à dos, voyageur de commerce, SAT. - "Backtracking". - Idée générale du "backjumping". - Réduction à SAT : exemple du jeu Picross (démonstration) Branch and bound illustré sur sac à dos - "Local search" pour voyageur de commerce, pour dessiner des diagrammes d'Euler (démonstration) --- # Fin du cours 10/10 - Examen final le XXX décembre - Juste une copie écrite, pas de programmation - Algorithmes : en pseudo-code, ou en Python ou en OCaml (erreurs légères de syntaxe pas pénalisées, mais soyez clairs) - :warning: Révisez dès maintenant :warning: - Contactez Raphaël Truffet ou Lilian Besson en cas de questions


Merci de votre attention .
Bonne chance pour l ' examen !