Algorithmique

Présentation

Un algorithme est une suite finie d’étapes, non ambiguës, qui à partir de données d’entrée produit une sortie attendue et s’arrête.

L’algorithmique est la discipline qui conçoit, met en œuvre et analyse les algorithmes : correction, terminaison et coût (complexité).

Dans cette rubrique, on étudie des patrons classiques (parcours séquentiel, recherche d’extremum/moyenne, tris par insertion/sélection, recherche dichotomique, k plus proches voisins, gloutons) et on apprend à raisonner sur leurs propriétés.

Axes de travail : efficacité (estimation du coût et choix d’une approche adaptée), correction (spécification, invariants) et terminaison (variants).