Improved algorithms for linear inequalities with two variables per inequality

We show that a system of m linear inequalities wit h n variables, where each inequality involves at most two variables, can be solved det erministically in O(mn log m + mnz log2 n) time. A randomized O(n3 log n + mn log3 n log m + mn log5 n) time algorithm is given for the case where in every inequality the two nonzero coefficients have opposite signs (monotone systems). This algorithm improves the known time bounds for the incapacitated generalized transshipment problem, with many sources and no sinks. We also present a new algorithm that solves the capacitated generalized flow problem by iteratively solving monotone systems. Combined with the improved bound, it yields the fastest known algorithm for the problem which does not rely on the theoretically fast matrix multiplication algorithms. This approach also yields the first strongly polynomial time bound for approximating the maximum generalized flow within any constant factor.

[1]  Fred Glover,et al.  Generalized Networks: A Fundamental Computer-Based Planning Tool , 1978 .

[2]  Robert E. Shostak,et al.  Deciding Linear Inequalities by Computing Loop Residues , 1981, JACM.

[3]  Edith Cohen,et al.  Strongly polynomial-time and NC algorithms for detecting cycles in dynamic graphs , 1989, STOC '89.

[4]  Nimrod Megiddo,et al.  Towards a Genuinely Polynomial Algorithm for Linear Programming , 1983, SIAM J. Comput..

[5]  Bengt Aspvall,et al.  A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two Variables per Inequality , 1980, SIAM J. Comput..

[6]  Pravin M. Vaidya,et al.  Speeding-up linear programming using fast matrix multiplication , 1989, 30th Annual Symposium on Foundations of Computer Science.

[7]  Bengt Ingemar Aspvall Efficient algorithms for certain satisfiability and linear programming problems , 1981 .

[8]  Andrew V. Goldberg,et al.  Combinatorial Algorithms for the Generalized Circulation Problem , 1991, Math. Oper. Res..

[9]  Bengt Aspvall,et al.  A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[10]  Arthur F. Veinott,et al.  Polyhedral sets having a least element , 1972, Math. Program..

[11]  C. G. Nelson An $n^{log n}$ algorithm for the two-variable-per-constraint linear programming satisfiability problem , 1978 .

[12]  Nimrod Megiddo,et al.  Linear programming with two variables per inequality in poly-log time , 1986, STOC '86.

[13]  Éva Tardos,et al.  A Strongly Polynomial Algorithm to Solve Combinatorial Linear Programs , 1986, Oper. Res..