Conception d'algorithmes - principes et 150 exercices corriges.

La conception des algorithmes : une science !

L'algorithmique est l'art et la science de concevoir des algorithmes corrects et efficaces. Pour beaucoup d'informaticiens, c'est l'aspect artistique qui prédomine : on cherche l'idée lumineuse, la structure cachée, la réponse astucieuse. Mais la conception des algorithmes est d'abord une science dont il faut posséder les bases et les techniques avant d'exprimer sa créativité. Ce livre invite le lecteur à une approche rigoureuse de la construction d'algorithmes. Il explique comment la même idée peut se retrouver dans plusieurs algorithmes correspondant à des problèmes différents. Il donne les outils pour analyser rationnellement un problème, le classer dans une famille de méthodes et produire une solution exacte.

Un manuel de référence sur la construction raisonnée des algorithmes

Dans chaque chapitre de ce livre, les bases théoriques et techniques sont rappelées et illustrées par des exemples. On y trouve ensuite un grand nombre d'exercices, accompagnés d'une correction minutieuse et complète. De la sorte, on y voit comment une démarche rationnelle permet d'atteindre une solution, exacte par construction, à travers une grande variété de cas. Après des rappels sur le raisonnement, les structures de données et la complexité, le livre parcourt les grandes méthodes de construction d'algorithmes : invariants, récursivité, essais successifs, méthodes PSEP, algorithmes gloutons, diviser pour régner, programmation dynamique. Au total, près de 150 exemples d'algorithmes sont ainsi analysés et construits rigoureusement.

À qui s'adresse ce livre ?

• Aux étudiants et enseignants en science informatique
• Aux ingénieurs, enseignants-chercheurs, informaticiens et industriels

Marc Guyomard était professeur d'informatique à l'Enssat. Il s'est plus particulièrement intéressé à  la communication homme-machine et aux méthodes formelles du génie logiciel.


Patrick Bosc était professeur d'informatique à l'Enssat école d'ingénieurs de l'université de Rennes I située à Lannion, où il a enseigné une vingtaine d'années la plupart des méthodes traitées dans cet ouvrage. Son activité de recherche a concerné la prise en compte de la flexibilité dans les systèmes d'information.