Preuves interactives
Par Didier Müller, lundi 20 février 2012 à 14:44 - Articles/revues - #2001 - rss
En théorie de la complexité, les preuves interactives permettent, via un jeu de questions et réponses, de certifier, avec une très forte probabilité, la véracité d’un énoncé. En voilà un exemple, où il est question des chaussettes d’un daltonien.
Lire l'article sur Images des mathématiques.
Commentaires
Aucun commentaire n'est possible sur ce blog.