আমি মনে করি এই সমস্যাটি এনপি-হার্ড। আমি মিনস্যাট থেকে একটি হ্রাস স্কেচ করার চেষ্টা করি। মিনস্যাট সমস্যাটিতে আমাদের একটি সিএনএফ দেওয়া হয় এবং আমাদের লক্ষ্য সন্তুষ্ট ধারাগুলির সংখ্যা হ্রাস করা। এই সমস্যাটি এনপি-হার্ড, উদাহরণস্বরূপ দেখুন, http://epubs.siam.org/doi/abs/10.1137/S0895480191220836?jorterCode=sjdmec
উল্লম্ব দুটি গ্রুপে বিভক্ত করুন - কিছুটি আক্ষরিক, অন্যের অনুচ্ছেদের প্রতিনিধিত্ব করবে, সুতরাং যেখানে ভি সিএনএফের ভেরিয়েবলগুলির সংখ্যা (সাধারনত এন দ্বারা চিহ্নিত ) এবং সি হ'ল ধারাগুলির সংখ্যা। প্রতিটি আক্ষরিক-প্রান্তবিন্দু থেকে ক্লজ-ভার্টেক্স যেখানে প্রবাহিত হয় সেখানে পরিচালনা করুন। নির্ধারণ এস একটি আক্ষরিক-প্রান্তবিন্দু যে প্রতিনিধিত্ব করে এক্স আমি যেমন { আমি , আমি + + V + + ট } (যেখানে ট একটি অবাধ প্যারামিটার), তাই পারেন চ ( এক্স আমি )n=2v+cvncSxi{i,i+v+k}k এবং f ( ˉ x i ) = i + v + k বা f ( ˉ x i ) = i এবং f ( x i ) = i + v + k । প্রতিটি ধারা-ভার্টিক্সের জন্য, এস = { ভ + 1 , … , ভি + কে , 2 ভি + কে + 1 , …f(xi)=if(x¯i)=i+v+kf(x¯i)=if(xi)=i+v+k , তাই k দফা-ছেদচিহ্ন হয় `ছোট ''।S={v+1,…,v+k,2v+k+1,…,n}k
এখন সিএনএফ-এর একটি অ্যাসাইনমেন্ট রয়েছে যেখানে উপরের উদাহরণের জন্য যদি আপনার সমস্যা সমাধান করা যায় তবে কেবল কমপক্ষে ধারাগুলি মিথ্যা। MinSAT সমস্যা ঠিক পরীক্ষার জন্যে কিনা CNF সূত্র φ একটি কাজ আছে যা করে তোলে অন্তত ট ক্লজ মিথ্যা, তাই এই শো যে আপনার সমস্যা দ্বারা NP-কঠিন।kφk
আপনাকে এই হ্রাস বুঝতে সাহায্য করার জন্য, স্বজ্ঞাততাটি এখানে দেওয়া হয়েছে: ছোট লেবেলগুলি ( ) সত্য মান মিথ্যা, এবং বড় লেবেল ( v + কে + 1 , … , 2 ভি + কে ) এর সাথে সম্পর্কিত সত্য। আক্ষরিক-অনুভূমিকের জন্য সীমাবদ্ধতাগুলি নিশ্চিত করে যে প্রতিটি x i হয় হয় সত্য বা মিথ্যা এবং ¯ x i1,2,…,v+kv+k+1,…,2v+kxixi¯¯¯¯¯বিপরীত সত্য মান আছে। প্রান্তগুলি নিশ্চিত করে যে কোনও আক্ষরিক সত্য হলে, এর সাথে যুক্ত সমস্ত ধারা-উল্লম্বগুলিও সত্য হিসাবে নির্ধারিত হয়। (এর বিপরীতে, যদি একটি দফা সমস্ত লিটারেল মিথ্যা হস্তান্তর করা হয়েছে, তাহলে এই গ্রাফ গঠন দফা-প্রান্তবিন্দু পারেন মিথ্যা বা সত্য বরাদ্দ করা সম্ভব হবে।) সবশেষে, পছন্দমত নিশ্চিত করে যে ট দফা-ছেদচিহ্ন মিথ্যা নির্ধারিত এবং করছে তাদের মধ্যে সি - কে সত্য বরাদ্দ করা হয়েছে। সুতরাং, যদি সেখানে এই গ্রাফ একটি বৈধ টপোলজিকাল সাজানোর হয়, তাহলে সেখানে ভেরিয়েবল যে অন্তত তোলে একটি কাজ হল ট এর ক্লজ φkkc−kkφমিথ্যা (মিথ্যা বরাদ্দ করা সমস্ত ধারা-উল্লম্বগুলির সবগুলিই মিথ্যা, এবং সম্ভবত সত্যটি বরাদ্দ করা হয়েছে এমন কয়েকটি)) বিপরীতভাবে, যদি সেখানে ভেরিয়েবল যে অন্তত তোলে একটি কাজ হল এর ক্লজ φ মিথ্যা, তারপর এই গ্রাফ একটি বৈধ টপোলজিকাল সাজানোর (আমরা সুস্পষ্ট ভাবে আক্ষরিক-ছেদচিহ্ন জন্য লেবেল পূরণ হয়; এবং জন্য প্রতিটি দফা φ অন্যান্য দফা-ছেদচিহ্ন একটি অবাধ সত্য মান সংশ্লিষ্ট লেবেল গ্রহণ করতে পারে); সত্য যে, আমরা তার সংশ্লিষ্ট দফা-প্রান্তবিন্দু একটি লেবেল সত্যতে অনুরূপ দিতে।kφφ