Le démineur et la logique, réduction et équivalence

Publié le 6 septembre 2018
Bien illustré
> 30 minutes

Que signifie que deux problèmes sont « équivalents » ? Comment montre-t-on qu’un problème mathématique est plus dur qu’un autre ? Je tente une introduction à cette question, en mélangeant le célèbre jeu du démineur, et la logique propositionnelle.

Lire l’article en ligne

ÉCRIT PAR

Arthur Milchior

Researcher and computer programmer - Google, Berlin,Germany

Commentaires

Écrire un commentaire

Il est possible d’utiliser des commandes LaTeX pour rédiger des commentaires — mais nous ne recommandons pas d’en abuser ! Les formules mathématiques doivent être composées avec les balises .
Par exemple, on pourra écrire que sont les deux solutions complexes de l’équation .

Si vous souhaitez ajouter une figure ou déposer un fichier ou pour toute autre question, merci de vous adresser au secrétariat.