2
কেউ কি পি = পিপি এর বাইরে পি = এনপি প্রশস্ত করতে পারেন?
ইন বর্ণনামূলক জটিলতা , Immerman হয়েছে প্রতীক 7.23। নিম্নলিখিত শর্তগুলি সমতুল্য: 1. পি = এনপি। 2. সসীম, আদেশ কাঠামো ধরে, এফ ও (LFP) = তাই। এটিকে বৃহত্তর জটিলতা ক্লাসের উপর সমমানের স্টেটমেন্টের (সমমানের) বিপরীতে "প্রশস্তকরণ" পি = এনপি হিসাবে ভাবা যেতে পারে। নোট করুন যে এসও বহু-সময়ের-স্তরক্রমের পিএইচটি ক্যাপচার করে …