Bibliothèque Tangente. N° 55. Prouver rapidement qu’une propriété est vérifiée… ou pas. p. 132-133.
Auteur : Blanchard Nicolas K.
Résumé
Peut-on rapidement créer des algorithmes probabilistes qui décident rapidement si un objet mathématique satisfait une propriété donnée ou s’il en est loin ? Le but des testeurs de propriétés est de décider entre les deux situations. Cet article décrit le problème de la vérification qu’un graphe est 3-coloriable.
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. 132-133
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