« Formule booléenne quantifiée vraie » : différence entre les versions
m (Remplacement de texte — « Category:Vocabulary2 » par « <!-- Vocabulary2 --> ») |
m (Remplacement de texte — « <small>Entrez ici les domaines et catégories...</small> » par « ») |
||
| Ligne 1 : | Ligne 1 : | ||
== en construction == | == en construction == | ||
<!-- Vocabulary2 --> | <!-- Vocabulary2 --> | ||
[[Category:Coulombe]]Coulombe<br/> | [[Category:Coulombe]]Coulombe<br/> | ||
Version du 3 juillet 2019 à 11:53
en construction
Coulombe
Définition
En théorie de la complexité et en logique mathématique, une formule booléenne quantifiée vraie (en anglais true quantified binary formula) est une formule de logique propositionnelle évaluée à vrai où les variables propositionnelles sont quantifiées par des opérateurs de quantification comme «pour tout» ∀ et «il existe», ∃. Cela entraîne le problème de satisfaisabilité booléenne (problème SAT) qui consiste à trouver l'assignation des variables qui rend une formule de logique propositionnelle vraie. Ce problème est très important en théorie de la complexité et pour la solution du problème P = NP.
Français
Formule booléenne quantifiée vraie
formule booléenne quantifiée
Anglais
True quantified Boolean formula
Source: https://fr.wikipedia.org/wiki/Formule_bool%C3%A9enne_quantifi%C3%A9e
Contributeurs: Claude Coulombe, wiki, Sihem Kouache
