Image by kalhh on Pixabay · Pixabay License
3-سات
Sign in to saveAlso known as 3-SAT, 3CNFSAT, 3-satisfiability, 3SAT
REDIRECT Boolean satisfiability problem#3-satisfiability
Wikidata facts
- Instance of
- NP-complete
- Image
- Sat reduced to Clique from Sipser.svg
Show 2 more facts
- computational complexity
- NP-complete
- Stack Exchange tag
- quantumcomputing.stackexchange.com/tags/3sat-problem
Sources (1)
via Wikidata · CC0
Article · العربية
3 سات اسم يطلق على نوع من المسائل الرياضياتية والمعلوماتية في ميدان المنطق. تسمى المسألة 3 سات 3 SAT اختصارا ل 3 satisfiability. و تبحث هذه المسألة في ما إذا كانت من نوع Conjunctive normal form تتكون من 3 متغيرات قابلة لأن تكون صحيحة.مسألة 3SAT هي مسألة مشتقة من المسألة العامة SAT، حيث في كل قوس يوجد ثلاث متغيرات بالضبط. وهي أيضا من الكاملة.
Abstract from DBpedia / Wikipedia · CC BY-SA