1

最小成本流问题的完整性定理指出,给定“整数数据”,总是存在对应于最小成本流的问题的整体解。积分数据的概念对我来说有点混乱,因为大多数论文、教程都说需求、供应和容量应该是积分的。现在,容量约束通常表示为

l_i  <=  c_i  <= u_i

其中l_i是 edge 容量的下界iu_i是上界。为了使完整性定理成立,l_i and u_i整数就足够了吗?怀疑来自这样一个事实,这并不一定意味着流本身总是整数,例如,对于l_i = 0, u_i = 1,边缘i可以有 0.5 的流。

4

1 回答 1

1

是的,这正是完整性定理所说的。

如果所有l_iu_i都是整数,并且存在任何可行的解决方案,则必须存在所有流都是整数的解决方案。

这并不意味着所有解都必须是整数。至少会有一个。

于 2016-03-22T00:43:08.997 回答