مسئله کم‌هزینه‌ترین جریان

مسئله کم‌هزینه‌ترین جریان، پیدا کردن کم‌هزینه‌ترین راه فرستادن میزان مشخصی از جریان درون یک شبکه شاره است. حل این مسئله در زندگی روزمره کاربردهایی دارد از جمله شبکه‌های هزینه‌دار (مانند شبکه‌های مخابراتی) و هم‌چنین در مواردی که تناسب آن با مسئله خیلی مشهود نیست، مانند تعیین محل قرارگیری انبارها.

تعریف 

یک شبکه شاره داریم که آن را با گراف جهت‌دار  با مبدا   و مقصد  که در آن یال  دارای ظرفیت ، جریان  و هزینه  می‌باشد، نشان می دهیم (اکثر الگوریتم‌های کم‌هزینه‌ترین جریان یال با هزینه منفی را پشتیبانی می‌کنند.) هزینه فرستادن این جریان  است. شما باید جریان  را از s به t بفرستید.

تعریف مسئله کمینه کردن هزینه کل جریان است:

با شرط‌های زیر:
{|
|-
| محدودیت ظرفیت: || 
|-
| تقارن یک‌سویه: || 
|-
| بقای جریان: || 
|-
| جریان خواسته‌شده: || 
|}

ارتباط با مسئله‌های دیگر 

حالت دیگری از این مسئله پیدا کردن جریان بیشینه‌ای است که بین جریان‌های بیشینه کم‌ترین هزینه را دارد که می‌توان آن را مسئله کم‌هزینه‌ترین بیشینه جریان نامید. این حالت در پیدا کردن کم‌هزینه‌ترین تطابق بیشینه کاربرد دارد.

در بعضی راه‌حل‌ها پیدا کردن کم‌هزینه‌ترین بیشینه جریان ساده است. در غیر این صورت، می‌توان از جستجوی دودویی روی  استفاده کرد.

می‌توان از مسئله کم‌هزینه‌ترین گردش در حل این مسئله استفاده کرد. این کار با صفر قرار دادن کران پایین همه‌ی یال‌ها، اضافه کردن یک یال از مقصد  به مبدا  با ظرفیت  و کران پایین  و قرار دادن کل جریان برابر  انجام می‌شود.

دو مسئله زیر حالات خاص این مسئله به شمار می آیند:
 اگر محدودیت ظرفیت برداشته شود، به مسئله یافتن کوتاه‌ترین مسیر تبدیل می‌شود.
 اگر همه هزینه‌ها صفر باشند، به مسئله بیشینه جریان تبدیل می‌شود.

راه‌حل‌ها 

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

علاوه بر آن الگوریتم‌های ترکیبیاتی مختلفی نیز وجود دارند، برای بررسی جامع تر،  را ببینید. تعدادی از آن‌ها تعمیم الگوریتم بیشینه جریان هستند، بقیه روش‌های کاملاً متفاوتی استفاده میکنند.

الگوریتم‌های اساسی شناخته شده (حالت‌های زیادی دارند):
 Cycle canceling یک روش کلی اولیه
 Minimum mean cycle canceling یک الگوریتم ساده قویا چندجمله‌ای
 Successive shortest path and capacity scaling روش‌های دوگانه که می‌توان آن‌ها را به عنوان تعمیم‌های الگوریتم فورد–فالکرسون در نظر گرفت.
 Cost scaling  یک روش اولیه-دوگانه، که حالت کلی الگوریتم ارسال-برچسب است.
 Network simplex حالت خاص برنامه‌ریزی خطی غیر مرکب است که در زمان چندجمله‌ای اجرا می‌شود.
 الگوریتم Out-of-kilter  توسط D.R.Fulkerson

کاربرد

کم وزن ترین تطابق بیشینه دو بخشی 

در گراف دو بخشی ، میخواهیم تطابق بیشینه با کمترین هزینه را بیابیم. w: E → R را تابع وزن یال‌های گراف در نظر بگیرید. هدف از مسئله کم وزن‌ترین تطابق بیشینه دو بخشی یا مسئله تخصیص، پیدا کردن یک تطابق کامل M ⊆ E است که مجموع وزن‌هایش کمینه باشد.  میخواهیم این مسئله را به یک مسئله شبکه شاره کاهش دهیم.

 را در نظر بگیرید. ظرفیت تمام یال‌های  را 1 بگذارید. رأس مبدا  را اضافه کرده و به تمام رئوس  متصل میکنیم و رأس مقصد  را اضافه کرده و تمام رئوس  را به آن متصل میکنیم. ظرفیت تمام یال‌های جدید را یک و هزینه آن‌ها را صفر در نظر میگیریم. ثابت می‌شود که یک کم وزن‌ترین تطابق دو بخشی در  موجود است اگر و فقط اگر یک کم هزینه‌ترین جریان در  وجود داشته باشد.

جستارهای وابسته 
LEMON (C++ library)

پانویس‌ها و منابع

پیوندهای کمکی 
 LEMON C++ library with several maximum flow and minimum cost circulation algorithms

شبکه شاره
مسئله‌های ریاضی