最小成本流问题的完整性定理指出,给定“整数数据”,总是存在对应于最小成本流的问题的整体解。积分数据的概念对我来说有点混乱,因为大多数论文、教程都说需求、供应和容量应该是积分的。现在,容量约束通常表示为
l_i <= c_i <= u_i
其中l_i
是 edge 容量的下界i
,u_i
是上界。为了使完整性定理成立,l_i and u_i
整数就足够了吗?怀疑来自这样一个事实,这并不一定意味着流本身总是整数,例如,对于l_i = 0, u_i = 1
,边缘i
可以有 0.5 的流。