Optimal solution (optimization) — جواب بهینه
جواب بهینه — در تحقیق در عملیات، بهینهسازی و نظریه تصمیمگیری، جوابی قابل قبول (یعنی جوابی که تمام قیدهای مسئله را برآورده میکند) است که مقدار بهینه (ماکزیمم یا مینیمم، بسته به صورتبندی مسئله) تابع هدف را تضمین میکند.
یافتن جواب بهینه هدف اصلی حل اکثر مسائل بهینهسازی است.
ماهیت و ویژگیها
جواب بهینه دارای دو ویژگی کلیدی است:
1. قابل قبول بودن: باید تمام قیدهای اعمالشده بر متغیرهای مدل را برآورده کند. به عبارت دیگر، جواب بهینه همیشه به ناحیه جوابهای قابل قبول (ناجق) تعلق دارد. 2. بهینه بودن نسبت به تابع هدف: در میان تمام جوابهای قابل قبول، بهترین (ماکزیمم یا مینیمم) مقدار تابع هدف را که معیار بهینگی را صوریسازی میکند، تضمین میکند.
هر جواب قابل قبولی، بهینه نیست، اما هر جواب بهینهای الزاماً باید قابل قبول باشد.
ارتباط با ناحیه جوابهای قابل قبول
ناحیه جوابهای قابل قبول (ناجق) مجموعهای از تمام گزینهها (مجموعه مقادیر متغیرها) است که قیدهای مسئله را برآورده میکنند. جواب بهینه نقطه (یا نقاطی) در این ناحیه است که تابع هدف در آن به حد بهینه خود میرسد. اگر ناجق تهی باشد، مسئله نه جواب قابل قبول دارد و نه، متناظراً، جواب بهینه.
نقش تابع هدف و قیدها
- قیدها مجموعه جوابهای ممکن (ناجق) را تعیین میکنند.
- تابع هدف تعیین میکند که کدام یک از این جوابهای ممکن بهترین (بهینه) است.
بدون تابع هدف، تعیین اینکه کدام جواب قابل قبول، بهینه است، ممکن نیست. بدون قیدها، مسئله ممکن است بدیهی باشد یا جواب بهینه متناهی نداشته باشد (برای مثال، ماکزیممسازی یک تابع خطی بدون قید).
یکتایی جواب بهینه
جواب بهینه همیشه یکتا نیست. در برخی مسائل (برای مثال، در برنامهریزی خطی، اگر تابع هدف موازی یکی از قیدهای فعال باشد) ممکن است بینهایت جواب بهینه وجود داشته باشد که همه مقدار یکسانی از تابع هدف دارند. با این حال، مقدار تابع هدف در نقطه (نقاط) بهینه همیشه یکتاست (اگر بهینه وجود داشته باشد).
روشهای یافتن
برای یافتن جوابهای بهینه در تحقیق در عملیات، روشهای ریاضی مختلفی بسته به نوع مدل استفاده میشوند:
- روش سیمپلکس (برای برنامهریزی خطی)
- روشهای گرادیان نزولی و سایر روشهای عددی (برای برنامهریزی غیرخطی)
- روش شاخه و کران، روشهای برش (برای برنامهریزی عددصحیح)
- روشهای برنامهریزی پویا
وابستگی به مدل
مهم است بدانیم که یک جواب تنها در چارچوب مدل ریاضی پذیرفتهشده بهینه است. اگر مدل بهدرستی وضعیت واقعی را بازتاب ندهد (تابع هدف نادرست انتخاب شده باشد، قیدها یا وابستگیهای مهم در نظر گرفته نشده باشند)، جواب بهینهای که بهصورت رسمی یافت شده، ممکن است در عمل ناکارآمد یا حتی نادرست باشد.
بهینگی در مسائل چندمعیاره
در مسائل با چند تابع هدف (بهینهسازی چندمعیاره) مفهوم جواب بهینه یکتا اغلب با مفهوم بهینگی پارتو جایگزین میشود. جواب پارتو-بهینه جوابی قابل قبول است که برای آن بهبود مقدار یک تابع هدف بدون بدتر کردن مقدار حداقل یکی دیگر غیرممکن است.
همچنین ببینید
- تحقیق در عملیات
- بهینهسازی
- مدل ریاضی
- تابع هدف
- قیدها
- ناحیه جوابهای قابل قبول
- جواب قابل قبول
- معیار
- نظریه تصمیمگیری
- بهینهسازی چندمعیاره
- بهینگی پارتو
- حد بهینه
منابع
- ونتسل ا. س. تحقیق در عملیات: مسائل، اصول، روششناسی. — مسکو: ناوکا، ۱۹۸۸.
- Taha, Hamdy A. Operations Research: An Introduction. — Pearson. (10th ed., 2017)
- Hillier, Frederick S.; Lieberman, Gerald J. Introduction to Operations Research. — McGraw-Hill Education. (11th ed., 2021)