« INFO704 : Analyse d'algorithmes » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 89 : | Ligne 89 : | ||
TD 2 (29 septembre) : Exercices d'analyse pour des algos récursifs ("Master Theorem") |
TD 2 (29 septembre) : Exercices d'analyse pour des algos récursifs ("Master Theorem") |
||
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S4TD/exos_diviser_pour_regner.pdf Exercices, complexité des fonctions récursives]. |
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S4TD/exos_diviser_pour_regner.pdf Exercices, complexité des fonctions récursives]. |
||
⚫ | |||
<!-- - [https://www.csd.uwo.ca/~mmorenom/CS424/Ressources/master.pdf Pour s'entraîner, exercices supplémentaires sur l'application du "Théorème maître" (sur la page de Marc Moreno Maza, MIT)]. --> |
|||
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S2TD/Solution_Question5.pdf Solution de la question 5]. |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
Ligne 118 : | Ligne 110 : | ||
- Théorème de Cook-Levin. [https://mycore.core-cloud.net/index.php/s/V9OUMtvnDuezpKl Cook-Levin] |
- Théorème de Cook-Levin. [https://mycore.core-cloud.net/index.php/s/V9OUMtvnDuezpKl Cook-Levin] |
||
- Preuve de NP-Complétude. !-- : Couverture des arêtes et k-coloriage. -- |
- Preuve de NP-Complétude. !-- : Couverture des arêtes et k-coloriage. -- |
||
⚫ | |||
⚫ | |||
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S8Cours/presentation1.0.pdf Introduction aux classes de complexité.] |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
--> |
--> |
||
Version du 1 octobre 2020 à 14:44
Responsable 2020: Sébastien Tavenas
Adresse couriel : sebastien.tavenas@univ-smb.fr
Quelques ressources bibliographiques
Ouvrage de référence :
- Cormen, Leiserson, Rivest et Stein, Algorithmique, 3e edition (2009). ( Aussi appelé "Introduction à l'algorithmique" pour les deux premières éditions )
Autres références bibliographiques :
- Wilf, Algorithms and Complexity, (1994). Disponible en ligne
- Garey et Johnson, Computers and intractability a guide to the theory of NP-completeness. (1979).
- Hopcroft et Ullman, Introduction to automata theory, languages, and computation, (1979).
TP
Dates provisoires :
- 22/25 septembre - 9 octobre - 16 octobre
TP1 les 22/25 septembre : Analyser la complexité d'algorithmes
- Sujet du TP 1 - Fichiers pour le TP - Nécessité d'importer la librairie Matplotlib
Déroulement (2020)
Cours 1 (7 septembre) : Introduction
- Introduction - Exemple de différents tris - Notions d'instance et de problème - Notion de complexité asymptotique - Grand-O de la notation de Landau
TD 1 (10 septembre) : Analyses d'algorithmes
- Sujet du TD - Fonctions mathématiques de base : polynômes, exponentielles et logarithmes
Cours 2 (17 septembre) : Algorithmes récursifs (Diviser pour régner)
- Présentation des algorithmes Diviser-pour-régner. - Théorème général. - distance minimale
TD 2 (29 septembre) : Exercices d'analyse pour des algos récursifs ("Master Theorem")
- Exercices, complexité des fonctions récursives. - Solutions des questions 6 et 8. - Solution de la question 5.
Cours 3 (2 octobre) : Programmation dynamique
TD 3 (5 octobre) :
Cours 4 (13 octobre) :
TD 4 (14 octobre) :
Cours 5 (23 octobre, matin) :
TD 5 (23 octobre, après-midi) :
Annales Examen
Historique
Ce cours était donné précédemment par Xavier Provençal. Ce cours est une refonte de INFO724 Algorithmique avancée, graphes et NP-complétude.