我试图理解Vladimir Kolmogorov优秀的Graph cut库中的一些代码,我有一个关于图形构造的问题。假设我有一个二元变量系统,我需要代表以下削减成本
E(0, 0) E(0, 1)
E(1, 0) E(1, 1)
此外,假设这些能量是:
A A
0 0
,两个变量是x和y,源节点和汇节点由s和t表示:
现在,正如我在E(0,0)中看到的那样,我需要从x到t以及从y到t的边。它们具有容量A.因此,如果这两个边都被切割,则x和y都属于源节点(与标签0相关联)。如下所示:
s
x y
\ /
\ /
\ /
\ /
t
现在对于E(0,1),我还需要另一条从s到y的边缘,也有容量A,所以现在Graph看起来像:
s
\
\
\
\
x y
\ /
\ /
\ /
\ /
t
现在我的问题是,因为s-> y具有容量A而y-> t具有容量A,我可以删除这两个边而不改变该图上的最小割数吗?我问的原因是这个构造确实是由x到t的单个边缘给出的(在Kolmogorov的库的源代码中),我无法理解这种结构。