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

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