Algorithmique [INFOB237]

Acquis d'apprentissage

• formaliser (spécifier) un problème à partir d'un énoncé ;
• résoudre le problème de façon systématique pour proposer un programme correct et efficace, y compris ses structures de données

Objectifs

Contenu

1. la méthode "diviser pour régner" 
2. les méthodes de mémorisation, dont la programmation dynamique
3. la méthode gloutonne
4. la méthode générer/tester et ses optimisations.

Table des matières

Partie 0. Rappels :

1. Spécification par pré et et post-conditions, preuves par invariants et variants.
2. Evaluation du temps d'éxécution.
3. Récursion.

Partie I. Méthodes de construction de programmes.

1. la méthode "diviser pour régner"
2. les méthodes de mémorisation, dont la programmation dynamique
3. la méthode gloutonne
4. la méthode générer/tester et ses améliorations (propagation, branch-and-bound, ...)

Disciplines