আমরা প্রদত্ত জেনারেল বুলিয়ান সূত্র (সিএনএফ-স্যাট), একটি প্রদত্ত ডিএনএফ সূত্র, এমনকি একটি প্রদত্ত 2 এসএটি সূত্র একটি # পি-সম্পূর্ণ সমস্যা হিসাবে সন্তোষজনক নিয়োগের সংখ্যা গণনা করার সমস্যাটি আমরা জানি ।
এখন, কোনও সিএনএফ-স্যাট বিবেচনা করুন কোনও নেতিবাচক আক্ষরিক (না , সর্বদা এ )। সিদ্ধান্তের সমস্যাটি খুব সহজ (সমস্ত ভেরিয়েবলগুলি সত্যে নির্ধারণ করুন এবং কার্যনির্বাহটি সূত্রটি সন্তুষ্ট করছে কিনা তা পরীক্ষা করে দেখুন) তবে সন্তোষজনক কার্যের সংখ্যা গণনা সম্পর্কে কী বলা যায়? এটিতে কি বহু-কালীন অ্যালগরিদম থাকে? অথবা এটি # পি-সম্পূর্ণ সমস্যা।