Logo ar.boatexistence.com

عندما يقال أن المشكلة P شبه قابلة للحسم؟

جدول المحتويات:

عندما يقال أن المشكلة P شبه قابلة للحسم؟
عندما يقال أن المشكلة P شبه قابلة للحسم؟

فيديو: عندما يقال أن المشكلة P شبه قابلة للحسم؟

فيديو: عندما يقال أن المشكلة P شبه قابلة للحسم؟
فيديو: P=NP مسألة بمليون دولار لمن يحلها وستطور الذكاء الاصطناعي بشكل رهيب 2024, يمكن
Anonim

- يُقال أن مشكلة القرار P شبه قابلة للفصل (أي أن يكون لها شبه خوارزمية) إذا كانت اللغة L لجميع حالات نعم لـ P هي r.e. - (مشكلة التكافؤ في DFA) بالنظر إلى اثنين من DFAs ، هل يقبلان نفس اللغة؟ الدليل: استدعاء حجة كانتور من المحاضرة الأولى.

عندما يقال أن المشكلة شبه قابلة للحسم؟

المشاكل شبه القابلة للفصل هي تلك الخاصة بـ التي توقفها آلة تورينج عند المدخلات المقبولة من قبلها ولكن يمكنها إما التوقف أو التكرار إلى الأبد على الإدخال الذي تم رفضه بواسطة آلة تورينج. تسمى مثل هذه المشاكل بمشاكل تورينج التي يمكن التعرف عليها.

ما هي المشكلة التي يمكن حلها جزئيًا؟

التعريف: واحد لغته المرتبطةهي لغة يمكن عدها بشكل متكرر.بالمقابل ، توجد خوارزمية توقف وتخرج 1 لكل حالة لها إجابة بـ "نعم" ، ولكن بالنسبة للحالات التي تحتوي على إجابة بـ "لا" يُسمح إما بعدم التوقف أو التوقف والإخراج 0.

هل وقف المشكلة جزئيًا؟

أثبت Alan Turing في عام 1936 أنه لا يمكن بالضرورة وجود خوارزمية عامة تعمل على آلة Turing والتي تحل مشكلة التوقف لجميع أزواج مدخلات البرنامج الممكنة. وبالتالي ، فإن مشكلة التوقف غير قابلة للتقرير بالنسبة لآلات تورينج.

لماذا مشكلة التوقف شبه قابلة للحسم؟

يُقال إن اللغة شبه قابلة للتقرير إذا كان هناك آلة تورينج تتوقف إذا كانت الكلمة تنتمي إلى اللغة(حالات YES) وقد ترفض أو تنتقل إلى اللانهاية حلقة إذا كانت الكلمة لا تنتمي إلى اللغة (بلا حالة).

موصى به: