3-سات
3 سات وهو عبارة عن اسم يطلق على نوع من المسائل الرياضياتية والمعلوماتية في ميدان المنطق. حيث تسمى المسألة 3 سات 3 SAT اختصارا ل 3 satisfiability. و تبحث هذه المسألة في ما إذا كانت جملة منطقية من نوع Conjunctive normal form كما تتكون من 3 متغيرات قابلة لأن تكون صحيحة. مسألة 3SAT هي مسألة مشتقة من المسألة العامة SAT، حيث في كل قوس يوجد ثلاث متغيرات بالضبط. وهي أيضا من المسائل NP الكاملة.
المراجع
areq.net
التصانيف
منطق رياضي نظرية التعقيد معلوماتية نظرية مسائل NP كاملة رياضيات