পিসিপি উপপাদ্যের সমতুল্য সূত্রটি হ'ল: সর্বোচ্চ 3-স্যাট-এর জন্য সন্তুষ্টিজনক সূত্র এবং সূত্রগুলির মধ্যে পার্থক্য করা -hard যেখানে ক্লাসগুলির সর্বাধিক r- ভগ্নাংশটি সন্তুষ্টযোগ্য (কিছু আর < 1 এর জন্য )।
এমন কোনও ডিকোটমির উপপাদ্য রয়েছে যা সমস্ত ম্যাক সিএসপি-এর শক্ত ফাঁক আছে কিনা তার ভিত্তিতে শ্রেণিবদ্ধ করে?
১ Dec ই ডিসেম্বর, ২০১০ সম্পাদনা করুন : হার্ড গ্যাপের সাথে ম্যাক্স সিএসপি মানেই সমস্যাটি অনুকূল ইনঅপ্রক্সিমিবেলিটি ফ্যাক্টর। উদাহরণস্বরূপ, 3SAT অবস্থান এক কঠিন ফাঁক যেহেতু এটি একটি ফ্যাক্টর থেকে বহুপদী সময় approximable থাকে কিন্তু এটা এন পি পড়তা ফ্যাক্টর প্রাপ্ত -hard 7 / 8 + + ε এমনকি যখন সব ক্লজ Satisfiable হয়।