Peu commune
Problème 3-SAT
problème algorithmique
Problème 3-SAT
En informatique théorique, plus précisément en théorie de la complexité, le problème 3-SAT est un problème NP-difficile surtout utilisé pour démontrer que d'autres problèmes sont NP-difficiles. C'est l'un des 21 problèmes NP-complets de Karp.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement