مسئله بهینه‌سازی: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جز ویرایش به‌وسیلهٔ ابرابزار:
برچسب: متن دارای ویکی‌متن نامتناظر
خط ۱:
در [[ریاضیات]] و [[علوم رایانه]] یک مسئله بهینه‌سازی، مسئله یافتن بهترین راه حل از میان همه راه حل‌های عملی می‌باشد. مسئله‌های بهینه‌سازی می‌تواند به دو دسته تقسیم شود که متغیرها پیوسته یا گسسته باشند. یک مسئله بهینه‌سازی با [[متغیر]]های گسسته به عنوان یک مسئله بهینه‌سازی ترکیبی یا ترکیبیاتی شناخته می‌شوند. در یک مسئله بهینه‌سازی ترکیبی، ما به دنبال مجموعه‌ای از اشیاء از قبیل عدد صحیح، [[جایگشت]] یا [[گراف|گرافی]] می‌گردیم که تعداد اعضایش محدود (و یا به طوربه‌طور قابل شمارش نامحدود) باشند.
 
== مسئله بهینه‌سازی پیوسته ==
خط ۱۷:
 
== مسئله بهینه‌سازی ترکیبی ==
به طوربه‌طور رسمی یک بهینه‌سازی ترکیبی A یک چهارتایی <math>(I, f, m, g)</math> است به طوری که:
* <math>I</math> مجموعه نمونه هاست.
* برای یک نمونه <math>x \in I</math> داده شده، <math>f(x)</math> [[مجموعه (ریاضی)|مجموعه]] راه حل‌های امکان‌پذیر است.
خط ۲۷:
</math>
برای هر مسئله بهینه‌سازی ترکیبی، یک [[مسئله تصمیم]] متناظر وجود دارد که می‌پرسد ببیند آیا یک راه حل ممکن برای مقدار خاص <math>m_0</math> وجود دارد یا نه. به عنوان مثال یک گراف <math>G</math> وجود دارد که شامل رئوس <math>u</math> و <math>v</math> یک مسئله بهینه‌سازی ممکن است «یافتن یک مسیر از <math>G</math> به <math>G</math> که از کمترین یال‌ها بگذرد» باشد. این مسئله ممکن است یک جواب مثلاً ۴ داشته باشد. یک مسئله تصمیم متناظر این خواهد بود که «آیا یک مسیر از <math>G</math> به <math>G</math> با استفاده از ۱۰ یال یا کمتر وجود دارد؟» این مسئله با یک «بله» یا «خیر» ساده جواب داده می‌شود.
در زمینه الگوریتم‌های تخمین، الگوریتم‌ها برای مسائل سخت برای یافتن راه حل‌های نزدیک بهینه طراحی می‌شوند؛ بنابراین یک نسخه معمول تصمیم، یک توصیف ناکافی از مسئله است زیرا فقط راه حل‌های قابل قبول را مشخص می‌کند. اگرچه می‌توانیم مسائل تصمیم مناسبی مطرح کنیم، این مسائل دیگر بیشتر به طوربه‌طور طبیعی، یک مسئله بهینه‌سازی می‌شوند.
 
=== مسئله بهینه‌سازی NP ===
یک مسئله بهینه‌سازی NP یا به طوربه‌طور مخفف NPO یک مسئله بهینه‌سازی ترکیبی است با شرایط اضافی زیر. توجه داشته باشید که چندجمله‌ای‌های اشاره شده در زیر، توابعی با سایز متناسب با ورودی‌های تابع هستند، نه مجموعه‌ای مطلق از نمونه ورودی‌ها.
* سایز هر راه حل ممکن <math>\scriptstyle y\in f(x)</math> به طوربه‌طور چندجمله‌ای محدود به سایز نمونه <math>x</math> داده شده استشده‌است.
* زبان‌های <math>\scriptstyle \{\,x\,\mid\, x \in I \,\}</math> و <math>\scriptstyle \{\,(x,y)\, \mid\, y \in f(x) \,\}</math> می‌توانند در زمان چندجمله‌ای مشخص شوند و
* m در زمان چندجمله‌ای قابل محاسبه است.