Les algorithmes de base de l'informatique quantique. Tome 2, Grover, Shor et métaheuristiques quanti

Les années 1970 ont abouti à l'informatique telle que nous la connaissons actuellement. Nos ordinateurs actuels sont le fruit d'une lente évolution qui a permis de passer d'ordinateurs volumineux à lampes à des ordinateurs de bureau basé sur des puces électroniques. En 40 ans la programmation de ces machines est passée de l'assembleur à des langages évolués tels que le Java, le C ou le C++ et ceci dans des environnements graphiques de programmation permettant le débogage ligne à ligne. La puissance de calcul de ces machines "classiques" dépend de plusieurs éléments dont le processeur ou la mémoire. Toutefois l'augmentation des puissances de calcul se heurte maintenant à des limites physiques (Loi de Moore entre autres). Ce que ordinateurs quantiques promettent, c'est de définir une nouvelle augmentation des puissances de calcul à l'aide de machines basées sur un nouveau paradigme totalement différent de celui actuellement utilisé dans nos ordinateurs de bureau. Pour comprendre l'informatique quantique il faut avoir des connaissances de bases en mathématiques et quelques notions de physiques. Dans la majorité des supports de cours, ces rappels font l'objet de chapitres distincts et très souvent difficiles d'accès qui peuvent décourager le lecteur. Le parti pris dans ce nouveau livre est différent car il privilégie une démarche avant tout pragmatique : · il a comme ambition de présenter les bases théoriques indispensables et seulement celles-là. Ces bases sont rappelées au fur et à mesure de leur pertinence, ce qui évite la lecture d'un chapitre mathématique difficile d'accès ; · il aborde les deux grands types de méthodes qui sont les méthodes exactes de type Grover et les méthodes itératives apparentées à des recuits simulés ; · il constitue un guide permettant aux ingénieurs, chercheurs, étudiants pour découvrir la programmation des ordinateurs quantiques ; · il est construit autour d'exemples classiques dans la communauté "optimisation", dont le problème SAT par exemple ou encore le problème de TSP (problème de voyageur de commerce en Français). Le code source de cet ouvrage est téléchargeable en ligne.