最小成本最大流問題
最小成本最大流問題是經濟學和管理學中的一類典型問題。在一個網絡中每段路徑都有「容量」和「成本」兩個限制的條件下，此類問題的研究試圖尋找出：流量從A到B，如何選擇路徑、分配經過路徑的流量，可以達到所用的成本最小的要求。
問題提出 編輯
有足夠多輛卡車要將數量無限的某種物品從一個地點運輸到另外一個地點，現在有有限條單向行駛道路直接或者間接地連接了這兩地。但是每一條道路都有運輸通過總數量的限制，稱為容量，同時攜帶物品通過該路段時，都會按照攜帶物品數量多少被收取一定的成本。如何合理地安排每輛車的行駛路線，使得在運輸的貨物總量儘可能大的情況下，交付的總成本儘可能少？
注意，在此問題中總成本僅包括攜帶物品通過路段時被收取的成本，車輛和路線安排上沒有限制，但通過某一路段的物品數量總和不得超過它的容量，收取的成本與攜帶物品的多少成正比。
定義 編輯
思路 編輯
求解最小成本最大流可以採用貪心的思路，即每一次找一條從源點到匯點的增廣路，同時保證這條增廣路是目前所有增廣路中運輸單位物品成本最小的。由於對於一個確定的容量網絡，它的最大流是有限且確定的，所以一定存在某一時刻無法再在當前殘量網絡中找到增廣路，這時算法結束，總流量等於最大流，而又由於每一次增廣的單位花費都是最小的，所以總花費也必定是所有方案中最少的。
可見，求解這類問題的關鍵是每一次找到一條目前所有增廣路中運輸單位物品成本最小的增廣路。如果將成本看作兩點之間的距離，那麼這就轉換為了一個最短路問題。
求解方法 編輯
利用隊列最佳化的Bellman-Ford算法求解 編輯
在最短路問題中，我們利用隊列最佳化的Bellman-Ford算法（以下簡稱 SPFA) 求單源最短路，進而得到兩個結點之間的最短路徑 . 使用類似的思路，將兩點之間的距離轉換為兩點之間的成本，然後運行 SPFA 算法，同時維護可以從源點到達每個點的最大流量，得到從源點到匯點一條成本最小的增廣路，使用這條路徑進行增廣，然後重複這個過程。直到找不到增廣路，此時的總流量和總成本即為所求答案。
具體而言，記源點為 ,匯點為 . 設 代表從 到 每單位流量花費的最小成本， 代表使用上述每單位流量花費成本最小的路徑能夠讓多少流量從源點流到 . 在 SPFA 每一輪循環過程中，從隊列中取出一個結點 , 並枚舉每一條邊 , 如果滿足 則更新相應的 和 ，同時記錄 代表來到結點 使用了哪一條弧. 求出單源最短路後，就等同於找到了一條增廣路，花費 將流量增大 . 增廣結束後，我們需要更新這條增廣路上弧和反向弧的流量。[1]
需要注意的是，與求解單源最短路問題時類似，雖然SPFA能夠處理帶有負權的邊（也就是成本為負的弧），但是如果出現了負環，則交會算法陷入無窮迴圈。
實際應用與推廣 編輯
利用這種算法，不僅可以解決前面提到的類似問題，經過變換也可以通過建立相應模型間接地解決許多問題。
二分圖的帶權匹配 編輯
二分圖的最佳帶權匹配問題在經過變形之後，可以使用最小成本最大流相關算法進行求解。首先對於二分圖中的每一條邊，視其容量為1，它的權值也就是成本，由於最佳帶權匹配需要所有匹配邊權值之和最大，所以視其成本為權值的相反數。正確地求得最小成本 之後，最佳帶權匹配的總權值之和 就是最小成本的相反數 .
需要注意的是，二分圖匹配問題中有許多個源點和許多個匯點，一條可行流可以從其中任何一個源點出發到達任何一個匯點結束，對於這種情況，我們可以建立一個額外的源點何一個額外的匯點，將額外源點與所有源點連容量為 成本為 的弧，額外匯點也執行類似的操作。完成這一步後，所得到的模型已與普通最小成本最大流無異。
參考程式 編輯
C++ 編輯
#include<bits/stdc++.h>
constexpr auto MAXN = 5000 + 50;
struct Edge {
int fr, to, residual, cost;
};
std::vector<Edge>edges; std::vector<int> G[MAXN];
int s, t, maxFlow, minCost;
int last[MAXN], flow[MAXN], dis[MAXN];
bool inQueue[MAXN];
bool SPFA() {
memset(inQueue, false, sizeof(inQueue)); std::fill(dis, dis + MAXN, INT_MAX);
std::queue<int> que; que.push(s); inQueue[s] = true;
flow[s] = INT_MAX; last[s] = 0; dis[s] = 0;
int nowAt;
while (!que.empty()) {
nowAt = que.front(); que.pop(); inQueue[nowAt] = false;
for (int i = 0; i < G[nowAt].size(); i++) {
Edge& it = edges[G[nowAt][i]];
if (it.residual > 0 && dis[it.to] > dis[nowAt] + it.cost) {
dis[it.to] = dis[nowAt] + it.cost;
last[it.to] = G[nowAt][i];
flow[it.to] = std::min(flow[nowAt], it.residual);
if (!inQueue[it.to]) { inQueue[it.to] = true; que.push(it.to); }
}
}
}
if (dis[t] == INT_MAX)return false;
maxFlow += flow[t]; minCost += dis[t] * flow[t];
nowAt = t;
while (nowAt != s) {
edges[last[nowAt]].residual -= flow[t];
edges[last[nowAt] ^ 1].residual += flow[t];
nowAt = edges[last[nowAt]].fr;
}
return true;
}
void MCMF() {
maxFlow = 0; minCost = 0;
while (SPFA());
}
signed main()
{
int fr, to, cost, flow;
int totNode, totEdges;
scanf("%d%d%d%d", &totNode, &totEdges, &s, &t);
for (int i = 0; i < totEdges; i++) {
scanf("%d%d%d%d", &fr, &to, &flow, &cost);
G[fr].push_back(edges.size()); edges.push_back({ fr,to,flow,cost });
G[to].push_back(edges.size()); edges.push_back({ to,fr,0,-cost });
}
MCMF();
printf("%d %d\n", maxFlow, minCost);
//system("pause");
return 0;
}
參見 編輯
參考文獻 編輯
- ^ 劉汝佳; 陳鋒. 朱英彪 , 編. Suan fa jing sai ru men jing dian xun lian zhi nan. Qing hua ta xue chu ban she. : 362. ISBN 978-7-302-29107-7.