ان‌پی سخت

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به ناوبری پرش به جستجو
نمودار اویلر برای مجموعه‌های P‏، NP‏، ان‌پی کامل، و NP-Hard. بخش چپِ نمودار معتبر است با این فرض که P ≠ NP، و بخش راستِ نمودار معتبر است با این فرض که P = NP.

مجموعهٔ «ان‌پی-سخت» شامل چندهزار مسئلهٔ مختلف با کاربردهای فراوان است که تاکنون برای آن‌ها راه حل سریع و قابل انجام در زمان معقول پیدا نشده‌است و به احتمال زیاد در آینده نیز یافت نخواهد شد. این که راه حل سریعی برای آن‌ها وجود ندارد هم اثبات نشده‌است. البته ثابت شده‌است که اگر فقط برای یکی از این مسئله‌ها راه حل سریعی پیدا شود٫این راه حل موجب حل سریع بقیهٔ مسئله‌ها خواهد شد. البته احتمال پیدا شدن چنین الگوریتمی ضعیف است. منظور از راه حل سریع آن است که زمان اجرای آن با اندازهٔ ورودی مسئله به صورت چندجمله‌ای رابطه داشته باشد.

ان پی سخت (زمان چندجمله‌ای غیر قطعی سخت) در نظریه پیچیدگی محاسباتی یک کلاسی از مسائل است که "دست کم به سختی سخت‌ترین مشکلات NP" است. مشکل H یک ان پی سخت است اگر و فقط اگر یک مشکل ان پی کامل L که زمان چندجمله‌ای تورینگ تقلیل (polynomial time Turing-reducible) به سمت H وجود داشته باشد (L ≤ TH). به عبارت دیگر L می‌تواند در زمان چندجمله‌ای به وسیلهٔ دستگاه اوراکل با اوراکل H حل شود. به صورت غیررسمی می‌توانیم اگویتمی در نظر بگیریم که می‌تواند مانند یک ماشین اوراکل به عنوان یک زیر روال برای حل H تماس بگیرید و L را در زمان چندجمله‌ای حل کند اگر فراخوانی زیرروال تنها یک گام برای محاسبه بگیرد. مشکل ان پی سخت می‌تواند به هر صورتی باشد: مشکلات تصمیم‌گیری، مشکلات جستجو یا مشکلات بهینه‌سازی..

تعاریف جایگزین[ویرایش]

تعریف جایگزین ان پی سخت اغلب استفاده محدود ان پی سخت برای مسائل تصمیم‌گیری و سپس برای استفاده کاهش زمان چیند جمله‌ای به چند به یک کاهش تورینگ است؛ بنابراین، زبان L ان پی سخت است اگر ∀L' ∈ NP, L' ≤ L. اگر همچنین این حالت که L در ان پی باشد بنابراین L ان پی کامل نامیده می‌شود.


ریشهٔ انگلیسی[ویرایش]

ان پی-سخت: Non-deterministic Polynomial-time hard)→NP-hard)

  • حل نشدنی در زمان چندجمله‌ای بر حسب اندازهٔ ورودی مسئله (زمان معقول)

کنوانسیون نام‌گذاری ان پی[ویرایش]

سیستم نام‌گذاری خانواده ان پی گیج‌کننده‌است: مسائل ان پی سخت همه ان پی نیستند با وجود اینکه پسوند NP را در کلاس اسمی خود دارند. اگرچه نام هم‌اکنون در حال تثبیت است و بعید است تغییر کند. از طرف دیگر سیستم نام‌گذاری ان پی معنی عمیقتری دارد زیرا خانواده ان پی در ارتباط با کلاس ان پی تعریف شده‌اند:

ان پی سخت
حداقل به سختی سختترین مسائل در ان پی است. برخی مثال‌ها نیاز ندارند ان پی باشند، در واقع آن‌ها حتی ممکن است مسائل تصمیم‌گیری نباشند.
ان پی کامل
این‌ها سختترین مسائل در ان پی هستند. مثل مسئله‌ای که ان پی سخت، در ان پی است.
ان پی آسان
حداکثر به سختی ان پی است اما لزوماً ان پی نیست. از آنجایی که آن‌ها ممکن است مشکلات تصمیم‌گیری نباشند.
ان پی معادل
دقیقاً به سختی سختترین مسائل در ان پی است اما لزوماً ان پی نیست.

