مسائل NP صعبة

مسائل NP صعبة في علم التعقيد الحسابي هي مجموعة مسائل حيث انه يمكن اختصار كل المسائل في NP اليها.[1][2][3] ولهذه المجموعة اهمية عظيمة في علم الحاسوب والرياضيات لما لها من تاثير على كثير من النواحي العملية فيه إذ انه تمتد هذه المجموعة لمسائل التخطيط ومعالجة الصور الرقمية وتحسين مُصرف... ملاحظة: بشكل عام NP كاملة ≠ NP صعبة لذا يجب الاخذ بالحسبان انه إذا NP = P فهذا لا يعني بالضرورة أنَّ كل المسائل التي هي NP صعبة أيضا يمكن حلها بوقت حدودي (أي انها تابعة ل- P).

تعريف

لتكن A { 0 , 1 } {\displaystyle A\subseteq \{0,1\}^{*}} لغة، نقول انها NP صعبة إذا: لكل لغة L N P {\displaystyle L\in NP} يمكن اختصار L {\displaystyle L} ل- A {\displaystyle A} , أي: L p A {\displaystyle L\leq _{p}A} أي يوجد دالة f : { 0 , 1 } { 0 , 1 } {\displaystyle f:\{0,1\}^{*}\to \{0,1\}^{*}} بحيث انه يمكن حساب f {\displaystyle f} بوقت حدودي وكذلك يتحقق التالي: x L f ( x ) A {\displaystyle x\in L\iff f(x)\in A} .

امثلة

  • كل لغة تابعة للمجموعة أو القسم NP كاملة هي أيضا NP صعبة والعكس ليس صحيح.
  • مسألة التوقف (Halt problem) هي NP صعبة ولكن ليست NP كاملة لانها ليست تابعة ل-NP .
  • مُعظم مسائل البحث هي NP صعبة مثل: ايجاد المسار الأثقل في مخطط، ايجاد حل لمسألة حقيبة الظهر.
  • مسألة TQBF , هي أيضا NP صعبة ولكن غير معلوم إذا ما هذه المسألة تابعة ل-NP ومثلها مسألة أحجية ن.

انظر أيضا

مراجع

  1. ^ Daniel Pierre Bovet؛ Pierluigi Crescenzi (1994). Introduction to the Theory of Complexity. Prentice Hall. ص. 69. ISBN:0-13-915380-2.
  2. ^ Knuth، Donald (1974). "Postscript about NP-hard problems". ACM SIGACT News. ج. 6 ع. 2: 15–16. DOI:10.1145/1008304.1008305. مؤرشف من الأصل في 2020-05-07. اطلع عليه بتاريخ 2016-01-30.
  3. ^ "Shtetl-Optimized  » Blog Archive  » The Scientific Case for P≠NP". www.scottaaronson.com. مؤرشف من الأصل في 2019-06-10. اطلع عليه بتاريخ 2016-09-25.
  • ع
  • ن
  • ت
أقسام التعقيد المهمة
ممكنة للتنفيذ
  • DLOGTIME
  • AC0
  • ACC0
  • TC0
  • L
  • SL
  • RL
  • NL
  • NC
  • SC
  • CC
  • P
    • P-complete
  • ZPP
  • RP
  • BPP
  • BQP
مشكوك في إمكانية تنفيذها
غير قابل للتنفيذ
  • EXPTIME
  • NEXPTIME
  • EXPSPACE
  • ELEMENTARY
  • PR
  • R
  • RE
  • ALL
أقسام هرمية
  • Polynomial hierarchy
  • Exponential hierarchy
  • Grzegorczyk hierarchy
  • Arithmetic hierarchy
  • Boolean hierarchy
عائلات اقسام
  • DTIME
  • NTIME
  • DSPACE
  • NSPACE
  • براهين قابلة للفحص بشكل احتمالي
  • نظام براهين تفاعلي


  • أيقونة بوابةبوابة علم الحاسوب
  • أيقونة بوابةبوابة رياضيات
أيقونة بذرة

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