2016-03-21 5 views
0

Теорема интегральности проблемы минимального расхода утверждает, что, учитывая «интегральные данные», всегда существует интегральное решение проблемы, соответствующее потоку минимальной стоимости. Понятие интегральных данных несколько сбивает меня с толку, поскольку большинство работ, учебники говорят, что требования, поставки и возможности должны быть неотъемлемыми. Теперь, емкость ограничение, как правило, представлен в видеТеорема об интегральной стоимости минимального расхода

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.

ответ

1

Да, это именно то, что говорит теорема об интегральности.

Если все l_i и u_i представляют собой целые числа, и любой допустимое решение существует, то должна существовать решение, при котором все потоки являются целыми числами.

Это не означает, что все решения должны быть целыми числами. Просто, по крайней мере, один будет.

+0

спасибо. Говорят ли, что существует решение со всеми интегральными потоками? Или это сильнее? Я понял, что будет существовать интегральный поток, который будет не хуже любого дробного потока. Кроме того, можете ли вы указать мне на это доказательство? Странно, что документы и учебники принимают это как должное, не а) доказывая это или б) ссылаясь на оригинальное доказательство. – statBeginner

+0

Он сильнее. Максимальный поток будет соответствовать минимальному разрезу, и есть решение с максимальным потоком и всеми интегральными потоками. См. Http://www.cs.princeton.edu/courses/archive/spr05/cos423/lectures/07maxflow.pdf для доказательства. – btilly

 Смежные вопросы

  • Нет связанных вопросов^_^