Synopsis
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. Cet ouvrage, pour sa deuxième édition, a été entièrement revu et corrigé. Nombre d'exercices ont été remaniés, certains assez largement, en visant une meilleure gradation des difficultés et une argumentation plus complète. A qui s'adresse ce livre ? - Aux étudiants et enseignants en science informatique - Aux ingénieurs, enseignants-chercheurs, informaticiens et industriels
About the Author
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. 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. Laurent Millet était professeur d'informatique à l'Enssat, où il a en particulier enseigné l'algorithmique. Son domaine de recherche est l'intelligence artificielle et l'apprentissage automatique.
"About this title" may belong to another edition of this title.
