最小费用最大流问题

✍ dations ◷ 2025-02-27 20:55:33 #管理学,经济学,网络流,图论

最小费用最大流问题是经济学和管理学中的一类典型问题。在一个网络中每段路径都有“容量”和“费用”两个限制的条件下,此类问题的研究试图寻找出:流量从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} 的弧,额外汇点也执行类似的操作。完成这一步后,所得到的模型已与普通最小费用最大流无异。

相关

  • 地理位置地理位置是指地球表面某一事物与其它事物间的空间关系。地理位置是地理事物的特殊属性,是地理事物的标志之一。任何地理事物的地理位置都是在一定的参照系中识别的,当参照系改
  • 沃尔特·布莱特沃尔特·布莱特(Walter Bright),著名程序员,创立了D语言。他作为主要的开发人员开发了Zortech C++,世界上第一款直接编译C++源代码到机器码的编译器,而不需要先翻译成C代码。Zorte
  • AkismetAkismet或Automattic Kismet是一个垃圾信息过滤服务。它试图过滤博客评论中的垃圾链接及垃圾TrackBack。结合对所有参与的博客垃圾信息的捕获,然后利用这些垃圾信息的规则以
  • 岛津光久岛津光久(1616年7月15日-1695年1月14日),日本江户时代大名、萨摩藩第二代藩主。光久是忠恒的长子,又名虎寿丸。元服后取名忠元。1624年,被送往江户当人质。1631年,接受德川家光的偏
  • 徐显秀墓坐标:37°50′08″N 112°36′44″E / 37.83569°N 112.61212°E / 37.83569; 112.61212徐显秀墓是位于山西省太原市迎泽区郝庄乡王家峰村的一座北齐墓葬,墓主人是北齐太尉武
  • 法衣 (基督教)法衣(cassock或soutane)是一种基督教神职人员穿的衣物,采用的教会主要包括罗马天主教和东正教以及部分新教教派,如圣公会和路德宗。该种法衣源自古罗马的丘尼卡。在现代西方社会
  • 梁默梁默(551年-609年),周隋时期将领。最初是梁士彦的随从,善于征伐,冲锋陷阵。出仕北周,官至开府。开皇十六年,以行军总管跟从杨素北征突厥,讨平汉王杨谅谋反,封为大将军,加柱国。大业五年
  • 大眼蛙大眼蛙(Kero Kero Keroppi)又叫可洛比,是日本的三丽鸥公司于1988年创造的卡通形象及角色群。设计者是地井明子,也是布丁狗的设计者 。主角可洛比是一只青蛙,有着大眼睛和一张 V
  • 汉瑞祥汉瑞祥公司(英语:Henry Schein Inc.)是一家总部位于美国的医疗保健产品与服务经销商,业务遍及全球34个国家或地区。 汉瑞祥公司是《财富》杂志所评选的“全球最受赞赏公司”,其社
  • 爱鹰山爱鹰山(あしたかやま)是日本静冈县的一座死火山。位于富士山南部,箱根的西面。广义爱鹰山指由北向南的爱鹰连峰,狭义爱鹰山光是爱鹰连峰中的爱鹰山(1,188米)。爱鹰山是日本二百名