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

مسئله کم‌هزینه‌ترین جریان ، پیدا کردن کم‌هزینه‌ترین راه فرستادن میزان مشخصی از جریان درون یک شبکه شاره است. حل این مسئله در زندگی روزمره کاربردهایی دارد از جمله شبکه‌های هزینه‌دار (مانند شبکه‌های مخابراتی) و هم‌چنین در مواردی که تناسب آن با مسئله خیلی مشهود نیست، مانند تعیین محل قرارگیری انبارها.
تعریف
یک شبکه شاره داریم که آن را با گراف جهت‌دار با مبدا و مقصد که در آن یال دارای ظرفیت ، جریان و هزینه می‌باشد، نشان می‌دهیم (اکثر الگوریتم‌های کم‌هزینه‌ترین جریان یال با هزینه منفی را پشتیبانی می‌کنند.) هزینه فرستادن این جریان است. شما باید جریان را از 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)
پانویس‌ها و منابع
Network Flows: Theory, Algorithms, and Applications
A primal method for minimal cost flows with applications to the assignment and transportation problems
Finding minimum-cost circulations by canceling negative cycles
Theoretical improvements in algorithmic efficiency for network flow problems
Finding minimum-cost circulations by successive approximation
A polynomial time primal network simplex algorithm for minimum cost flows
پیوندهای کمکی