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

Dernière version du 28 janvier 2024 à 12:38

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

Sources

Source : Wikipédia

@@ 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<br />
+'''problème de satisfaisabilité booléenne'''
-[[Catégorie:Vocabulary]]
-== Définition ==
+== Anglais ==
+'''Boolean satisfiability problem'''
+'''SAT'''
-== Français ==
+==Sources==
-===satisfaisabilité booléenne ===
+[https://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT  Source : Wikipédia ]
-== Anglais ==
-=== Boolean satisfiability problem ===
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
-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.
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>