برنامه‌سازی غیرخطی

در ریاضیات برنامه سازی غیر خطی ((Nonlinear programming (NLP)
فرایند حل یک سیستم از برابری‌ها و نابرابری‌ها بر روی مجموعه‌ای از متغیرهای ناشناخته حقیقی، در یک تابع هدف که باید کمینه یا بیشینه شود و بخشی از محدودیت‌های آن غیر خطی است، می‌باشد.
روش‌های برنامه سازی غیر خطی
روش لاگرانژ
در این روش تابع هدف به صورت تابع F در نظر گرفته می‌شود.
این تابع بر زیرمجموعه‌ای چون X از فضای اقلیدسی تعریف شده است (پس عناصر X می‌توانند بردار باشند).
این زیرمجموعه، توسط قیود به شکل g(x)=b تعریف می‌شود. تابع لاگرانژ در این حالت عبارت خواهد بود از:
((L(x،y)=F(x)+y.(b-g(x
شرایط لازم برای حل مسئله را می‌توان از طریق یافتن نقاط بحرانی تابع لاگرانژ (ماکزیمم‌سازی بدون قید) به دست آورد.
روش برنامه‌ریزی مرتبه دوم
برنامه‌ریزی مرتبه دوم (QP) روشی برای مینیمم سازی توابع مرتبه دوم n متغیره با m محدودیت خطی نامساوی یا مساوی یا هر دو است.
مسائل برنامه‌ریزی مرتبه دوم ساده‌ترین فرم مسائل برنامه‌ریزی غیر خطی با محدودیت نا مساوی می‌باشد.
روش گرادیان کاهش یافته عمومی
این الگوریتم برای محدودیتهای خطی اصلاح شده که تابع هدف و محدودیت آنها غیر خطی است محسوب می‌شود. در اصل روش محدودیت‌های خطی یا خطی شده را شامل می‌شود و متغیر جدید با محدودیت تعریف خواهد شد.
بیشتر روش‌های حل مسائل برنامه‌ریزی غیر خطی عمومی شامل خطی کردن مسئله و به کار بردن تکنیک برنامه‌ریزی خطی است که بطور خلاصه مراحل زیر طی می‌شود.
به دست آوردن مدل با نقاط عملیاتی و خطی کردن تمام محدودیت‌های تابع هدف حول نقاط عملیاتی. بطوریکه مسئله به فرم برنامه‌ریزی خطی تبدیل شود. سپس استفاده از برنامه‌ریزی خطی برای حل مسئله خطی.
تکرار روش برنامه‌ریزی خطی برای رسیدن به جواب مناسب با خطی کردن توابع محدودیت‌ها و تابع هدف و چنانچه به جواب مناسب نرسید با خطی کردن دوباره محدودیت‌ها و توابع هدف حول نقطه جدید optimum مسئله پیدا می‌شود.
در روشهای ذکر شده ممکن است روش به همگرایی نرسد و این خود یکی از معایب روشهای فوق است به واقع بهترین الگوریتم عمومی حاضر استفاده از الگوریتم گرادیان کاهش یافته عمومی است.
کاربرد برنامه سازی غیر خطی
یکی از مسائل پرکاربرد و معمول برای توابع غیر خطی و برنامه سازی غیر خطی مسائل مربوط به بهینه‌سازی است. مثلا بهینه‌سازی هزینه حمل و نقل با انتخاب روش یا روش‌هایی از میان چندین روش نقل و انتقال است که هرکدام ظرفیت‌ها و محدودیت‌های متفاوتی دارند.
به عنوان مثال نقل و انتقال نفت خام با انتخاب روش‌های ترکیبی از خط لوله، تانکر، راه آهن، حمل کننده‌های دریایی که هرکدام توابع هزینه‌ای متفاوتی دارند می‌تواند در نهایت به ما یک تابع غیر خطی از هزینه بدهد.
نمایش فرمولی مسئله‌های بهینه‌سازی
مسئله بهینه‌سازی می‌تواند به صورت‌های مختلفی بیان شود مثلا یکی از ساده‌ترین حالت‌ها این است که به صورت زیر بیان شود:
برای بیشینه کردن بعضی از متغیرها مانند توان عملیاتی محصول
یا
برای کمینه کردن تابع هزینه
در جایی که داریم:
روش‌های حل مسئله
اگر تابع هدف مسئله به صورت f یک تابع خطی باشد و فضای محدوده یک Polytope باشد این مسئله یک مسئله برنامه‌نویسی خطی است که با روش‌های خطی شناخته شده به راحتی حل می‌شود.
اگر تابع هدف یک تابع Concave (مسئله به حداکثر رسانی) یا یک تابع Convex (مسئله به حداقل رسانی) باشد و محدودیت‌ها از نوع محدب (convex) باشد، آنگاه مسئله یک مسئله محدب (convex) نامیده می‌شود و روش‌ها و متدهای عمومی برای بینه سازی محدب (Convex Optimization)می‌توانند در اغلب این مسئله‌ها مورد استفاده قرار گیرند.
اگر تابع هدف نسبت تابعی مقعر (Concave) و محدب (Convex) باشد و محدودیت‌ها به صورت محدب باشد، این مسئله می‌تواند به یک مسئله بهینه‌سازی محدب تبدیل شود که در آن از تکنیک‌های برنامه‌نویسی کسری استفاده می‌شود.
روش‌ها و متدهای زیادی برای حل مسئله‌های غیر محدب وجود دارند. یکی از این روش‌ها استفاده از فرمولاسیون‌های ویژه مسائل برنامه‌نویسی خطی است. یکی دیگر از این روش‌ها استفاده از روش شاخه و حد است که مسئله در آن به زیر بخش‌هایی برای حل به صورت محدب یا تقریب خطی تقسیم می‌شود.
مثال‌ها
نمونه دو بعدی
تقاطع خط با فضای محدوده، راه حل را نشان می‌دهد.
یک مسئله ساده می‌تواند با محدودیت‌های زیر تعریف شود:
x ۱ ≥ ۰
x ۲ ≥ ۰
x ۱ ۲ + x ۲ ۲ ≥ ۱
x ۱ ۲ + x ۲ ۲ ≤ ۲
با تابع هدفی به صورت زیر که باید بیشینه شود:
f( x ) = x ۱ + x ۲
درحالی که:
( x = (x ۱ ، x ۲ .
نمونه سه بعدی
اشتراک سطح بالایی با فضای محدوده در وسط، راه حل را نمایش می‌دهد.
نمونه دیگری از مسئله می‌تواند به صورت زیر تعریف شود:
x ۱ ۲ − x ۲ ۲ + x ۳ ۲ ≤ ۲
x ۱ ۲ + x ۲ ۲ + x ۳ ۲ ≤ ۱۰
با تابع هدفی به صورت زیر که باید بیشینه شود:
f( x ) = x ۱ x ۲ + x ۲ x ۳
درحالی که:
( x = (x ۱ ، x ۲ ، x ۳ .