در پی آمد این تعاریف داریم:

  • مشکل H حداقل به سختی L است، زیرا H می‌تواند برای حل L مورد استفاده قرار گیرد. ;
  • از آنجا که L ان پی کامل باشد و از این رو سخت‌ترین در کلاس ان پی است، همچنین مشکل H حداقل به اندازه ان پی سخت است اما H نباید در ان پی باشد و بنابراین نباید یک مشکل تصمیم‌گیری باشد (اگر هم یک مشکل تصمیم‌گیری بود نیاز ندارد در ان پی باشد). ;
  • از آنجا که مشکلات ان پی کامل به وسیلهٔ کاهش زمان چندجمله‌ای به چند به یک (تبدیل چندجمله‌ای)، به همدیگر تبدیل می‌شوند، تمام مشکلات ان پی کامل می‌توانند در زمان چندجمله‌ای با کاهش H حل شوند؛ بنابراین تمام مشکلات در ان پی به H کاهش پیدا می‌کند. توجه: اگرچه این درگیری‌ها دو تبدیل مختلف را ترکیب می‌کند: از مشکل تصمیم‌گیری ان پی کامل به مشکل ان پی کامل L به وسیلهٔ تبدیل چندجمله‌ای و از L به H به وسیلهٔ چندجمله‌ای کاهش تورینگ. ;
  • اگر یک الگوریتم پند جمله‌ای برای هر مشکل ان پی سخت وجود داشته باشد، بنابراین الگوریتم‌هایی برای تمام مشکلات در ان پی وجود دارند، از این رو P = NP. ;
  • اگر P ≠ NP، بنابراین مشکلات ان پی سخت هیچ راه حلی در زمان چندجمله‌ای ندارند، تا زمانی‌که P = NP حل نمی‌شود خواه مشکلات ان پی سخت بتوانند در زمان چندجمله‌ای حل شوند. ;
  • اگر یک مشکل بهینه‌سازی H دارای یک L نسخه تصمیم‌گیری ان پی کامل باشد، آنگاه H ان پی سخت است.

یک اشتباه معمول این است که فکر کنیم که ان پی در ان پی سخت مخفف غیر چندجمله‌ای است. هر چند که به‌طور گسترده‌ای مشکوک است که هیچ الگوریتم زمان چندجمله‌ای برای مشکلات ان پی سخت وجود ندارد، این هرگز ثابت نشده‌است. علاوه بر این، کلاس ان پی شامل تمام مسائلی است که می‌تواند در زمان چندجمله‌ای حل شود.


مفهوم و مقایسهٔ آن با ان پی-کامل[ویرایش]

مسئلهٔ H ان پی-سخت است اگر و فقط اگر مسئلهٔ L از نوع ان پی-کامل موجود باشد، به‌طوری‌که زمان حل آن بر حسب چندجمله‌ای قابل کاهش به Hباشد: (L ≤ TH)به عبارتی دیگر L را می‌توان در زمان زیاد با ماشین اوراکل H حل کرد. به‌طور غیررسمی ما می‌توانیم به الگوریتمی فکر کنیم که می‌تواندزیرروالی را برای حل H فراخوانی کند و L را در زمان زیاد حل کند اگر فراخوانی آن زیر روال فقط یک گام برای محاسبه طول بکشد. مسائل ان پی-سخت ممکن است از هر نوعی باشند:مسائل تصمیم گیری٫مسائل جستجو٫مسائل بهینه سازی. طبق روال تعریف: (توجه داشته باشید که این‌ها صرفاً ادعا هستند نه تعریف):

  • مسئلهٔ H حداقل به سختی مسئلهٔ L است. چون H می‌تواند برای حل L استفاده شود.
  • چون L ان پی-کامل است ٫بنابراین به سختی مسائل نوع ان پی است. مسئلهٔ H حداقل به سختی مسئلهٔ ان پی است. اما H نباید ان پی باشد و بنابراین نباید از نوع مسائل تصمیم گیری باشد(حتی اگر از نوع مسایل تصمیم‌گیری باشد نیازی ندارد ازنوع مسائل ان پی باشد.)
  • مسائل ان پی-کامل با زمان زیاد با ۱ واحد کاهش به یکدیگر تبدیل می‌شوند(همچنین تحولات چند جمله‌ای نیز نامیده می‌شوند.)

همهٔ مسائل ان پی-کامل با کاهش H می‌توانند در زمان زیاد حل شوند. بنابراین همهٔ مسائل در ان پی قابل کاهش به H هستند. توجه داشته باشید هر چند این شامل ترکیب کردن ۲ تبدیل است:

  1. از ان پی-کامل:مسائل تصمیم گیری به مسائل ان پی-کامل با تحولات چندجمله‌ای
  2. از L به H با کاهش چند جمله‌ای تورینگ. ماشین تورینگ
  • اگر یک الگوریتم چندجمله‌ای برای هر مسئلهٔ ان پی-سخت موجود باشد٫ سپس الگوریتمهای چندجمله‌ای برای همهٔ مسائل در ان پی وجود دارند و بنابراین مسئله برابری پی و ان‌پی
  • اگر P ≠ NP باشد ٫ مسائل ان پی-سخت راه حلی در زمان‌های زیاد ندارند. زمانی که مسئله برابری پی و ان‌پی باشد ٫ مسائل حل نمی‌شوند. حتی اگر مسائل ان پی-سخت بتوانند در زمان زیاد حل شوند.
  • اگر مسائل بهینه سازی ٫H یک نسخهٔ تصمیم‌گیری ان پی-کامل داشته باشند٫ H یک ان پی-سخت است.
  • یک اشتباه رایج این است که فکر می‌کنیم ان پی در ان پی-سخت بر پایهٔ غیر چند جمله‌ای است. اگر چه به‌طور گسترده انتظار میرود که هیچ الگوریتم غیر چند جمله‌ای بر حسب تابع زمانی برای مسائل ان پی- سخت وجود ندارد ولی این موضوع هنوز اثبات نشده‌است. علاوه بر این مسائل از نوع ان پی همچنین شامل همهٔ مسائلی هستند که می‌توانند در چندجمله‌ای از تابع زمان حل شوند.

