نمایش مبدأ برای مسئله بهینه‌سازی

در [[ریاضیات]] و [[علوم رایانه]] و [[علم اقتصاد]] یک مسئله بهینه‌سازی، مسئله یافتن بهترین راه حل از میان همه راه حل‌های عملی می‌باشد. مسئله‌های بهینه‌سازی می‌تواند به دو دسته تقسیم شود که متغیرها پیوسته یا گسسته باشند. یک مسئله بهینه‌سازی با [[متغیر]]های گسسته به عنوان یک مسئله [[بهینه‌سازی ترکیبی]] یا ترکیبیاتی شناخته می‌شوند. در یک مسئله بهینه‌سازی ترکیبی، ما به دنبال مجموعه‌ای از اشیاء از قبیل [[عدد صحیح]]، [[جایگشت]] یا [[گراف|گرافی]] می‌گردیم که تعداد اعضایش محدود (و یا به‌طور قابل شمارش نامحدود) باشند.

== مسئله بهینه‌سازی پیوسته ==
شکل استاندارد مسئله بهینه‌سازی (پیوسته) به صورت زیر است:
: <math>\begin{align}
&\underset{x}{\operatorname{minimize}}& & f(x) \\
&\operatorname{subject\;to}
& &g_i(x) \leq 0, \quad i = 1,\dots,m \\
&&&h_i(x) = 0, \quad i = 1, \dots,p
\end{align}</math>
به طوری که:
* <math>f(x): \mathbb{R}^n \to \mathbb{R}</math> [[تابع]] مورد نظر ماست که می‌خواهیم بر روی <math>x</math> کمینه شود.
* <math>g_i(x) \leq 0</math> محدودیت نابرابری نامیده می‌شود و
* <math>h_i(x) = 0</math> محدودیت تساوی نامیده می‌شود.

طبق قرارداد، شکل استاندارد، یک مسئله به حداقل رساندن را توصیف می‌کند. یک مسئله به حداکثر رساندن می‌تواند با منفی کردن تابع هدف به دست آید.

== مسئله بهینه‌سازی ترکیبی ==
به‌طور رسمی یک بهینه‌سازی ترکیبی A یک چهارتایی <math>(I, f, m, g)</math> است به طوری که:
* <math>I</math> مجموعه نمونه هاست.
* برای یک نمونه <math>x \in I</math> داده شده، <math>f(x)</math> [[مجموعه (ریاضی)|مجموعه]] راه حل‌های امکان‌پذیر است.
* برای یک مورد داده شده <math>x</math> و راه حل ممکن <math>y</math> برای <math>x</math>، <math>m(x, y)</math> اندازه <math>y</math> را مشخص می‌کند که معمولاً یک [[عدد حقیقی]] مثبت است.
* g هدف تابع است که یا برابر کمینه یا بیشینه است.
هدف این است که برای یک نمونه <math>x</math>، یک راه حل بهینه پیدا کنیم که یک راه حل ممکن <math>y</math> است با این شرط که
: <math>
m(x, y) = g \{ m(x, y') \mid y' \in f(x) \}.
</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 در زمان چندجمله‌ای قابل محاسبه است.
این دلالت بر این دارد که مسئله تصمیم متناظر، یک NP است. در علوم کامپیوتر، معمولاً مسائل بهینه‌سازی جالب توجه، ویژگی‌های بالا را دارند و بنابراین مسائل NPO هستند. یک مسئله به علاوه یک مسئله بهینه‌سازی نوع P یا PO خوانده می‌شود اگر [[الگوریتم|الگوریتمی]] وجود داشته باشد که در زمان چندجمله‌ای راه حل بهینه را پیدا کند. معمولاً هنگام کار کردن با دسته NPO، مسائل بهینه‌سازی جالبی وجود دارد که نسخه‌های تصمیم، NP-سخت هستند. توجه داشته باشید که روابط سختی، همواره در تناسب با ساده‌سازی هستند. به علت ارتباط بین الگوریتم‌های تخمین و مسائل محاسباتی بهینه‌سازی، مسائل بهینه‌سازی با نسخه‌های تصمیم [[ان‌پی کامل|NP-تکمیل]] لزوماً NPO-تکمیل نامیده نمی‌شوند.
NPOPB یک دسته دیگر است؛ NPO با تابع هزینه محدود به چندجمله‌ای. مسائلی با این شرایط، ویژگی‌های مطلوب زیادی دارند.

== جستارهای وابسته ==
* [[بهینه‌سازی_خطی_عدد_صحیح]]

* [[نظریه پیچیدگی محاسباتی]]
* [[ان‌پی کامل]]
*[[بهینه‌سازی محدب]]
*[[بهینه‌سازی پاوسته]]

== منابع ==
* [//en.wikipedia.org/w/index.php?title= Optimization_problem&oldid =468506162 ویکی‌پدیای انگلیسی مسئله بهینه‌سازی]
* مهدی قطعی، بهینه‌سازی خطی و بهینه‌سازی تر کیبیاتی، انتشارات ناقوس، ۱۳۹۲، تهران، ایران.

[[رده:بهینه‌سازی ریاضی]]
[[رده:مسئله‌های محاسباتی]]
[[رده:ویکی‌سازی رباتیک]]