lundi 20 février 2012
Preuves interactives
Par Didier Müller, lundi 20 février 2012 à 14:44 - Articles/revues
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.
lu 4396 fois