最小费用最大流问题

✍ dations ◷ 2025-12-07 05:59:58 #管理学,经济学,网络流,图论

最小费用最大流问题是经济学和管理学中的一类典型问题。在一个网络中每段路径都有“容量”和“费用”两个限制的条件下,此类问题的研究试图寻找出:流量从A到B,如何选择路径、分配经过路径的流量,可以达到所用的费用最小的要求。


有足够多辆卡车要将数量无限的某种物品从一个地点运输到另外一个地点,现在有有限条单向行驶道路直接或者间接地连接了这两地。但是每一条道路都有运输通过总数量的限制,称为容量,同时携带物品通过该路段时,都会按照携带物品数量多少被收取一定的费用。如何合理地安排每辆车的行驶路线,使得在运输的货物总量尽可能大的情况下,交付的总费用尽可能少?

注意,在此问题中总费用仅包括携带物品通过路段时被收取的费用,车辆和路线安排上没有限制,但通过某一路段的物品数量总和不得超过它的容量,收取的费用与携带物品的多少成正比。

最小费用最大流建立在最大流和网络流问题的基础之上。

带权有向图 G = ( V , E ) {\displaystyle G=(V,E)} 。如果将费用看作两点之间的距离,那么这就转换为了一个最短路问题。

在最短路问题中,我们利用队列优化的Bellman-Ford算法(以下简称 SPFA) 求单源最短路,进而得到两个结点之间的最短路径 d i s u v {\displaystyle dis_{u\to v}} . 使用类似的思想,将两点之间的距离转换为两点之间的费用,然后运行 SPFA 算法,同时维护可以从源点到达每个点的最大流量,得到从源点到汇点一条费用最小的增广路,使用这条路径进行增广,然后重复这个过程。直到找不到增广路,此时的总流量和总费用即为所求答案。

具体而言,记源点为 s {\displaystyle s} ,汇点为 t {\displaystyle t} . 设 u V ,   d ( u ) {\displaystyle u\in V,\ d(u)} 代表从 s {\displaystyle s} u {\displaystyle u} 每单位流量花费的最小费用, f ( u ) {\displaystyle f(u)} 代表使用上述每单位流量花费费用最小的路径能够让多少流量从源点流到 u {\displaystyle u} . 在 SPFA 每一轮循环过程中,从队列中取出一个结点 u {\displaystyle u} , 并枚举每一条边 ( u , v ) E {\displaystyle (u,v)\in E} , 如果满足 d ( v ) > d ( u ) + w ( u , v ) {\displaystyle d(v)>d(u)+w(u,v)} 则更新相应的 d ( v ) = d ( u ) + w ( u , v ) {\displaystyle d(v)=d(u)+w(u,v)} f ( v ) = min { f ( u ) , f ( u , v ) } {\displaystyle f(v)=\min\{f(u),f(u,v)\}} ,同时记录 l a s t ( v ) {\displaystyle last(v)} 代表来到结点 v {\displaystyle v} 使用了哪一条弧. 求出单源最短路后,就等同于找到了一条增广路,花费 f ( t ) × d ( t ) {\displaystyle f(t)\times d(t)} 将流量增大 f ( t ) {\displaystyle f(t)} . 增广结束后,我们需要更新这条增广路上弧和反向弧的流量。

需要注意的是,与求解单源最短路问题时类似,虽然SPFA能够处理带有负权的边(也就是费用为负的弧),但是如果出现了负环,则会让算法陷入死循环。

利用这种算法,不仅可以解决前面提到的类似问题,经过变换也可以通过建立相应模型间接地解决许多问题。

二分图的最佳带权匹配问题在经过变形之后,可以使用最小费用最大流相关算法进行求解。首先对于二分图中的每一条边,视其容量为1,它的权值也就是费用,由于最佳带权匹配需要所有匹配边权值之和最大,所以视其费用为权值的相反数。正确地求得最小费用 C {\displaystyle C} 之后,最佳带权匹配的总权值之和 T {\displaystyle T} 就是最小费用的相反数 T = C {\displaystyle T=-C} .

需要注意的是,二分图匹配问题中有许多个源点和许多个汇点,一条可行流可以从其中任何一个源点出发到达任何一个汇点结束,对于这种情况,我们可以建立一个额外的源点何一个额外的汇点,将额外源点与所有源点连容量为 {\displaystyle \infty } 费用为 0 {\displaystyle 0} 的弧,额外汇点也执行类似的操作。完成这一步后,所得到的模型已与普通最小费用最大流无异。

相关

  • 陆军美国陆军(英语:United States Army),是美军的分支,美国联邦八个制服部队之一。美国陆军的前身是大陆军,组建于1775年6月14日,参与独立战争。战争结束后,大陆会议在1784年6月3日成立
  • 冰山冰山(英语:Iceberg)是一块大若山川的冰,脱离了陆上的冰川或冰架,并漂浮在广阔的水面上。由于冰山质地结实坚硬、体积大,与船擦撞时常导致船难,其中较著名的有1912年所发生的泰坦尼
  • 萨利克继承法萨利克法(英语:Salic law; 拉丁语:lex Salica),是中世纪以来西欧通行的法典。此法限制女性继承。至今,欧洲一些国家仍存在女性无权继承王位、世袭爵位的政治传统。在家族男性后裔
  • 埃兰王国埃兰(英语:Elam; 埃兰语:
  • 骈文骈文是古代中国一种特有的文言文文体,其句式多由四字或六字(四六句)及对仗构成,故又称四六文、骈俪或骈体。具骈文特点而押韵者称骈赋。骈文在文学界上长期为广泛研究,然其因为文
  • 刚迦王国根据在《马来纪年》中的记载,刚迦王国是过去建立在霹雳的传说古国,它所在的位置涵括现在的木威、天定和曼戎地区,历史学者的研究相信这个古国的王都定于如今的木威,同时它在注辇
  • 伯尔尼保护文学和艺术作品公约《伯尔尼保护文学和艺术作品公约》(法语:Convention de Berne pour la protection des œuvres littéraires et artistiques),简称《伯尔尼公约》,是关于著作权保护的国际公约。
  • 柱密度柱密度在天文学是中指单位面积为底面的整个柱状区域中物质的数量:而在大气科学中通常指的是物质的质量:
  • 瓦西里·伊万诺维奇·崔可夫瓦西里·伊万诺维奇·崔可夫(又译楚伊科夫) (俄语:Василий Иванович Чуйков, 1900年2月12日-1982年3月18日),苏联元帅。崔可夫1900年2月12日出生于俄罗斯帝国
  • 唐景崶唐景崶(1853年-1884年),字禹卿。广西灌阳县人。晚清翰林。唐景崶之兄唐景崧、唐景崇皆为同治年间进士,且入翰林。光绪三年(1877年)丁丑科,唐景崶高中二甲第四名进士。光绪三年五月,改