মাহানির উপপাদ্য আমাদের বলে যে বহুবর্ষকালীন বহু-একক হ্রাসের আওতায় যদি একটি স্পার্স কমপ্লিট সেট থাকে তবে পি = এন পি । (" এনপি-র জন্য স্পারস সম্পূর্ণ সেট: বারম্যান এবং হার্টম্যানিসের অনুমানের সমাধান " দেখুন)
অন্যান্য জটিলতার ক্লাসগুলির জন্য বিরল সম্পূর্ণ সেটগুলির অস্তিত্বের কি জানা ফলাফল রয়েছে? বিশেষত, যদি লগস্পেসের একাধিক-এক হ্রাসের অধীনে একটি স্পার্স কমপ্লিট সেট থাকে তবে এটি কি পি = এলকে বোঝায় ?