Это больше теоретическая проблема, поэтому она может быть лучше для cs.stackexchange ... Но то, что вы сказали, правильно: вы добавляете новый источник и сток. новый источник s * будет иметь направленное ребро для всех источников в исходном графе, а емкость ребра (s *, s) для каждого источника s может быть установлена равной бесконечности (конечно, поток из s равен ограничен его внешними краями, так что это не меняет объем потока, который мы можем получить из s). Аналогично, добавьте новый приемник t * с ребрами (t, t *) для всех приемников t в исходном графе. установите пропускную способность в бесконечность, поскольку фактический поток, выходящий из t, ограничен количеством потока, который мы могли бы получить до t в исходном графике.