مسألة كثيرة حدود غير قطعية كاملة

في الرياضيات صنف التعقيد، تعرف المسائل كثيرة الحدود غير القطعية الكاملة (NP-complete problems)، بأنها كل ما يحقق الشرطين الآتيين:

  • لكل لغة,L, موجودة في NP يوجد دالة بحيث ان عدد الحسابات التي تقوم بها هو دالة متعددة الحدود بالنسبة لمدخلها، بحيث ان f :
مسألة NP كاملة
زمرة كبرى
مسار هاملتونياني
عدل

إذا وإذا

  • المسألة A من صنف NP اي يمكن بناء آلة تورنغ غير حتمية تقرر اللغة A.

أول لغة عرفت بانها NP كاملة هي SAT حيث قام كل من كوك وليفين باثبات هذا كل على حدا، ومنذ ذلك الحين كثير من المسائل عُرف انها NP كاملة.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.