برنامه‌ریزی کسری

در ریاضیات بهینه‌سازی، برنامه‌ریزی کسری تعمیم یافته برنامه‌ریزی کسری-خطی است. تابع هدف در این مسئله به صورت نسبت دو تابع است که در حالت کلی خطی نیستند. بهینه‌سازی نسبت، معمولا به بهینه‌سازی بازدهی یک سیستم مربوط می‌شود.
تعریف
فرض کنید توابع با مقدار حقیقی روی مجموعه باشند. همچنین فرض کنید . آنگاه مسئله غیرخطی
(P)\;\;\;\;\;\;
\underset{\boldsymbol{x \in \mathbf{S{\text{maximize \quad \frac{f(\boldsymbol{x){g(\boldsymbol{x),
به ازای روی ، یک برنامه‌ریزی کسری است.
در برخی از کاربردها تعداد نسبتهایی که در تابع هدف وجود دارد بیشتر از یک است که به صورت زیر بیان می‌گردد
که و به ازای . این مساله با عنوان برنامه‌ریزی کسری تعمیم یافته یا برنامه‌ریزی کسری حداکثر-حداقل نیز شناخته می‌شود .
حال اگر , افاین باشند و یک چندوجهی محدب باشد آنگاه مساله مورد نظر یک برنامه‌ریزی کسری خطی خواهد بود و به فرم زیر نوشته می‌شود:
که ، ، بالانویس T نشاندهنده ترانهاده است، یک ماتریس است و .
در تعمیم برنامه‌ریزی کسری خطی، مساله اخیر را برنامه‌ریزی کسری مقعر می‌نامند اگر که صورت کسر (تابع ) بر روی مقعر باشد و و روی مجموعه محدب محدب باشند. همچنین اگر افاین نباشد آنگاه را نامنفی در نظر می‌گیرند. توجه شود که تابع هدف مساله برنامه‌ریزی کسری مقعر معمولا یک تابع مقعر نیست.
به‌طور کلی تمرکز در برنامه‌ریزی کسری بر روی تابع هدف است و ساختار نسبت آن تابع. ناحیه شدنی هم فرض می‌شود یک مجموعه محدب باشد یا یک چندوجهی محدب در نظر گرفته می‌شود .
کاربردها
کاربرد اقتصادی
بازدهی یک سیستم گاهی اوقات به صورت نسبت ترمهای اقتصادی و تکنیکی مشخصه سازی می‌گردد. که نتیجتا حداکثرسازی بازدهی منجر به یک برنامه‌ریزی کسری می‌شود. معمولا توابع هدف زیر در بحث اقتصاد مورد نظر هستند:
1- حداکثر سازی تولید
2- حداکثر سازی سوددهی نسبت به سرمایه گذاری
3- حداکثر درآمد نسبت به ریسک
4- حداقل سازی هزینه نسبت به زمان
5- حداکثرسازی خروجی نسبت به ورودی
کاربرد غیر اقتصادی
کاربردهای غیر اقتصادی از جمله تئوری اطلاعات، ریاضی و فیزیک کاربردی هستند .
کاربردهای غیرمستقیم
تعدادی از مسائل علم مدیریت وجود دارد که به‌طور غیرمستقیم به یک مساله برنامه‌ریزی کسری تبدیل می‌شوند .
نتایج الگوریتمی و نظری
به‌طور معمول مسائل کسری یا به صورت برنامه‌ریزی کسری مقعر هستند یا به صورت برنامه‌ریزی کسری خطی. معمولا استراتژیهای حل این مسائل به صورت زیر هستند:
1) حل مسائل برنامه‌ریزی شبه مقعر :
برنامه‌ریزیهای کسری مقعر (خطی) ویژگی‌های مشترکی با برنامه‌ریزیهای مقعر (کسری) به شرح زیر دارند :
i) بیشینه محلی همان بیشینه عمومی است
ii) مقدار بیشینه یکتا است اگر که یا صورت کسر اکیدا مقعر باشد یا مخرج کسر اکیدا محدب باشد.
iii) با فرض مشتق پذیر بودن
0
\end{array \right\
که یک مساله برنامه‌ریزی مقعر است.
اگر یک جواب بهینه برای باشد آنگاه یک جواب بهینه برای مساله خواهد بود. این ایده اولین بار توسط Charnes و Cooper پیشنهاد گردید .
به دلیل این چنین تبدیلی به برنامه‌ریزی مقعر، مسائل برنامه‌ریزی کسری مقعر می‌توانند توسط الگوریتمهای موجود مربوط به برنامه‌ریزی مقعر حل شوند.
به‌طور خاص با اعمال تبدیل بر روی برنامه‌ریزی کسری خطی به مساله برنامه‌ریزی خطی زیر می‌رسیم:
3) حل برنامه‌ریزی دوگان :
یکی از معایب حل مستقیم مساله این است که مفاهیم دوگانی برنامه‌ریزی مقعر قابل استفاده نیستند. با این حال تبدیلی که در قسمت قبل تعریف شد اجازه استفاده از دوگانی برنامه‌ریزی مقعر را فراهم می‌سازد. بنابراین یک برنامه‌ریزی کسری دوگان را می‌توان برای برنامه‌ریزی مقعر معادل تعریف کرد . به‌طور مثال دوگان لاگرانژین به برنامه‌ریزی کسری دوگان زیر منتج می‌گردد:
که است.
4) حل یک مساله پارامتری :
کلاسهای زیادی از الگوریتمها بر اساس مساله پارامتری زیر که مرتبط با هستند وجود دارند:
که یک پارامتر حقیقی است. مساله گاهی اوقات راحتتر از مساله به صورت عددی قابل پیگیری است. طبق Dinkelbach یک جواب بهینه برای که ریشه یکتا است، حل مساله نیز خواهد بود.
هر کدام از 4 روشی که تا به حال ذکر شدند ویژگی‌های خاص خود را دارند که برخی کاربردها و ویژگی‌های آن‌ها در مرجع با جزئیات مطرح شده‌اند.
5) روش‌های نقطه داخلی
علاوه بر روش‌های کلاسیک که در بالا ذکر شدند، تکنیکهای جدیدی به وجود آمدند که از نوع نقطه داخلی هستند. اولین این روش‌ها توسط Anstreicher برای مسائل برنامه‌ریزی کسری خطی پیشنهاد شد . بعد از آن هم Ferund و Jarre یک روش نقطه داخلی برای برنامه‌ریزیهای کسری مقعر پیشنهاد کردند .
جالب توجه است که برخی از این پنج استراتژی که مطرح شدند در ارتباط با مسائل مختلف برنامه‌ریزی کسری مقعر (خطی) که دارای ناحیه شدنی فشرده هستند می‌توانند عملکرد یکسانی داشته باشند. با این حال ممکن است یک استراتژی نسبت به استراتژی دیگر دارای بار محاسباتی بیشتری باشد.