Image by kalhh on Pixabay · Pixabay License
3-SAT vers clique
Sign in to saveAlso known as 3-SAT, 3CNFSAT, 3-satisfiability, 3SAT
problème algorithmique
Wikidata facts
- Instance of
- NP-complete
- Image
- Sat reduced to Clique from Sipser.svg
Show 2 more facts
- computational complexity
- NP-complete
- Stack Exchange tag
- quantumcomputing.stackexchange.com/tags/3sat-problem
Sources (1)
via Wikidata · CC0
Article · Français
En informatique théorique, plus précisément en théorie de la complexité, le problème 3-SAT est un problème 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.
Abstract from DBpedia / Wikipedia · CC BY-SA