Retour
Lire l’article sur Wikipédia
Peu commune1/1Libre
Notion
Problème 3-SAT
Aura
24,6 k
N° 644 948
Touche la carte pour la faire tourner.
Peu commune
Problème 3-SAT
Problème algorithmique
1/1Un exemplaire au monde.
- Aura (depuis 2015)
- 24 569
- Rang de la carte
- N° 644 948
- Type
- Notion
Extrait.
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.
Crédits
Illustration
- Auteur
- Thore Husfeldt ( talk )
- Licence
- CC BY-SA 3.0
- Source
- Sat reduced to Clique from Sipser.svg · Wikimedia Commons
- Modifications
- Recadrage et effets visuels Devon (cadre, reflets holographiques).
Texte
Résumé et adapté de l’article « Problème 3-SAT », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.