Bibliothèque Tangente. N° 55. Le « petit » théorème PCP. p. 148-151.
Auteur : Schabanel Nicolas
Résumé
Ecrire une preuve très longue, mais aisément vérifiable, est non seulement possible, mais réalisable en pratique. C’est d’ailleurs une des clés pour comprendre comment le miracle du théorème PCP (probabilistically checkable proof) peut se produire. En se plaçant dans le cadre d’un espace vectoriel euclidien sur Z/2Z (entiers modulo 2), l’auteur de cet article montre comment détecter et corriger les erreurs d’une preuve.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Les apports de l’informatique dans Bibliothèque Tangente n° 55 – Les démonstrations.
Données de publication
Éditeur Editions POLE Paris , 2015 Collection Bibliothèque Tangente Num. 55 Format 17 cm x 24 cm, p. 148-151
ISBN 2-84884-198-2 EAN 9782848841984 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification