تبين أن هذه المجموعة الرائعة $ C $ موجودة

Question

صادفت هذه المشكلة التي تقول إن تعيين مجموعات مفككة $ $ و $ B $ st $ \ bar {a} $ "span class=" math-container "> $ \ bar {b} $ يتم تعدادها بشكل حسابي (CE)، هناك مجموعة حلولة $ C $ st $ a \ subseteq c $ $ c \ cap b=experyset $ .

أعتقد طريقة واحدة لبناء $ c $ هي إظهار أن $ \ bar {a} - \ bar {B} $ هو CE، ولكن هو الفرق الفرعي $ \ bar {a} - \ bar {b} $ لهذه الحالة المعينة CE؟

Answer 1

لا، فإنه ليس بالضرورة عديدة.هناك لغات تعمل بشكل متكرر ولكن لا تكرر.وبالتالي، فإن تكاليفها لا تعدد بشكل متكرر.من ذلك، يجب أن تكون قادرا على إثبات أن الإجابة على السؤال في الجملة النهائية لمشاركتك ليست (سأسمح لك بملء التفاصيل من هناك).