Теорема интегральности проблемы минимального расхода утверждает, что, учитывая «интегральные данные», всегда существует интегральное решение проблемы, соответствующее потоку минимальной стоимости. Понятие интегральных данных несколько сбивает меня с толку, поскольку большинство работ, учебники говорят, что требования, поставки и возможности должны быть неотъемлемыми. Теперь, емкость ограничение, как правило, представлен в видеТеорема об интегральной стоимости минимального расхода
l_i <= c_i <= u_i
l_i
, где находится нижняя граница пропускной способности края i
и u_i
верхняя граница. Для того чтобы теорема об интегральности имела место, достаточно ли, чтобы l_i and u_i
были целыми числами? Уверенность возникает из-за того, что это не обязательно означает, что потоки всегда являются целыми числами, например, для l_i = 0, u_i = 1
, край i
может иметь поток 0,5.
спасибо. Говорят ли, что существует решение со всеми интегральными потоками? Или это сильнее? Я понял, что будет существовать интегральный поток, который будет не хуже любого дробного потока. Кроме того, можете ли вы указать мне на это доказательство? Странно, что документы и учебники принимают это как должное, не а) доказывая это или б) ссылаясь на оригинальное доказательство. – statBeginner
Он сильнее. Максимальный поток будет соответствовать минимальному разрезу, и есть решение с максимальным потоком и всеми интегральными потоками. См. Http://www.cs.princeton.edu/courses/archive/spr05/cos423/lectures/07maxflow.pdf для доказательства. – btilly