পিটিটাইমে নিম্নলিখিত সমস্যা, বা কোএনপি-হার্ড:
দুটি বুলিয়ান এক্সপ্রেশন এবং e 2 ভেরিয়েবলগুলিতে x 1 , … , x n দেওয়া ছাড়াই (যেমন, এক্সপ্রেশনগুলি সম্পূর্ণরূপে ∧ এবং ∨ এর মাধ্যমে নির্মিত ) are ই 1 ≡ ই 2 কিনা তা স্থির করুন , ভেরিয়েবলগুলিতে সমস্ত অ্যাসাইনমেন্টের জন্য তাদের একই মান রয়েছে।
যদি উভয় এক্সপ্রেশনটি ডিএনএফ-তে দেওয়া হয়, তবে সমস্যাটি পিটিটাইমে হয় যেহেতু আমরা প্রথমে লেসিকোগ্রাফিকভাবে সংক্ষিপ্ত ক্লজগুলি অর্ডার করতে এবং তুলনা করতে পারি। তবে ডিএনএফ-এ এক স্বেচ্ছাসেবী প্রকাশটি দ্রুতগতিতে ফুঁসে উঠতে পারে। বাইনারি-সিদ্ধান্ত-ডায়াগ্রামের জন্য অনুরূপ একটি যুক্তি মনে হয়েছে।
স্পষ্টতই, সমস্যাটি কোএনপিতে।
আমি মোটামুটি পরিমাণে গুগলিং করছিলাম, কিন্তু কোনও উত্তর পাইনি।
প্রাথমিক প্রশ্নের জন্য ক্ষমা চাইছি।