مسائل NP صعبة

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

تعريف

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

امثلة

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

انظر أيضا

مراجع

Daniel Pierre Bovet; Pierluigi Crescenzi (1994). Introduction to the Theory of Complexity. Prentice Hall. صفحة 69. ISBN 0-13-915380-2. الوسيط |CitationClass= تم تجاهله (مساعدة)
Knuth, Donald (1974). "Postscript about NP-hard problems". ACM SIGACT News. 6 (2): 15–16. doi:10.1145/1008304.1008305. مؤرشف من الأصل في 7 مايو 2020. اطلع عليه بتاريخ 30 يناير 2016. الوسيط |CitationClass= تم تجاهله (مساعدة)
"Shtetl-Optimized » Blog Archive » The Scientific Case for P≠NP". www.scottaaronson.com. مؤرشف من الأصل في 10 يونيو 2019. اطلع عليه بتاريخ 25 سبتمبر 2016. الوسيط |CitationClass= تم تجاهله (مساعدة)

بوابة علم الحاسوب
بوابة رياضيات

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

[1] Daniel Pierre Bovet; Pierluigi Crescenzi (1994). Introduction to the Theory of Complexity. Prentice Hall. صفحة 69. ISBN 0-13-915380-2. الوسيط |CitationClass= تم تجاهله (مساعدة)

[2] Knuth, Donald (1974). "Postscript about NP-hard problems". ACM SIGACT News. 6 (2): 15–16. doi:10.1145/1008304.1008305. مؤرشف من الأصل في 7 مايو 2020. اطلع عليه بتاريخ 30 يناير 2016. الوسيط |CitationClass= تم تجاهله (مساعدة)

[3] "Shtetl-Optimized » Blog Archive » The Scientific Case for P≠NP". www.scottaaronson.com. مؤرشف من الأصل في 10 يونيو 2019. اطلع عليه بتاريخ 25 سبتمبر 2016. الوسيط |CitationClass= تم تجاهله (مساعدة)