যাক একটি 2CNF সূত্র হতে হবে এবং k নন-নেগেটিভ পূর্ণসংখ্যা। এই কাগজে প্রমাণিত হয়েছে যে কেউ সর্বাধিক কে ক্লজগুলি φ সন্তুষ্ট করার জন্য মুছতে পারে কিনা তা স্থির করে দেওয়ার সমস্যাটি স্থির-পরামিতি ট্র্যাকটেবল, যেখানে k প্যারামিটার। আমার প্রশ্ন হ'ল এমন কিছু কাজ আছে যা এই ফলাফলটিকে বাইনারি বুলিয়ান সিএসপিতে সাধারণীকরণ করে? (এটি কোনও সিএসপ উদাহরণকে সন্তুষ্ট, কে দ্বারা পরামিতি তৈরি করতে সর্বাধিক কে সীমাবদ্ধতা মুছে ফেলতে পারে কিনা তা সিদ্ধান্ত নেওয়ার জন্য ) বা কোনও নেতিবাচক ফলাফল?
আমি এখানে কী অনুপস্থিত তা সম্পর্কে আমি সত্যিই আগ্রহী - প্রায় 2SAT তুচ্ছভাবে স্থির-পরামিতি ট্র্যাকটেবল না কারণ স্থির কে জন্য সর্বাধিক দফার মধ্যে বহুবচনগতভাবে অনেকগুলি সেট রয়েছে ?
—
ডেভ
@ ডেভে প্রায় ক্লজের সেট রয়েছে, তবে ফিক্সড-প্যারামিটার ট্র্যাকটেবিলিটি কে -র রানটাইমের এক্সপেনশনাল অংশে উপস্থিত হতে দেয় না ।
—
নিয়মিততা