« INFO704 : Analyse d'algorithmes » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
Aucun résumé des modifications
Ligne 121 : Ligne 121 :





Cours 3 (18 septembre - date à modifier) :
<!--
<!--
Programmation dynamique.
Programmation dynamique.
Ligne 135 : Ligne 135 :
-->
-->


Cours 4 (29 septembre) :
TD 2 (29 septembre) :
- [http://lama.univ-savoie.fr/~tavenas/info704/S2TD/exos_diviser_pour_regner.pdf Exercices, complexité des fonctions récursives].
- [http://www.csail.mit.edu/~thies/6.046-web/master.pdf Pour aller plus loin, exercices supplémentaires sur l'application du "Théorème maître" (sur la page de Bill Thies, MIT)].
<!-- Complexité des problèmes
<!-- Complexité des problèmes
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S8Cours/presentation1.0.pdf Introduction aux classes de complexité.]
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S8Cours/presentation1.0.pdf Introduction aux classes de complexité.]
Ligne 146 : Ligne 148 :
-->
-->


TD 2 (2 octobre) :
Cours 3 (2 octobre) :
<!--
<!--
Analyse des algorithmes
Analyse des algorithmes
Ligne 156 : Ligne 158 :
- Tests empiriques de la complexité des fonctions récursives : [http://lama.univ-savoie.fr/~provencal/enseignement/INFO704/graphChrono.tgz Script pour fabriquer une courbes des temps de calcul (utilise gnuplot)].
- Tests empiriques de la complexité des fonctions récursives : [http://lama.univ-savoie.fr/~provencal/enseignement/INFO704/graphChrono.tgz Script pour fabriquer une courbes des temps de calcul (utilise gnuplot)].
- [http://lama.univ-savoie.fr/~provencal/enseignement/INFO704/fct_rec.pdf Théorèmes relatifs à la complexité temporelle des fonctions récursives].
- [http://lama.univ-savoie.fr/~provencal/enseignement/INFO704/fct_rec.pdf Théorèmes relatifs à la complexité temporelle des fonctions récursives].
- [http://lama.univ-savoie.fr/~provencal/enseignement/INFO704/exo_div_pour_regner.pdf Exercices, complexité des fonctions récursives].
- [http://www.csail.mit.edu/~thies/6.046-web/master.pdf Exercices supplémentaires sur l'application du "Théorème maître" (sur la page de Bill Thies, MIT)].
- [http://lama.univ-savoie.fr/~provencal/enseignement/INFO704/distance_min.pdf Problème du calcul de la distance minimum entre deux points].
- [http://lama.univ-savoie.fr/~provencal/enseignement/INFO704/distance_min.pdf Problème du calcul de la distance minimum entre deux points].
-->
-->
Ligne 172 : Ligne 172 :
-->
-->


Cours 5 (13 octobre) :
Cours 4 (13 octobre) :
<!-- Réductions de NP-complétude
<!-- Réductions de NP-complétude
!-- - Problèmes NP-difficiles et NP-complets.
!-- - Problèmes NP-difficiles et NP-complets.
Ligne 185 : Ligne 185 :
-->
-->


TD 5 (23 octobre) :
Cours 5 (23 octobre, matin) :
<!-- NP-complétude
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S9Cours/EnonceTD.pdf Énoncé du TD]
-->

TD 5 (23 octobre, après-midi) :
<!-- NP-complétude
<!-- NP-complétude
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S9Cours/EnonceTD.pdf Énoncé du TD]
- [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S9Cours/EnonceTD.pdf Énoncé du TD]

Version du 29 septembre 2020 à 12:20

Responsable 2020: Sébastien Tavenas

Adresse couriel : sebastien.tavenas@univ-smb.fr

Quelques ressources bibliographiques

Ouvrage de référence :

  1. 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 :

  1. Wilf, Algorithms and Complexity, (1994). Disponible en ligne
  2. Garey et Johnson, Computers and intractability a guide to the theory of NP-completeness. (1979).
  3. 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



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, complexité des fonctions récursives.
- Pour aller plus loin, exercices supplémentaires sur l'application du "Théorème maître" (sur la page de Bill Thies, MIT).

Cours 3 (2 octobre) :

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

Examen 2017

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.