ইনপুটগুলির একটি ছোট ভগ্নাংশ বাদে দক্ষ সমাধানে সমস্যা


18

ট্যুরিং মেশিনগুলির জন্য থামার সমস্যাটি সম্ভবত ক্যানোনিকাল অনস্বীকার্য সেট। তবুও, আমরা প্রমাণ করি যে এটির প্রায় সমস্ত দৃষ্টান্তই সিদ্ধান্ত নিয়ে একটি অ্যালগরিদম রয়েছে। থামার সমস্যাটি জটিলতার তত্ত্বের "ব্ল্যাক হোল" ঘটনাকে প্রদর্শনকারীদের ক্রমবর্ধমান সংকলনের মধ্যে রয়েছে, যার দ্বারা একটি অদৃশ্য বা অনস্বীকার্য সমস্যাটির অসুবিধা খুব ছোট অঞ্চলে, একটি ব্ল্যাকহোলের মধ্যে সীমাবদ্ধ, যার বাইরে সমস্যা রয়েছে সহজ।

[জোয়েল ডেভিড হ্যামকিনস এবং আলেক্সি মিয়াজনিকভ, "অ্যাসিপটোটিক সম্ভাব্যতার একটি সেটে থমকে থাকা সমস্যাটি সিদ্ধান্ত নেওয়া যায় ", ২০০৫]

জটিলতা তত্ত্বের যে কেউ "ব্ল্যাকহোল" বা অন্য কোনও জায়গায় যেখানে এই বা সম্পর্কিত ধারণাগুলি নিয়ে আলোচনা করা যেতে পারে তার জন্য উল্লেখ সরবরাহ করতে পারে?


3
জোয়েল নিয়মিত ম্যাথওভারফ্লোতে যান, আপনি তার কাছ থেকে উত্তর পেতে এখানে প্রশ্ন জিজ্ঞাসা করতে পারেন। আইআইআরসি সেখানে ফলাফল সম্পর্কে একটি প্রশ্ন ছিল।
কাভেহ

3
এছাড়াও HeurP দেখুন ।
কাভেহ

1
সম্ভবত আর একটি উদাহরণ গ্রাফ আইসোমরফিজম (যা এনপি-ইন্টারমিডিয়েট সমস্যা)। "সত্যিকারের উদাহরণ" এ এটি খুব সহজ (এলোমেলো উদাহরণগুলির জন্য তুচ্ছ?) এবং অনেক গ্রাফ শ্রেণীর জন্য রয়েছে বহুপদী সময় অ্যালগরিদম। "ব্ল্যাকহোল" এতোটাই শক্ত বলে মনে হচ্ছে যে হার্ড দৃষ্টান্ত তৈরি করা এত সহজ নয় এবং এটি সমাধানের সবচেয়ে কার্যকর সরঞ্জামগুলির মধ্যে একটি ন্যাটি, প্রায়শই (শক্ত) উদাহরণ তৈরি করতে ব্যবহৃত হয় । তবে সম্ভবত, "ব্ল্যাকহোল" বিলুপ্ত হয়ে যাবে এবং পি :
ডি-

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

হিউরপি মনে হচ্ছে এটি উদাহরণস্বরূপ সম্ভাবনার বন্টন অনুমান করে তবে আমি মনে করি ঘটনাটির একটি সুন্দর ভিন্ন আনুষ্ঠানিককরণ এটি হ'ল : ভাষা কিছু শ্রেণীর পক্ষে কঠিন, তবে একটি প্রতিশ্রুতি সমস্যা রয়েছে A = ( A y , A ′) এন ) যা কিছু সহজ শ্রেণিতে A y "asmyptotically ঘন" সাথে A এবং A n " asyptotically ঘন" এ ˉ A , যেখানে asmyptotically ভাষাগুলির স্ট্রিংয়ের আকার অনন্তের দিকে যায়। একজনএকজন'=(একজনY',একজনএন')একজনY'একজনএকজনএন'একজন¯
usul

উত্তর:


15

আপনি যা খুঁজছেন তা এটি কিনা তা আমি নিশ্চিত নই, তবে এলোমেলোভাবে SAT এর পর্বের স্থানান্তর উদাহরণ। আসুন ভেরিয়েবলের সংখ্যার সাথে অনুচ্ছেদের সংখ্যার অনুপাত হতে হবে। তারপর পরামিতি সঙ্গে একটি র্যান্ডম স্যাট উদাহরণস্বরূপ ρ খুব সম্ভবত যদি Satisfiable হতে হয় ρ একটি নির্দিষ্ট ধ্রুবক কম (4.2 কাছাকাছি) এবং যদি খুব unsatisfiable হতে পারে ρ একটি সামান্য বিট এই ধ্রুবক বেশী। "ব্ল্যাকহোল" হ'ল পর্যায় স্থানান্তর।ρρρρ


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

5

হ্যালটিং সমস্যার মতো পোস্টের চিঠিপত্রের সমস্যাটি সাধারণভাবে অনস্বীকার্য। লিং ঝাওয়ের মাস্টার্স থিসিসে পিসিপি সমস্যার বেশ কয়েকটি সমাধানযোগ্য উদাহরণ উপস্থাপন করা হয়েছে, যার মধ্যে কিছু "হার্ড" উদাহরণ রয়েছে। তবে আমি জানি না যে তার সমাধানযোগ্য উদাহরণগুলির আকার / ঘনত্ব / পরিমাপ আপনি হ্যালটিং সমস্যার ফলাফলের সাথে মিলে যাচ্ছেন with

http://webdocs.cs.ualberta.ca/~games/PCP/paper/CG2002.pdf

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