সিএনএফ থেকে ডিএনএফ রূপান্তর হ'ল এনপি-হার্ড Pro


20

আমি কীভাবে প্রমাণ করতে পারি যে সিএনএফ থেকে ডিএনএফ রূপান্তরটি এনপি-হার্ড?

আমি কোনও উত্তর চাইছি না, এটি প্রমাণ করতে কীভাবে যেতে হবে সে সম্পর্কে কিছু পরামর্শ।


5
গভীর গভীর বিশ্লেষণের জন্য এই কাগজটি একবার "সিএনএফকে ডিএনএফ রূপান্তর করার সময়" একবার দেখুন
ভোর

@ এ.চুলজ: স্টিভ কুকের কাগজে আসল সংজ্ঞা এটি কুকের হ্রাস ব্যবহার করে সংজ্ঞায়িত করে। দেখে মনে হচ্ছে সাধারণ এনপি-কঠোরতা en.wikedia.org/wiki/NP-hard
কাভাহ

সিএনএফ <-> ডিএনএফ রূপান্তর কোনও সিদ্ধান্ত নয়, এটি ভাষা হওয়ার জন্য রিকর্ড করুন। এটি ইনপুট এবং আউটপুট সহ আরও কার্যকারিতা এবং এটি এনপি-তে রয়েছে কিনা তা জিজ্ঞাসা করার জন্য কোনও সিদ্ধান্ত সমস্যায় রূপান্তরিত করতে হবে think মনে করেন যে সিদ্ধান্ত গ্রহণ না করার কারণে সমস্যাটি আকারে ক্ষতিকারক ধাক্কা বাড়ে বলে প্রমাণিত হয়েছে [উদাহরণস্বরূপ ভার্সে রেফ] সুতরাং সিদ্ধান্ত সমস্যার এনপি সম্পূর্ণ সংস্করণ [যদি কেউ বাইরে থাকে] সম্ভবত একটি উল্লেখযোগ্য সরলকরণ রয়েছে। এছাড়াও ভার্স রেফ সিএনএফের প্রকৃত জটিলতা দেখায় <-> ডিএনএফ রূপান্তর একটি সক্রিয় গবেষণা সমস্যা ... নোট করুন সংক্ষেপণ অ্যালগরিদম দক্ষতার কিছুটা মিল রয়েছে ...
vzn

2
@vzn প্রশ্ন জিজ্ঞেস করে এটা দ্বারা NP , -hard না দ্বারা NP -complete। এর অর্থ হ'ল এনপির সদস্যপদ প্রয়োজন হয় না সুতরাং এটি কোনও সিদ্ধান্তের সমস্যা হতে হবে না।
ডেভিড রিচারবি

উত্তর:


18

অনানুষ্ঠানিকভাবে:

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

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