« Problème SAT » : différence entre les versions


m (Isaline a déplacé la page Boolean satisfiability problem vers Problème SAT)
Aucun résumé des modifications
Ligne 1 : Ligne 1 :
== Définition ==
En informatique théorique, problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie.


== en construction ==  
== Français ==
'''problème SAT'''


[[Catégorie:Vocabulary]] Vocabulary
'''problème de satisfaisabilité booléenne'''
[[Catégorie:Vocabulary]]
== Définition ==


== Anglais ==
'''Boolean satisfiability problem'''


'''SAT'''


== Français ==
===satisfaisabilité booléenne ===


== Anglais ==
https://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT  Source : Wikipédia ]
 
[[Catégorie:Vocabulary]] Vocabulary
=== Boolean satisfiability problem ===
[[Catégorie:Vocabulary]]
In computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated as SATISFIABILITY or SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it asks whether the variables of a given Boolean formula can be consistently replaced by the values TRUE or FALSE in such a way that the formula evaluates to TRUE. If this is the case, the formula is called satisfiable. On the other hand, if no such assignment exists, the function expressed by the formula is FALSE for all possible variable assignments and the formula is unsatisfiable. For example, the formula "a AND NOT b" is satisfiable because one can find the values a = TRUE and b = FALSE, which make (a AND NOT b) = TRUE. In contrast, "a AND NOT a" is unsatisfiable.

Version du 22 mars 2021 à 10:10

Définition

En informatique théorique, problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie.

Français

problème SAT

problème de satisfaisabilité booléenne

Anglais

Boolean satisfiability problem

SAT


https://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT Source : Wikipédia ] Vocabulary

Récupérée de « https://datafranca.org/wiki/index.php?title=Problème_SAT&oldid=44179 »

Contributeurs: Isaline Hodecent, wiki