不知何故,我创建了这个图,它似乎违背了一个性质,即流的值是由最小割的容量上界的。
这是图表:
算法找到的最大流是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-ab-t,(如果需要,可以计数a-b),这意味着值是8(如果计数a-b,则为11),而不是5。
据我所知,最小切割将包括边缘a-tb-tc-t,其值为7,这与福特富尔克森一致。

09-30 13:58