%% tags: #type/note #type/cours #discipline/informatique #discipline/algorithmie #discipline/ia #type/audio #type/vidéo #type/podcast %% --- Algorithmes quantiques, quand la physique quantique défie la thèse de Church-Turing === > Cours du [[Collège de France]] par [Frédéric Magniez](https://www.college-de-france.fr/site/frederic-magniez/Biographie.htm) > [Lien](https://www.college-de-france.fr/site/frederic-magniez/inaugural-lecture-2021-04-01-18h00.htm) <iframe width="100%" height="400" src="https://www.youtube.com/embed/UiiAwta-21c" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> ## Préhistoire de l'informatique quantique Référentiels : * Théorème d'incompletude * Théorème d'indécidabilité * Définir ce qui est calculable et ce qui ne l'est pas. * [[Machine de Turing]] * David Duch : machine de Turing quantique. * Compilateur quantique. * Algorithme quantique. * [Richard Feynman](https://fr.wikipedia.org/wiki/Richard_Feynman) * [Alan Turing](https://fr.wikipedia.org/wiki/Alan_Turing) Révolution permettant l'émergence de l'informatique quantique : * Miniaturisation et deploiement des capacités de calcul * Changement dans les manières de traitement de l'information. ## Principe de l'informatique quantique Unité de mesure classique informatique : booléen (un "bit") prenant les valeurs soit 0 soit 1. Dans des cadres de problèmes probabiliste, ni l'une ni l'autre de ces valeurs (0 ou 1), ne sont définies à l'avance. Seul le résultat probabiliste est observé dans le cadre d'un bit quantique. Superposition : la valeur n'a pas encore été observée, elle n'est pas probabiliste, elle est inconnue ou plutôt indéterminée. Aussi, on passe d'un espace probabiliste à un espace euclidien nécessitant de fair entretenir de nouveaux outils mathématique. Porte quantique auto-testable utilisant les portes de Hadamard ([Transformée de Hadamard](https://fr.m.wikipedia.org/wiki/Transform%C3%A9e_de_Hadamard)) ## Cryptographie Sécurité unique apportée par l'informatique quantique. Communauté post-quantique : utilisation de nos capacités actuelles pour lutter contre d'éventuelles attaques quantiques dans le futur. ## Algorithme quantique Simond, utilisation d'un Oracle. Peter Shore : un algorithme joue le rôle d'un Oracle sur la base de factoriel ([Transformée de Fourrier](https://fr.m.wikipedia.org/wiki/Transformation_de_Fourier)) --- > links : [Collège de France](https://fr.wikipedia.org/wiki/Coll%C3%A8ge_de_France) > reference :