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