روش حل مسایل ان پی-سخت[ویرایش]

روش‌های مختلفی برای حل سریع ولی نزدیک به بهینه برای یک مسئلهٔ ان پی-سخت وجود دارد:

  • راه حل تقریبی قابل اثبات(الگوریتم‌های تقریبی):که در آن یک الگوریتم سریع برای حل مسئله ارائه می‌شود ولی اثبات می‌شود که اندازهٔ خروجی ضریبی از اندازهٔ خروجی بهینهٔ مسئله‌است.
  • الگوریتم‌های مکاشفه‌ای:با این که الگوریتم‌هایی سریع هستند و به صورت تقریبی جواب را به دست می‌آورند٫اما در مورد ضریب تقریب یا میزان خوبی الگوریتم اثباتی وجود ندارد. بسیاری از این الگوریتم‌ها به صورت تجربی آزمایش می‌شوند. برخی از این الگوریتم‌ها از «روش حریصانه» برای حل استفاده می‌کنند.

الگوریتم‌ها[ویرایش]

راه‌های معمول مقابله با چنین مسائلی عبارتند از:

  • طراحی الگوریتم‌هایی برای پیدا کردن جواب‌های دقیق که استفاده از آن‌ها فقط برای مسائل با اندازه کوچک صورت می‌گیرد.
  • استفاده از «الگوریتم‌های مکاشفه‌ای»(Heuristic) که جواب‌هایی به‌دست می‌دهد که احتمالاً درست هستند.
  • پیدا کردن زیرمسئله‌هایی از مسئله یعنی تقسیم مسئله به مسئله‌های کوچکتر تا بشود از الگوریتم‌های مکاشفه‌ای بهتر و دقیق‌تری استفاده کرد.

نمونه مسائل ان پی-سخت[ویرایش]

مثال‌ها[ویرایش]

مثالی از مسئله ان پی سخت در تصمیم‌گیری مسئله جمع زیرمجموعه‌است که به این صورت است: با توجه به مجموعه‌ای از اعداد صحیح، هیچ زیر مجموعه غیر تهی از آن‌ها به صفر اضافه می‌شود؟ این یک مشکل تصمیم‌گیری است، و برای ان پی کامل اتفاق می‌افتد. مثال دیگر ان پی سخت مسئله بهینه‌سازی پیدا کردن حداقل هزینه مسیر چرخه‌ای از طریق تمام گره‌ها از یک گراف وزندار است که به عنوان مسئله فروشنده دوره گرد شناخته شده‌است.

مسائل تصمیم‌گیری ای هستند که ان پی سخت هستند اما ان پی کامل نیستند، برای مثال مسئله توقف. این مسئله ایست که می‌پرسد «با توجه به یک برنامه و ورودی، آیا همیشه اجرا خواهد شد؟». این یک سؤال بله/خیر است، بنابراین یک مسئله تصمیم‌گیری است. ثابت کردن که مشکل توقف ان پی سخت است اما نه ان پی کامل آسان است. برای مثال مسئله بولی قابل راضی کردنی می‌تواند به وسیلهٔ تبدیل آن به توضیحات ماشین تورینگ که برای تخصیص تمام داده‌های درست تلاش می‌کند و زمانی که یکی را پیدا کند که فرمول را به توقف قانع کند و درغیراینصورت به یک حلقه بی‌نهایت می‌رود، به مسئله توقف کاهش پیدا کند. همچنین به راحتی می‌توان دید که مسئله توقف ان پی نیست از آنجا که تمام مسائل در ان پی در تعداد دستورالعمل‌های محدود قابل تصمیم‌گیری هستند، درصورتی‌که مسئله توقف به‌طور کلی این‌طور نیست. مسئله‌های ان پی سختی هم وجود دارند که نه ان پی کامل هستند نه تصمیم ناپذیر. برای مثال زبان فرمول بولی اندازه‌گیری درست (True quantified Boolean formulas) در فضای چندجمله‌ای قابل تصمیم پذیر است اما غیر قطعی نشده زمان چندجمله‌ای است (مگر اینکه NP = PSPACE).

منابع[ویرایش]

  • Edwin D. Reilly (2004). [۱] Concise encyclopedia of computer science. John Wiley and Sons Ltd. External link in |title= (help)

منابع[ویرایش]