আপনি কি একঘেয়ে বুলিয়ান এক্সপ্রেশনগুলির সমতুল্যতা স্থির করতে পারেন যা পিটিটাইমে অবহেলা করে না?


16

পিটিটাইমে নিম্নলিখিত সমস্যা, বা কোএনপি-হার্ড:

দুটি বুলিয়ান এক্সপ্রেশন এবং e 2 ভেরিয়েবলগুলিতে x 1 , , x n দেওয়া ছাড়াই (যেমন, এক্সপ্রেশনগুলি সম্পূর্ণরূপে এবং ∨ এর মাধ্যমে নির্মিত ) are 12 কিনা তা স্থির করুন12এক্স1,...,এক্সএন12 , ভেরিয়েবলগুলিতে সমস্ত অ্যাসাইনমেন্টের জন্য তাদের একই মান রয়েছে।

যদি উভয় এক্সপ্রেশনটি ডিএনএফ-তে দেওয়া হয়, তবে সমস্যাটি পিটিটাইমে হয় যেহেতু আমরা প্রথমে লেসিকোগ্রাফিকভাবে সংক্ষিপ্ত ক্লজগুলি অর্ডার করতে এবং তুলনা করতে পারি। তবে ডিএনএফ-এ এক স্বেচ্ছাসেবী প্রকাশটি দ্রুতগতিতে ফুঁসে উঠতে পারে। বাইনারি-সিদ্ধান্ত-ডায়াগ্রামের জন্য অনুরূপ একটি যুক্তি মনে হয়েছে।

স্পষ্টতই, সমস্যাটি কোএনপিতে।

আমি মোটামুটি পরিমাণে গুগলিং করছিলাম, কিন্তু কোনও উত্তর পাইনি।

প্রাথমিক প্রশ্নের জন্য ক্ষমা চাইছি।

উত্তর:


14

[বিএইচআর ৮৪] এর 3.5.৩ সহকারীটি দেখায় যে সমস্যাটি সিএনপি-সম্পূর্ণ।

[BHR84] পিএ ব্লনিয়ার্জ, এইচবি হান্ট, তৃতীয়, এবং ডিজে রোজেনক্র্যান্টজ। কঠিন সমতুল্যতা এবং হ্রাসকরণ সমস্যার সাথে বীজগণিত কাঠামো। এসিএম জার্নাল , 31 (4): 879 87904, অক্টোবর 1984. http://dx.doi.org/10.1145/1634.1639

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.