График порезы и удаление краев

Question

Я пытаюсь понять какой-то код из отличной библиотеки 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, поэтому теперь график выглядит примерно так:

         s
          \
           \
            \
             \
    x         y               
     \       /  
      \     /
       \   /
        \ /
         t

Теперь мой вопрос: поскольку s->y имеет емкость A, а y-> t имеет емкость A, могу ли я удалить эти два ребра, не меняя минимальный разрез на этом графике? Причина, по которой я спрашиваю, состоит в том, что эта конструкция действительно задается одним ребром от x до t (в исходном коде из библиотеки Колмогорова), и я не могу понять эту конструкцию.