1
প্রতিটি পরিবর্তনশীল ইতিবাচক এবং নেতিবাচকভাবে দেখা গেলেও 1-ইন-3 স্যাট কী এনপি-হার্ড থেকে যায়?
মান সমস্যা 1-ইন-3 স্যাট (অথবা XSAT বা X3SAT) হল: ইন্সটান্স : ধারণকারী ঠিক 3 লিটারেল প্রত্যেক দফা সঙ্গে একটি CNF সূত্র প্রশ্ন সেখানে পরিতৃপ্ত নিয়োগ অবিকল 1 দফা প্রতি আক্ষরিক সত্য সেটিং: সমস্যাটি এনপি-সম্পূর্ণ এবং কোনও পরিবর্তনশীল অবহেলিত না হওয়া সত্ত্বেও শক্ত থেকে যায়। আমি ভাবছি যে এই সমস্যাটি সহজ …