Design d'algorithmes
TBD donner des exemples du discours de la méthode (cf. poly PP)
Diviser pour régner
Programmation dynamique
Algorithmes gloutons
Recherche exhaustive
Programmation par contraintes
TBD parler d'optimisation combinatoire. Résolution par solveur de SAT. sujet de recherche très fécond p47 https://members.femto-st.fr/pierre-cyrille-heam/sites/femto-st.fr.pierre-cyrille-heam/files/content/Enseignement/cours-satsolveurs.pdf TBD : https://people.csail.mit.edu/virgi/6.s078/lecture3and4.pdf
On ne continue que si ça vaut le coup. sudoku : encore possible ? programmation linéaire et branch and bound pour contrainte non linéaire typiquement en nombre entier 0/1 pour SAT.
branch and bound Pour la programmation linéaire. http://sirdeyre.free.fr/Papiers_etc/2007_Sudokus_et_programmation_lineaire_2.pdf TBD brute force et on stope l'énumération si on a déjà mieux
sudoku sous la forme d'un sat. https://www.researchgate.net/publication/339822516_Software_Design_Completion_of_Sudoku_Game_with_Branch_and_Bound_Algorithm/fulltext/5e678a05299bf1744f6f1ad4/Software-Design-Completion-of-Sudoku-Game-with-Branch-and-Bound-Algorithm.pdf https://www.reddit.com/r/optimization/comments/rycl1g/how_to_solve_a_sudoku_puzzle_with_simplex_or/
TBD backtracking amélioré : on ne parcourt pas tout l'espace
branch and bound exemple : https://www.baeldung.com/cs/branch-and-bound https://www.youtube.com/watch?v=2zKCQ03JzOY reprendre des choses du sac à dos pour les mettre ici.
branch and bound : https://www.youtube.com/watch?v=E7hJXsywOdA
Méta-heuristiques
TBD partie approximation et performances garanties
Méthode générale de création d'algorithmes heuristiques sans garantie de performance mais souvent efficace en pratique. Un peu oublié de part la prépondérance des méthodes à base de réseau de neurones, mais peut-être utile si on ne peut pas entraîner un réseau et certaines méthodes sont très efficaces.
https://fr.wikipedia.org/wiki/Métaheuristique https://www.techno-science.net/glossaire-definition/Probleme-du-sac-a-dos-page-4.html https://fr.wikipedia.org/wiki/Métaheuristique
- recuit simulé
- tabou
- algorithme génétiques
- fourmi