有理 LP 到整数 LP

计算科学 优化 线性规划
2021-12-04 20:11:48

在线性规划中的所有多项式算法如椭球法和内点法的最坏情况复杂度分析中,都假设输入数据必须是整数。使用这个假设,他们将输入数据的位长限制为现在,问题如下:L

问:对于有理数据的线性规划,如何满足这个假设。换句话说,有没有一种方法可以将有理数的 LP 转换为整数?对我来说,似乎有一种方法,因为数据完整性是这些算法的假设。

1个回答

为什么不将数据(即约束和向量以及目标函数中的向量)乘以所有条目的最大公分母?如果你这样做,你最终会遇到一个只有整数约束的问题。当然,如果您想使用较小的乘数,您可以分别为每个单独的约束执行此操作。AbAxbccTx

如果您只想估计所需的位大小,那么在矩阵或向量条目中表示分数所需的位就是其中是最小的公共乘数,如果调整有理数的位数,这会为线性程序产生相同的复杂度界限。当然,如果您仅通过最大公分母缩放整个问题,这会产生与您得到的完全相同的界限。α/βbits(α/β)=bits(α)+bits(β)βββ