不知何故,我创建了这个图,它似乎违背了一个性质,即流的值是由最小割的容量上界的。
这是图表:
算法找到的最大流是7(S-A-C-T发送3个,S-B-T发送3个,S-A-T发送1个)
而图中的最小割集是{s,b},{a,c,t},容量为5。
我不知道我在这件事上做错了什么。有人能纠正这个吗?
最佳答案
切割的值是“切割”边缘的容量之和。
在将图形切割为{s,b}
和{a,c,t}
的情况下,边是s-a
,b-t
,(如果需要,可以计数a-b
),这意味着值是8(如果计数a-b
,则为11),而不是5。
据我所知,最小切割将包括边缘a-t
、b-t
和c-t
,其值为7,这与福特富尔克森一致。