কোনও হিউরিস্টিক-মুক্ত এনপি সম্পূর্ণ সমস্যা আছে কি?


18

সেখানে দৃষ্টান্ত কোন অসীম উপসেট সঙ্গে কোনো দ্বারা NP সম্পূর্ণ সমস্যা আছে যেমন যে সদস্যপদের বহুপদী সময় সিদ্ধান্ত নিয়েছে হতে পারে, এবং জন্য সব , বহুপদী সময় সমাধান করা যেতে পারে? (ধরে )ΦΦxΦএক্সPNপি


নিবন্ধটি দ্বারা ব্যাখ্যা করা কারণগুলির জন্য, এই বিস্ময়কর অনুমানটি দেখুন যা এটির বক্তব্য শোনার চেয়ে উল্লেখযোগ্যভাবে প্রশংসনীয়।

উত্তর:


16

এটি থেকে অসীম বহু স্ট্রিং বাদ দিয়ে এনপি সম্পূর্ণ ভাষার পলি টাইম সুপারসেটের জোশ গ্রাচোর উত্তর দেখুন । যে উত্তর মতে, কিছু প্রাকৃতিক ক্রিপ্টোগ্রাফিক অনুমানের অধীনে, যে কো-এন পি-সম্পূর্ণ সমস্যা সেখানে অসীম উপসেট দৃষ্টান্ত যেমন যে সদস্যপদের বহুপদী সময়, এবং সিদ্ধান্ত সমস্যায় সীমাবদ্ধ তুচ্ছ করা হয় (উত্তর সর্বদা না)।ΦΦΦ

কো-এনপি-সম্পূর্ণ সেটটি পি-ইমিউন নয় বলে উল্লেখ করে এটি আনুষ্ঠানিকভাবে তৈরি করা যেতে পারে। এটি আরও জানা গেছে (আবার ক্রিপ্টোগ্রাফিক অনুমানের অধীনে) যে কোনও এনপি-সম্পূর্ণ সেট পি-ইমিউন নয়। তাই অন্য অসীম উপসেট এ ধরনের যে সদস্য পদ বহুপদী টাইম testable এবং সিদ্ধান্ত সমস্যা অবধি সীমিত থাকবে সবসময় উত্তর হবে হ্যাঁ হয়েছে। যেমন গ্লাসার এট আল।, "এনপি-সম্পূর্ণ সেটগুলির সম্পত্তি", সিকোমপ 2006, দোই : 10.1137 / S009753970444421XΦΦΦ


সত্যিই দুর্দান্ত, ধন্যবাদ :) সম্পূর্ণতার জন্য, এই অনুমানগুলি
হ'ল

@ ফিলিইডা: নোট করুন যে এগুলি একটি সাধারণ ক্রিপ্টোগ্রাফিক সংজ্ঞা না দিয়ে "সিউডোর্যান্ডম জেনারেটর" এর জন্য কিছু জটিলতা-তাত্ত্বিক সংজ্ঞা ব্যবহার করছে।

0

প্রথম পর্যবেক্ষণ যে ঠিক কি আপনি একটি প্রমাণ হবে জিজ্ঞাসা থাকার এটি সূচিত করা হবে যেমন যে সব দৃষ্টান্ত সেট বহুপদী সময় সমাধান করা যায় না।পিএনপি

যাইহোক, এবং আমি মনে করি এটিই আপনি যা বোঝাতে চেয়েছিলেন, আমরা "বহুগুণে সমাধান করা" বলতে যা বোঝায় তার সাথে আমরা কিছুটা খেলতে পারি। আমরা যদি বলতে সব অসীম সাব-সেট নির্বাচন দৃষ্টান্ত যার সদস্যপদ মধ্যে হয় পি হয় এন পি -complete, তারপর উত্তর Mahaney এর উপপাদ্য (দ্বারা নেই http://blog.computationalcomplexity.org/2007/06/sparse-sets-tribute -আর-মাহানেএইচটিএমএল )। এই উপপাদ্যটিতে বলা হয়েছে যে পি = এন পি না করে কোনও এনপি-সম্পূর্ণ সমস্যা বিরল হতে পারে না । এখন, দৃষ্টান্ত উপসেট গ্রহণ { 0 আমি | আমি এন } , আমরা দৃষ্টান্ত, যার জন্য পরীক্ষা সদস্যপদ রয়েছে অসীম বিক্ষিপ্ত উপসেট আছেφপিএনপিপি=এনপি{0আমি|আমিএন} হতে পারে না যে এন পি যদি না -complete পি = এন পি Mahaney এর উপপাদ্য দ্বারা।পিএনপিপি=এনপি


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