شبكة بحوث وتقارير ومعلومات
اخر المشاهدات
اخر بحث
الرئيسية
آخر تحديث منذ 5 ثوانى
0 مشاهدة
[ تعرٌف على ] مسائل PSPACE كاملة تم النشر اليوم [dadate] | مسائل PSPACE كاملة

أمثلة على مسائل بيسبايس كاملة

التالي هو بعض مسائل بيسبايس كاملة مع المخطط التمهيدي للحساب الذي يعرض أنهم في «بيسبايس». ويمكن أن العثور على معظم الأمثلة في قائمة مسائل «بيسبايس كاملة». مسألة الصيغ المنطقية المُكممة الصحيحة TQBF مسألة الصيغ المنطقية المُكممة هي باعطائنا صيغة بوليانية مُكممة (quantified boolean formula) هل هي صحيحة؟ بشكل رسمي هي المجموعة التالية والتي نرمز لها ب- TQBF: TQBF = { ⟨ φ ⟩ {\displaystyle \{\left\langle \varphi \right\rangle } : هي صيغة بوليانية مُكممة صحيحة ⟨ φ ⟩ {\displaystyle \left\langle \varphi \right\rangle } } {\displaystyle \}} استراتيجيات الفوز في الألعاب انظر إلى التعقيد الألعاب لمعظم الألعاب التي لها تكامل في «بيسبايس» أو صيغ التعقيد الأخرى التي تم تحديدها. الجغرافيا المعممة في المدخل إذا لم يكن لحرف بي حافة منتهية، أو رفضها. وإلا إزالة حرف بي وجميع حوافه، ونسميه الرسم البياني الجديد جي 1. مدخلات التشغيل بشكل متكرر ، حيث أن كل بي، تعتبر نقط نهاية الحواف من بي. الرفض إذا تم قبول الجميع، أو القبول استخدام المسافة: تعتبر عدد مستويات التكرار مساوية لعدد نقطة اللقاء جي. ويعتبر حجم المعلومات المخزنة في كل مستوي من التكرار مساوي لنقط اللقاء في جي. وبذلك يعتبر إجمالي المسافة خطي.2 تحديد ما إذا كان التعبير المنتظم يولد جميع السلاسل معطى: تعبير نمطي (R ,(regular expression المُخرج: هل R يولد جميع السلاسل؟ أي هل *L(R) = Σ

نقاش

أول مسألة بيسبايس كاملة هي مسألة التقرير النحو الحساس للسياق القطعي.ومسألة التقرير للنحو الحساس للسياق ونريد أن نحدد ما إذا كان من الممكن للجملة المعطاة أن تُنتج عن طريق التحولات المُعرفة بواسطة هذا النحو. وفي عام 1970، أظهرت نظرية سافيتش أن PSPACE=NPSPACE الأمر الذي يعني أن حتى القواعد النحوية الحساسة للسياق القطعية هي تابعة للقسم PSPACE. ولكن المسالة النموذجية في PSPACE كاملة بشكل عام هي مسألة الصيغ المنطقية المكممة (التي عادة ما يتم اختصارها إلى "QBF" أو "TQBF" يشير حرف "T" إلى صحيحة أو حقيقة) وهذا على غرار المسألة SAT التي هي NP كاملة. والدليل على أن مسألة الصيغ المنطقية المكممة "QBF" هي مسألة PSPACE كاملة هي إعادة ترتيب لمُبرهنة SAVITCH وهي لحد كبير أكثر تقنية. أمثلة الألعاب التي هي PSPACE كاملة (عندما نعمم اللعبة لتكون على لوح بكبر nxn) هي لعبة هيكس ولعبة ريفيرسي ولعبة سوليتير. بعض الألعاب الأخرى المعممة، مثل لعبة الشطرنج ولعبة الرسم ذو المربعات (الدراما) وجو هي EXP كاملة لأن اللعبة بين اثنين من العابين المهرة من الممكن أن يستمر لفترة طويلة جدًا، لذلك فأنهم من غير المحتمل أن يتبعوا PSPACE . ولكن هذه المسائل PSPACE كاملة إذا حددنا عدد الحركات المسموح بها ليكون محدود بواسطة كثير حدود.

شرح مبسط

في نظرية التعقيد الحسابي، مجموعة مسائل التقرير بيسبايس-كاملة (بالإنجليزية: PSPACE-complete) هي مسائل تابعة لقسم التعقيد PSPACE، بحيث يمكن أن تختصر كل مسألة في PSPACE اليها بوقت متعدد الحدود (انظر التعقيد الكامل).
2025-11-15 16:38:43
غسيل سجاد رخيص كفالة يومين – نغطي الكويت

💬 التعليقات

شارك رأيك وآرائك معنا

لم يعلق أحد حتى الآن

كن أول من يبدي رأيه

✍️ أضف تعليقك

⚠️ تذكير مهم: التعليقات ستظهر بالكامل، تجنب مشاركة بيانات خاصة أو محتوى غير لائق

0/500
captcha verification
الاخر بحثا

مواقعنا

تعرف على - اتصل بى - قريب - عربى - نرمى - مصبغة - حراج - الدليل الصحى العربى - أخبار - مجلس - دليل الأطباء الكويتي - دليل الأطباء السعودي - دليل الأطباء الإماراتي - دليل الأطباء العماني - دليل الأطباء البحريني - دليل الأطباء القطري - دليل الأطباء الأردني - دليل الأطباء اللبناني - دليل الأطباء السوري - دليل الأطباء المصري - دليل الأطباء المنوع -