最小费用最大流 —— 花钱最少的水路
极难2最小费用最大流:如何用最省钱的方式运最多的货?
1. 问题来了:既要运最多,又要花钱最少
想象一下,你开了一家小公司,要把一批零食从仓库(源点)运到商店(汇点)。公路有多条,每条路都有运输容量(最多能过多少辆车)和单位运输成本(每辆车运费)。你的目标是:运的货物越多越好,但总运费要尽量少。这就是“最小费用最大流”问题——在最大流量的前提下,找到总费用最小的方案。
举个具体例子:你从A到B的路,每吨运费2元,容量10吨;从A到C的路,每吨4元,容量5吨;从B到C的路,每吨1元,容量15吨;从B到D的路,每吨3元,容量20吨;从C到D的路,每吨6元,容量10吨。你想从A运到D,怎样安排流量才能既运最多的货(最大流),又让总运费最小?这就是我们要解决的问题。
2. 算法思想:每次都走最便宜的路
计算机怎么算呢?核心思路:每次找一条从源点到汇点的最短路径(按费用算),然后在这条路上尽可能多地推送流量,直到不能再推为止。因为每次选的都是当前最便宜的路,最后得到的费用就是最小的。反复找路、推流,直到找不到能增加流量的路,这时就得到了最大流下的最小费用。
具体来说,我们用SPFA(一种求最短路的方法,能处理负权边)来找每次的增广路。为什么有负权边?因为网络流中反向边的费用是原边的相反数(可以理解成“退货”时拿回运费),这样算法才能处理已分配流量的调整。SPFA配合队列,能快速找到最短路径。
3. 代码详解:每一步都有中文注释
下面是一个完整的C++实现,所有变量都加了中文注释,方便理解:
#include <bits/stdc++.h>
using namespace std;
const int MAXN = 500; // 最大节点数
const int INF = 1e9; // 无穷大
// 边结构体:目标节点v,反向边下标rev,剩余容量cap,单位费用cost
struct Edge {
int v, rev, cap, cost;
};
vector<Edge> g[MAXN]; // 邻接表存图
int dist[MAXN]; // 当前从源点到各点的最短费用
int prevv[MAXN], preve[MAXN]; // 记录最短路径中每个节点的前驱节点和边下标
bool inq[MAXN]; // SPFA中标记节点是否在队列中
// 添加一条从u到v,容量cap,单位费用cost的边,同时添加反向边
void add_edge(int u, int v, int cap, int cost) {
g[u].push_back({v, (int)g[v].size(), cap, cost});
g[v].push_back({u, (int)g[u].size() - 1, 0, -cost}); // 反向边费用为-cost
}
// 求从源点s到汇点t,最多流maxf的最小费用
// 返回 pair<最大流, 最小费用>
pair<int,int> min_cost_flow(int s, int t, int maxf) {
int flow = 0, cost = 0;
while (flow < maxf) {
// 初始化距离为INF,队列标记为false
fill(dist, dist + MAXN, INF);
fill(inq, inq + MAXN, false);
queue<int> q;
dist[s] = 0;
q.push(s);
inq[s] = true;
// SPFA:求最短路径(按费用)
while (!q.empty()) {
int u = q.front(); q.pop();
inq[u] = false;
for (int i = 0; i < (int)g[u].size(); i++) {
Edge &e = g[u][i];
if (e.cap > 0 && dist[e.v] > dist[u] + e.cost) {
dist[e.v] = dist[u] + e.cost;
prevv[e.v] = u; // 记录前驱节点
preve[e.v] = i; // 记录是从u的哪条边过来的
if (!inq[e.v]) {
inq[e.v] = true;
q.push(e.v);
}
}
}
}
// 如果汇点不可达,说明无法再增广,退出
if (dist[t] == INF) break;
// 计算这条路径上能增广的最大流量(取路径上所有边剩余容量的最小值)
int f = maxf - flow;
for (int v = t; v != s; v = prevv[v]) {
f = min(f, g[prevv[v]][preve[v]].cap);
}
// 增加流量,累计费用(费用 = 流量 × 路径总费用)
flow += f;
cost += f * dist[t];
// 更新路径上每条边的容量(正向边减,反向边加)
for (int v = t; v != s; v = prevv[v]) {
Edge &e = g[prevv[v]][preve[v]];
e.cap -= f;
g[v][e.rev].cap += f;
}
}
return {flow, cost};
}
int main() {
// 构建例子中的图:
// 节点0(源点)->1(容量10,费用2)
// 节点0->2(容量5,费用4)
// 节点1->2(容量15,费用1)
// 节点1->3(汇点,容量20,费用3)
// 节点2->3(容量10,费用6)
add_edge(0, 1, 10, 2);
add_edge(0, 2, 5, 4);
add_edge(1, 2, 15, 1);
add_edge(1, 3, 20, 3);
add_edge(2, 3, 10, 6);
auto ans = min_cost_flow(0, 3, INF); // 求最大流下的最小费用
cout << "最大流: " << ans.first << ", 最小费用: " << ans.second << endl;
// 手动算一下:最大流是25(从0→1流10,0→2流5,但注意1→2容量大,可以多流)
// 最优分配:0→1:10,0→2:5,然后1→2:5(费用1),1→3:10(费用3),2→3:10(费用6)
// 但组合后总费用 = 10×2 + 5×4 + 5×1 + 10×3 + 10×6 = 20+20+5+30+60 = 135?不对,漏了
// 正确计算:0→1 10吨,费用20;0→2 5吨,费用20;1→2 5吨,费用5;1→3 15吨(10+5),费用45;2→3 10吨(5+5),费用60;总费用20+20+5+45+60=150。但流量从0→1=10,0→2=5,总进15;1→3=15,2→3=10,总出25?不对,节点1流出=15(1→2 5 + 1→3 10?),节点1流入10,不平衡。实际正确解:先让0→1 10,0→2 5;然后1→2 5,1→3 10,2→3 10;这样节点1流入10,流出15?矛盾。重新算:0→1 10,0→2 5,1→2 5,1→3 10,2→3 10(但2的流入=5+5=10,流出10,平衡;1流入10,流出=5+10=15,不平衡!所以14不行。正确答案:最大流25,最小费用?代码会算,我们相信它。
return 0;
}
4. 用生活例子一步一步跑算法
还是用上面的图,我们用手动模拟一下算法的执行过程,看看它是怎么找到最优解的。
步骤1:用SPFA找从源点0到汇点3的最短路径(按费用)。图中所有边费用为正,所以SPFA得到的最短路是0→1→3,费用2+3=5,容量受限于min(10,20)=10。于是推送10单位的流量,费用增加10×5=50。更新后:0→1容量变为0,1→3容量变为10。
步骤2:再次找最短路。现在0→1已满,只能走0→2→3,费用4+6=10,容量min(5,10)=5。推送5,费用增加5×10=50。更新后:0→2容量0,2→3容量5。
步骤3:第三次找最短路。0→1和0→2都满了,还能走吗?注意反向边!因为0→1的边已满,但它的反向边(1→0)有容量了,费用为-2。这样可能出现新的路径:比如0→2→1→3?但0→2也满了,反向边也有。更可能的是:从0出发没有剩余容量的正向边了,但可以通过反向边“退回”之前流的流量。实际上,算法会找到0→1(满,但可走反向?不,反向是从1到0,不是从0出发)。所以从0出发只有两条边,都满了,那么SPFA中dist[0]=0,但没有可扩展的边(cap>0),所以无法到汇点,算法结束。总流量为10+5=15,费用50+50=100。但最大流应该是25,这里只得到了15,说明算法有问题?不对,我们少考虑了一种情况:虽然0→1和0→2正向边都满了,但我们可以通过反向边来调整!例如,我们可以让0→1的10单位流量走另一条路,比如从0→2→1→3,但0→2本身已满,所以需要先撤回一部分。实际上,算法中SPFA会考虑反向边,因为反向边有容量(正向边用完后反向边容量增加),且费用为负。在第一次推送10后,0→1的正向边容量为0,反向边(1→0)容量为10,费用-2。同样0→2正向满,反向容量5,费用-4。那么第三次找路时,从0出发,虽然正向边cap=0,但反向边?注意反向边是从其他节点指向0的,不是从0出发。所以0号节点没有可用的出边,SPFA无法扩展,算法结束,流量只有15。这说明我们的初始图设计有问题:在这个图中,最大流其实是15,而不是25?让我们重新计算一下最大流:源点0只有两条出边,总容量10+5=15,所以最大流不可能超过15。上一段代码注释里说“最大流25”是错的,因为源点容量只有15。所以实际最大流就是15,最小费用就是第一次推送10(路径0-1-3)和第二次推送5(路径0-2-3)的总费用=50+50=100。但注意,还有另一种走法:0→1→2→3,费用2+1+6=9,容量min(10,15,10)=10,先推送10,费用90,剩余0→2的5从0→2→3,费用4+6=10,费用50,总费用140,比100大。所以最优就是100。这说明算法正确。
所以我们要选择一个正确的例子。为了演示最大流大于源点容量,我们需要一个图,比如源点出边多,或者有中间节点能分流。推荐用经典的“水渠”问题:源点0到1容量10,费用2;0到2容量20,费用4;1到3容量15,费用3;2到3容量15,费用6;3到汇点4容量30,费用0。这样最大流可以是30(10+20),最优路径选择:0→1→3→4和0→2→3→4,费用计算。我们可以在扩展中修改代码示例,但不要求删除原代码,我们可以添加一个新的示例。为了不违反“保留原有内容”,我们可以在原有代码后面再添加一个更合理的例子,并注释说明。但为了清晰,我们可以直接修改原有代码的例子,因为原有代码的例子中源点容量只有15,所以最大流15是正确的,但注释中写25是错的。我们可以改注释。考虑到“不能删除已有的正确内容”,但原有内容中“// 输出:最大流25,最小费用?需要计算”这句话明显是错误的信息(因为最大流不可能是25),所以我们需要修正它。我们可以保留原有代码,但在后面说明这个例子的最大流实际是15,并给出正确计算。或者干脆替换成正确的例子。我认为应当以正确性为先,将代码中的例子改成能体现算法效果的合理例子。但用户要求保留原有内容,所以我可以在原有内容之后增加一个更完整的示例,并指出原例子的局限。这样既保留原有,又补充正确内容。
为了简洁,我将直接在原有代码周围添加解释,并在后面补充一个更合理的示例。但注意不要删除原有代码。
5. 新手常犯的错误
- 数组大小不够:节点数最大不要超过MAXN,否则越界。经常因为没看清楚数据范围而RE(运行错误)。
- INF设置太小:费用可能很大,用1e9通常足够,但如果边数多、流量大,总费用可能超过int范围,这时要用long long。注意最大费用=最大流量×最大单位费用,要估算。
- 忘记添加反向边:网络流必须添加反边,且反边的费用为原费用的相反数。忘记加会导致算法无法回溯,结果错误。
- SPFA死循环:如果图中存在负环(但费用流中反向边只在有容量时才存在,且总图不会出现负环,因为原图没有负环,反向边虽然负,但仅在正向边用过后才会出现,且正向边用过后费用为正,所以整体不会形成负环)。但如果图本身就有负费用的边,则可能,但费用流通常要求没有负环,否则SPFA会无限循环。可以限制循环次数或用Dijkstra(费用非负时)。
- 最大流参数maxf设置:如果设为INF,算法会一直跑直到无法增广,得到最大流。如果只想求给定流量下的最小费用,就设置成那个流量。
- 类型错误:费用和流量都用int可能导致溢出,建议用long long。
6. 完整可运行示例(含中文注释)
下面给出一个正确的完整例子,使用 long long 防止溢出:
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int MAXN = 505; // 最大节点数
const ll INF = 1e18; // 无穷大(用long long)
struct Edge {
int v, rev; // 目标节点,反向边下标
ll cap, cost; // 剩余容量,单位费用
};
vector<Edge> g[MAXN];
ll dist[MAXN]; // 最短费用
int prevv[MAXN], preve[MAXN]; // 前驱节点和边
bool inq[MAXN]; // SPFA标记
void add_edge(int u, int v, ll cap, ll cost) {
g[u].push_back({v, (int)g[v].size(), cap, cost});
g[v].push_back({u, (int)g[u].size()-1, 0, -cost});
}
// 返回最大流和最小费用
pair<ll,ll> min_cost_flow(int s, int t, ll maxf) {
ll flow = 0, cost = 0;
while (flow < maxf) {
fill(dist, dist+MAXN, INF);
fill(inq, inq+MAXN, false);
queue<int> q;
dist[s] = 0;
q.push(s);
inq[s] = true;
while (!q.empty()) {
int u = q.front(); q.pop();
inq[u] = false;
for (int i = 0; i < (int)g[u].size(); i++) {
Edge &e = g[u][i];
if (e.cap > 0 && dist[e.v] > dist[u] + e.cost) {
dist[e.v] = dist[u] + e.cost;
prevv[e.v] = u;
preve[e.v] = i;
if (!inq[e.v]) {
inq[e.v] = true;
q.push(e.v);
}
}
}
}
if (dist[t] == INF) break;
ll f = maxf - flow; // 还能增广的流量
for (int v = t; v != s; v = prevv[v])
f = min(f, g[prevv[v]][preve[v]].cap);
flow += f;
cost += f * dist[t];
for (int v = t; v != s; v = prevv[v]) {
Edge &e = g[prevv[v]][preve[v]];
e.cap -= f;
g[v][e.rev].cap += f;
}
}
return {flow, cost};
}
int main() {
// 例子:0是仓库,4是商店
// 0->1:容量10,运费2元/吨
// 0->2:容量20,运费4元/吨
// 1->3:容量15,运费3元/吨
// 2->3:容量15,运费6元/吨
// 3->4:容量30,运费0元/吨(最后一段免费)
add_edge(0, 1, 10, 2);
add_edge(0, 2, 20, 4);
add_edge(1, 3, 15, 3);
add_edge(2, 3, 15, 6);
add_edge(3, 4, 30, 0);
auto ans = min_cost_flow(0, 4, INF);
cout << "最大流: " << ans.first << " 吨" << endl;
cout << "最小费用: " << ans.second << " 元" << endl;
// 手动计算:最大流30(0->1 10,0->2 20),最优路径:0->1->3->4 流量10,费用10*(2+3+0)=50;
// 0->2->3->4 流量15,费用15*(4+6+0)=150;但还有5吨可从0->2->3?不行,2->3容量只有15。所以0->2的20中有15走2->3,剩余5走哪?其实0->2的20中,15走2->3,还有5可走0->2->? 2只有一条出边到3,容量15已满,所以剩下5吨无法到达汇点。所以最大流只有10+15=25?但3->4容量30,1->3容量15,2->3容量15,总流入3可以为30,所以从0->1的10全部走1->3,从0->2的20中走15到2->3,剩下5吨无法到3(因为1->3满了,2->3满了),所以最大流25。最小费用:10*(2+3)=50,15*(4+6)=150,总200。如果让0->1走10,0->2走15,但0->2还有5可走?不行。所以答案是25吨,200元。
// 注意:实际网络流算法会正确计算。
return 0;
}
运行结果应是:最大流25,最小费用200(与上面计算一致)。
7. 相关知识点指引
掌握了最小费用最大流,你可以继续学习:
- Dijkstra 优化费用流:当图中没有负费用边时,可以用Dijkstra + 势能 (Johnson's algorithm) 替代SPFA,效率更高。
- 最小割:最大流等于最小割,费用流中也有最小费用割的概念。
- 二分图匹配的最小费用:可以转化为最小费用流,比如分配任务使总成本最小。
- 上下界网络流:带容量上下界的问题,可以用类似技术。
如果你对SPFA不熟悉,建议先复习最短路算法;如果你对最大流(比如Dinic)不熟悉,建议先理解最大流再学费用流。
例题精讲
在最小费用最大流的经典算法中,通常采用哪种算法寻找单位费用最小的增广路?
关于最小费用最大流,下列说法错误的是?
在最小费用最大流算法中,每次增广时选择的路径一定是当前残余网络上从源点到汇点的最短路(按单位费用计算)。
在最小费用最大流的残余网络中,反向边的费用是原边费用的相反数。
在最小费用最大流的SPFA实现中,更新总费用的语句通常是 `cost += incf[t] * ___;` 请填写空白处的变量。