3-سات (Q105929)
NP-complete problem الإنجليزية
- ٣-سات
- ٣SAT
- ٣سات
- 3سات
- 3SAT
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | 3-سات |
لا يوجد وصف |
|
| الإنجليزية | 3-satisfiability problem |
NP-complete problem |
|
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
part of الإنجليزية
Stack Exchange tag الإنجليزية
Google Knowledge Graph ID الإنجليزية
image الإنجليزية
Sat reduced to Clique from Sipser.svg
٣٦٤ × ٣١٦؛ ٩ كيلوبايت
٣٦٤ × ٣١٦؛ ٩ كيلوبايت
media legend الإنجليزية
the 3-SAT instance (x ∨ x ∨ y) ∧ (¬x ∨ ¬y ∨ ¬y) ∧ (¬x ∨ y ∨ y) reduced to a clique problem; the green vertices form a 3-clique and correspond to the satisfying assignment x=FALSE, y=TRUE (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
وصلات الموقع
Marefa(١ وصلة واحدة)
- marefa 3-سات
ويكيبيديا(٣ وصلات)
- dewiki 3-SAT
- eswiki Problema de satisfacibilidad booleana
- frwiki Problème 3-SAT