edmonds_karp#
- edmonds_karp(G, s, t, capacity='capacity', residual=None, value_only=False, cutoff=None)[source]#
使用Edmonds-Karp算法找到最大单商品流。
此函数返回在计算最大流后产生的残余网络。有关NetworkX用于定义残余网络的约定,请参见下文详细信息。
该算法对于:math:
n`个节点和:math:`m`条边的时间复杂度为:math:`O(n m^2)
。- Parameters:
- GNetworkX图
图的边应具有名为’capacity’的属性。如果此属性不存在,则认为该边具有无限容量。
- s节点
流的源节点。
- t节点
流的汇节点。
- capacity字符串
图G的边应具有指示边可以支持多少流的容量属性。如果此属性不存在,则认为该边具有无限容量。默认值:’capacity’。
- residualNetworkX图
要在其上执行算法的残余网络。如果为None,则创建一个新的残余网络。默认值:None。
- value_only布尔值
如果为True,则仅计算最大流的值。此参数将被此算法忽略,因为它不适用。
- cutoff整数, 浮点数
如果指定,当流值达到或超过截止值时,算法将终止。在这种情况下,可能无法立即确定最小割。默认值:None。
- Returns:
- RNetworkX有向图
计算最大流后的残余网络。
- Raises:
- NetworkXError
该算法不支持MultiGraph和MultiDiGraph。如果输入图是这两个类之一的实例,则会引发NetworkXError。
- NetworkXUnbounded
如果图具有无限容量的路径,则图上可行流的价值是无界的,函数会引发NetworkXUnbounded。
Notes
从输入图:samp:
G
得到的残余网络:samp:R
具有与:samp:G
相同的节点。R
是一个有向图,如果:samp:(u, v)
不是自环,并且:samp:(u, v)
和:samp:(v, u)
中至少有一个存在于:samp:G
中,则包含一对边:samp:(u, v)
和:samp:(v, u)
。对于:samp:
R
中的每条边:samp:(u, v)
,R[u][v]['capacity']
等于:samp:G
中:samp:(u, v)
的容量(如果存在)或零。如果容量是无限的,R[u][v]['capacity']
将具有一个不影响问题解决方案的高任意有限值。此值存储在:samp:R.graph['inf']
中。对于:samp:R
中的每条边:samp:(u, v)
,R[u][v]['flow']
表示:samp:(u, v)
的流函数,并满足:samp:R[u][v]['flow'] == -R[v][u]['flow']
。流值定义为流入汇节点:samp:
t
的总流,存储在:samp:R.graph['flow_value']
中。如果未指定:samp:cutoff
,则仅使用满足:samp:R[u][v]['flow'] < R[u][v]['capacity']
的边:samp:(u, v)
可达:samp:t
,诱导出最小:samp:s
-t
割。Examples
>>> from networkx.algorithms.flow import edmonds_karp
实现流算法并输出残余网络的函数(如本函数)不会导入到NetworkX基础命名空间中,因此您必须从流包中显式导入它们。
>>> G = nx.DiGraph() >>> G.add_edge("x", "a", capacity=3.0) >>> G.add_edge("x", "b", capacity=1.0) >>> G.add_edge("a", "c", capacity=3.0) >>> G.add_edge("b", "c", capacity=5.0) >>> G.add_edge("b", "d", capacity=4.0) >>> G.add_edge("d", "e", capacity=2.0) >>> G.add_edge("c", "y", capacity=2.0) >>> G.add_edge("e", "y", capacity=3.0) >>> R = edmonds_karp(G, "x", "y") >>> flow_value = nx.maximum_flow_value(G, "x", "y") >>> flow_value 3.0 >>> flow_value == R.graph["flow_value"] True