قابلية الإرضاء

قابلية الإرضاء تعبير في الرياضيات وفي نظرية التعقيد الحسابي ذو أهمية كبيرة جدا.[1][2][3]

مسألة NP كاملة
زمرة كبرى
مسار هاملتونياني
عدل

الصيغة العادية لعطف عبارات مكونة من فصل المتغيراتعدل

هي عبارة عن صيغة عناصرها متغيرات تقبل فقط القيم صحيح خطأ 0 1 لا نعم موزعة على أقواس وتستعمل العمليات المنطقية عطف وفصل ونفي كما في هذا المثال:  .

جعل الصيغة صحيحةعدل

المسألة الخاصة هو البحث عن قيم المتغيرات بحيث تكون الصيغة صحيحة يعني أن كل قوس يجب أن يكون صحيحا يعني أن يكون هناك على الأقل متغير في كل قوس له القيمة 1 نعم صحيح.

محاولة تجريب كل الاحتمالات الممكنة يحتاج لوقت أسي  .

مراجععدل

  1. ^ Baier, Christel (2012). "Chapter 1.3 Undecidability of FOL" (PDF). Lecture Notes — Advanced Logics. Technische Universität Dresden — Institute for Technical Computer Science. صفحات 28–32. اطلع عليه بتاريخ 21 يوليو 2012. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. ^ Alexander Bockmayr; Volker Weispfenning (2001). "Solving Numerical Constraints". In John Alan Robinson; Andrei Voronkov (المحررون). Handbook of Automated Reasoning Volume I. Elsevier and MIT Press. (ردمك 0-444-82949-0) (Elsevier) (ردمك 0-262-18221-1) (MIT Press). الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. ^ فرانز بادر; Tobias Nipkow (1998). Term Rewriting and All That. Cambridge University Press. صفحات 58–92. ISBN 0-521-77920-0. الوسيط |CitationClass= تم تجاهله (مساعدة)


 
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. شارك في تحريرها.